Abstract
We define GOL, the generalized logic of only knowing, and propose to use it as a unified framework for non-monotonic reasoning. The GOL logic is a generalization of the logic of only knowing (OL) by Levesque [8], and it covers the important notion of epistemic specification by Gelfond [3, 5] which is very useful in knowledge representation. By giving a model-theoretic account for epistemic specifications, the GOL helps clarify the conceptual understanding for epistemic theories. The GOL logic contains the OL logic as a subset and thus it retains the important features of OL. The OL logic is a modal logic which can be used to formalize an agent's introspective reasoning and to answer epistemic queries to databases. In recent works [1–2], we established the relations between OL logic and MBNF (the logic of minimal belief and negation as failure by Lifschitz
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
J. Chen, Minimal Knowledge+Negation as Failure=Only Knowing (sometimes). Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, June 1993, pp. 132–150.
J. Chen, The Logic of Only Knowing as a Unified Framework for Non-monotonic Reasoning, To appear in the Fundamenta Informatica journal.
M. Gelfond, Strong Introspection, Proceedings of AAAI, 1991, pp. 386–391.
M. Gelfond and V. Lifschitz, Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, 1991, To appear.
M. Gelfond and H. Przymusinska, Reasoning in Open Domains, Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, June 1993, pp. 397–413.
J. Halpern, Reasoning about Only Knowing with Many Agents, Proceedings of National Conference on AI (AAAI'93), July 1993, pp. 655–661.
G. Lakemeyer, All They Know: A Study in Multi-Agent Autoepistemic Reasoning, Proceedings of the 13th International Joint Conference on AI, 1993, pp. 376–381.
H. J. Levesque, All I Know: A Study in Autoepistemic Logic, Artificial Intelligence, 42 (1–2) 1990, pp. 263–309.
V. Lifschitz, Minimal Belief and Negation As Failure, Submitted, 1992.
V. Lifschitz, G. Schwarz, Extended Logic Programs as Autoepistemic Theories, Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, June 1993, pp. 101–114.
W. Marek and M. Truszczynski, Reflexive Autoepistemic Logic and Logic Programming, Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, June 1993, pp. 115–131.
R. Moore, Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence, 25 (1), 1985, pp. 75–94.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, J. (1994). The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications. In: Raś, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1994. Lecture Notes in Computer Science, vol 869. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58495-1_48
Download citation
DOI: https://doi.org/10.1007/3-540-58495-1_48
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58495-7
Online ISBN: 978-3-540-49010-4
eBook Packages: Springer Book Archive