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.
Preview
Unable to display preview. Download preview PDF.
References
M.Abadi and Z.Manna; "A Timely Resolution", Proc. of the Symp. on Logic in Computer Science, Cambridge, MA, June (1986)
M. Abadi and Z. Manna; "Modal Theorem Proving", 8th Int. Conf. on Automated Deduction, LNCS.230, pp.172–189, (1986)
R.Fagin, J.Y.Halpern and M.Y.Yardi; "A Model Theoretical Analysis of Knowledge", 25th FOCS, pp.268–278, (1984)
F. del Cerro. L; "MOLOG: A System That Extends PROLOG with Modal Logic", New Generation Computing, Vol.3, pp.359–383, (1985)
W.D. Goldfarb; "The Undecidability of the Second-Order Unification Problem", TCS, Vol.13, pp.225–230, (1981)
H.J. Levesque; "A Logic of Implicit and Explicit Belief", AAAI-84, pp.198–202, (1984)
J.W.Lloyd; Foundations of Logic Programming, Springer-Verlag, (1984)
D.A.Miller; "Proofs in Higher-Order Logic", Ph.D.Thesis, Carnegie-mellon Univ. (1983)
G. Ventatesh; "A Decision Method for Temporal Logic Based on Resolution", Found. of Soft. Tech. & Theore. Comput. Sci., LNCS.206, pp.273–288, (1985)
H.Sakakibara; "Programming in Modal Logic", Proc. of the Logic Programming '86, pp.119–126, Tokyo, (1986)
H.Nakazima; Knowledge Representation and Prolog/KR, Sangyou-Tosyo, (1985)
K. Iwanuma and M. Harao; "First-Order Modal Logic for Time and Space and Its Incompleteness and Relative Completeness", IEICE.(D), Vol.J70-D, No.5, pp.859–869, (1987)
K.Iwanuma and M.Harao; "Knowledge Representation Based on First-Order Modal Logic", Technical Reports of IEICE, COMP86-74, (1987)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Iwanuma, K., Harao, M. (1988). Knowledge representation and inference based on first-order modal logic. In: Furukawa, K., Tanaka, H., Fujisaki, T. (eds) Logic Programming '87. LP 1987. Lecture Notes in Computer Science, vol 315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19426-6_15
Download citation
DOI: https://doi.org/10.1007/3-540-19426-6_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19426-2
Online ISBN: 978-3-540-39267-5
eBook Packages: Springer Book Archive