Abstract
The driving force behind the theory of non-monotonic reasoning is the wish to draw conclusions in the face of missing information. Therefore, one way to understand non-monotonic reasoning is to realize that not only knowledge, but also absence of knowledge enables certain conclusions. Among other theories of knowledge and ignorance, Moore's autoepistemic logic is a conscientious elaboration of this idea.
However, since autoepistemic logic is in essence an introspective reasoning mechanism, the original semantics is typically stated in recursive terms. This recursion and the idiosyncratic terminology of autoepistemic semantics makes it difficult to place autoepistemic logic in the collection of existing logics of knowledge and belief.
We therefore start with a brief exposition of autoepistemic logic. After this, the semantic notion of autoepistemic membership will be axiomatized. The proof system frees autoepistemic logic from a recursive semantics and molds it into a weak S 5-like modal logic.
This research was made possible by SION, and financed by NWO under contract number 612-316-019.
Preview
Unable to display preview. Download preview PDF.
References
W. Buszkowski (1989), Remarks on Autoepistemic Logic, draft, Dept. of Computer Science, University of Chicago.
B.F. Chellas (1980), Modal Logic: An Introduction, Cambridge University Press.
J.Y. Halpern & Y.O. Moses (1984), ‘Towards a Theory of Knowledge and Ignorance,’ in: Proc. of the 1984 Non-monotonic Reasoning Workshop, American Ass. for A.I., New Paltz NY, pp. 165–193.
J.Y. Halpern & Y.O. Moses (1985), ‘A guide to the Modal Logics of Knowledge and Belief,’ in: Proc. of the 9th Int. Joint Conf. on A.I. (1985), pp. 50–61.
K. Konolige (1985), ‘A Computational Theory of Belief Introspection,’ in: Proc. of the 9th Int. Joint Conf. on A.I. (1985), pp. 502–508.
K. Konolige (1987), On the Relation Between Default and Autoepistemic Logic, report No. CSLI-87-105, Center for the Study of Language and Information.
K. Konolige (1988), ‘Hierarchic Autoepistemic Theories for Non Monotonic Reasoning: Preliminary report,’ in: Proc. of the 2nd International Workshop on Nonmonotonic Reasoning, Grassau (FRG), Springer LNCS, 1988, pp. 42–59.
H.J. Levesque (1987), ‘All I Know: An Abridged report,’ in: Proc. of the 6th Conf. of the American Ass. for A.I. (1987), pp. 426–431.
D. McDermott & J. Doyle (1980), ‘Non-Monotonic Logic I,’ in: Artificial Intelligence 13 (1980), pp. 41–72.
R.C. Moore (1985), ‘Semantical Considerations on Nonmonotonic Logic,’ in: Artificial Intelligence 25 (1985), pp. 75–94.
R.C. Moore (1984), ‘Possible-world Semantics for Autoepistemic Logic,’ in: Proc. of the Workshop on Non-Monotonic Reasoning (1984), Mohonk Mountain House, New Paltz, New York, pp. 344–354.
I. Niemelä (1988), ‘Decision Procedure for Autoepistemic Logic,’ in: Proc. of the 9th Int. Conf. on Automated Deduction, Argonne, May 1988.
R. Reiter (1980), ‘A Logic for Default Reasoning,’ in: Artificial Intelligence 13 (1980), special issue on non-monotonic reasoning, pp. 81–132.
G. Vreeswijk (1989), An Introspective Machine, report no. IR-184, Vrije Universiteit, Amsterdam.
G. Vreeswijk (1990), A Complete Logic for Autoepistemic Membership, report no. IR-207, Vrije Universiteit, Amsterdam.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vreeswijk, G. (1991). A complete logic for autoepistemic membership. In: van Eijck, J. (eds) Logics in AI. JELIA 1990. Lecture Notes in Computer Science, vol 478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018463
Download citation
DOI: https://doi.org/10.1007/BFb0018463
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53686-4
Online ISBN: 978-3-540-46982-7
eBook Packages: Springer Book Archive