DFKI Research Report-93-29
by Armin Laux
Representing Belief in Multi-Agent Worlds via Terminological Logics
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 by a modal operator , which is indexed by agents. Thereby, represents the fact "agent
This document is available as PDF.
The next abstract is here, and the previous abstract is here.
Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.