Paper Info
Title
Knowledge representation and inference based on first-order modal logic
Abstract
In this paper, we present a knowledge representation system based on a first-order modal logic and discuss the deductive inference mechanism of this system. A possible-world model, which is used in discussing the semantics of a modal logic, can be regarded as structured knowledge, and modal operators can be used to describe various kinds of properties on a possible-world model. In this paper, we introduce a new concept, "viewpoints of modalities", in order to describe the knowledge structure effectively and compactly. We also show that schema formulas available in this framework are useful for the description of metaknowledge such as property inheritance. Therefore, a modal logic is suitable for representing both structured knowledge and metaknowledge. We construct a knowledge representation system based on a subset of a first-order modal logic, and give a complete deductive inference rule which is as effective as SLD resolution.
Year
DOI
Venue
1988
10.1007/3-540-19426-6_15
Proceedings of the 6th Conference on Logic programming '87
Keywords
DocType
ISBN
first-order modal logic,knowledge representation,first order,modal logic
Conference
0-387-19426-6
Citations 
PageRank 
References 
0
0.34
3
Authors
2
Name
Order
Citations
PageRank
Koji Iwanuma113817.65
Masateru Harao25812.07