Results 31 to 40 of about 1,092 (104)
Risk management in intelligent agents [PDF]
, 2012 University of Technology, Sydney. Faculty of Engineering and Information Technology.This thesis presents the development of a generalised risk analysis, modelling and management framework for intelligent agents based on the state-of-art techniques from ...
Wang, X
core
Applications of Intuitionistic Logic in Answer Set Programming [PDF]
, 2003 We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and other intermediate logics is given.
Arrazola, Jose +2 more
core
Dynamic reasoning in a knowledge-based system [PDF]
Any space based system, whether it is a robot arm assembling parts in space or an onboard system monitoring the space station, has to react to changes which cannot be foreseen. As a result, apart from having domain-specific knowledge as in current expert
Foo, Norman Y., Rao, Anand S.
core +1 more source
The Cost of Rational Agency [PDF]
, 1999 The rational agency assumption limits systems to domains of application that have never been observed. Moreover, representing agents as being rational in the sense of maximising utility subject to some well specified constraints renders software systems ...
Moss, Scott
core
Strong-AI Autoepistemic Robots Build on Intensional First Order Logic
, 2022 Zoran Majkić
openalex +2 more sources
, 2002 The Autoepistemic Logic of Knowledge and Belief (AELB) is a powerful nonmonotic formalism introduced by Teodor Przymusinski in 1994. In this paper, we specialize it to a class of theories called `super logic programs'. We argue that these programs form a
Brass, Stefan +2 more
core +1 more source
On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief [PDF]
, 2015 Marjon Blondeel +4 more
openalex +1 more source
Uniform semantic treatment of default and autoepistemic logics
, 2000 Marc Denecker +2 more
openalex +2 more sources
Minimally inconsistent reasoning in Semantic Web. [PDF]
PLoS One, 2017 Zhang X.
europepmc +1 more source