Abstract
The subject of nonmonotonic reasoning is reasoning with incompleteinformation. One of the main approaches is autoepistemic logic inwhich reasoning is based on introspection. This paper aims at providing a smooth introduction to this logic,stressing its motivation and basic concepts. The meaning (semantics)of autoepistemic logic is given in terms of so-called expansionswhich are usually defined as solutions of a fixed-point equation. Thepresent paper shows a more understandable, operational method fordetermining expansions. By improving applicability of the basicconcepts to concrete examples, we hope to make a contribution to awider usage of autoepistemic logic in practical applications.
Similar content being viewed by others
References
Antoniou, G. & Sperschneider, V. (1993).Computing Extensions of Nonmonotonic Logics. In Proc. 4th Scandinavian Conference on Artificial Intelligence. IOS Press.
Antoniou, G. & Sperschneider, V. (1994). Operational Concepts of Nonmonotonic Logics–Part 1: Default Logic. Artificial Intelligence Review 8: 3–16.
Appelt D. E. & Konolige, K. (1988). A Nonmonotonic Logic for Reasoning about Speech Acts and Belief Revision. In Reinfrank et. al. (eds.), Nonmonotonic Reasoning, Proc. 2nd International Workshop. Springer LNAI 346.
Brewka, G. (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press.
Gelfond, M. (1987). On Stratified Autoepistemic Theories. In Proc. American National Conference on Artificial Intelligence.
Gelfond, M. & Przymusinska, H. (1989). Formalization of Inheritance Reasoning in Auto-epistemic Logic. Fundamenta Informaticae 13(4): 403–444.
Gelfond, M. & Przymusinska, H. (1992).On Consistency and Completeness of Autoepistemic Theories. Fundamenta Informaticae 16: 59–92.
Konolige, K. (1988a). On the Relation Between Default and Autoepistemic Logic. Artificial Intelligence35: 343–382; see also Errata, Artificial Intelligence 41: 115, 1989.
Konolige, K. (1988b). Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning: Preliminary Report. In Reinfrank et al. (eds.), Nonmonotonic Reasoning, Proc. 2nd International Workshop. Springer LNAI 346.
Konolige, K. (1991). Quantifying in Autoepistemic Logic. Fundamenta Informaticae 15(3–4).
Marek, W. (1989). Stable Theories in Autoepistemic Logic. Fundamenta Informaticae 12: 243–254.
Marek, W. & Truszczynski M. (1989). Relating Autoepistemic Logic and Default Logic. Proc. 1st International Conference on Knowledge Representation and Reasoning.
Marek, W. & Truszczynski, M. (1993). Nonmonotonic Logic–Context-Dependent Reasoning. Springer.
McDermott, D. & Doyle, J. (1980). Nonmonotonic Logic I. Artificial Intelligence 13: 41–72.
McDermott, D. & Doyle, J. (1982). Nonmonotonic Logic II: Nonmonotonic Modal Theories. Journal of the ACM 29(1): 33–57.
Moore R. C. (1984). Possible-World Semantics for Autoepistemic Logic. In Proc. NonMonotonic Reasoning Workshop. New Paltz.
Moore, R. C. (1985). Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence 25: 75–94.
Reiter, R. (1980). A Logic for Default Reasoning. Artificial Intelligence 13: 81–132.
Sperschneider, V. & Antoniou, G. (1991). Logic: A Foundation for Computer Science. Addison-Wesley.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Antoniou, G., Sperschneider, V. Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic. Artificial Intelligence Review 12, 431–443 (1998). https://doi.org/10.1023/A:1006516126932
Issue Date:
DOI: https://doi.org/10.1023/A:1006516126932