Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-24995
Titel: Representing belief in multi-agent worlds via terminological logics
Verfasser: Laux, Armin
Sprache: Englisch
Erscheinungsjahr: 1993
Quelle: Kaiserslautern ; Saarbrücken : DFKI, 1993
SWD-Schlagwörter: Künstliche Intelligenz
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: In multi-agent systems a group of autonomous intelligent systems, called agents, acts and cooperates in a world in order to achieve certain goals. Such systems are in general assumed to have no central control structure and hence each agent can only perform actions that are based on his local knowledge and on his local beliefs. In the literature knowledge of agents is mostly represented under the view that knowledge is true belief. On the other hand, if agents are acting in a (real) world their knowledge often is obtained by perception and communication, and hence typically is not true. Thus, the use of belief - where agents may have false beliefs - seems more appropriate than the use of knowledge in multi-agent systems. Terminological logics provide a well-investigated and decidable fragment of first-order logics that is much more expressive than propositional logic and well suited to describe a world agents are acting in. However, knowledge or belief of agents can only be represented in a very limited way. In this paper we investigate how terminological logics can be extended in such a way that belief of agents can be represented in an adequate manner. We therefore exemplarily extend the concept language mathcal{ALC} by a modal operator square, which is indexed by agents. Thereby, square_{i}varphi represents the fact "agent i believes varphi';. This belief operator will be interpreted in terms of possible worlds using the well-known modal logic KD45. This extended language mathcal{ALC_{B}} provides a uniform formalism to describe both, a world agents are acting in and the beliefs agents have about this world and about their own and other agents' beliefs. Thus, it can be seen as a two-dimensional extension of mathcal{ALC} which allows both, reasoning about objective facts that hold in the world and reasoning on the level of possible worlds. We will give sound and complete algorithms to check consistency of the represented beliefs and to decide whether an mathcal{ALC_{B}}-sentence is logically entailed by the beliefs of agents. Hence, when acting in a world agents can use beliefs which are explicitly represented as well as implicit beliefs that are entailed by their knowledge base.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-38009
hdl:20.500.11880/25051
http://dx.doi.org/10.22028/D291-24995
Schriftenreihe: Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Band: 93-29
SciDok-Publikation: 5-Jul-2011
Fakultät: Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Fakultät / Institution:SE - Sonstige Einrichtungen

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
RR_93_29.pdf18,25 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.