Modalities in Knowledge Representation
Ullrich Hustadt, Andreas Nonnengart · 1993
Standard knowledge representation systems are supposed to be able to represent either common or individual knowledge about the world. In this paper we propose an extension to such knowledge representation systems which, in a uniform manner, allows to express beliefs of multiple agents as well as knowledge, desire, time and in fact any modality which has a first-order predicate logic possible world semantics. 1 Introduction Since the mid-seventies a variety of knowledge representation systems in the tradition of semantic networks and terminological logics has been proposed. The most famous example is KL-ONE 3 which first appeared in 1977 in R. J. Brachman's Ph.D. thesis. Other examples are KRYPTON 2 , NIKL 12 , and KRIS 1 . All these systems can be used to represent common or individual knowledge about the world. Recently, terminological logics have been extended to allow the representation of the knowledge or the beliefs of multiple agents in one knowledge base 4; 7 . In th...