DFKI Research Report-92-56
by Armin Laux
Integrating a Modal Logic of Knowledge into Terminological Logics
If we want of group of autonomous agents to act and to cooperate in a world, each of them needs knowledge about this world, about the knowledge of other agents, and about his own knowledge. To describe such knowledge we introduce the language which extends the concept language by a new operator . Thereby, is to be read as "agent i knows ". This knowledge operator is interpreted in terms of possible worlds. That means, besides the real world, agents can imagine a number of other worlds to be possible. An agent is then said to know a fact if is true in all worlds he considers possible. In this paper we use an axiomatization of the knowledge operator which has been proposed by Moore. Thereby, knowledge of agents is interpreted such that (i) agents are able to reason on the basis of their knowledge, (ii) anything that is known by an agent is true, and (iii) if an agent knows something then he knows that he knows it. We will give tableaux-based algorithms for deciding whether a set of sentences is satisfiable, and whether such a set entails a given sentence.
This document is available as PDF-File(26,0MB).
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.