Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic

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.

[1]  Drew McDermott,et al.  Nonmonotonic Logic II: Nonmonotonic Modal Theories , 1982, JACM.

[2]  Douglas E. Appelt,et al.  A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision , 1989, NMR.

[3]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[4]  Wiktor Marek,et al.  STABLE THEORIES IN AUTOEPISTEMIC LOGIC , 1989 .

[5]  Robert C. Moore.  Possible-World Semantics for Autoepistemic Logic , 1987, NMR.

[6]  Michael Gelfond,et al.  On consistency and completeness of autoepistemic theories , 1992, Fundamenta Informaticae.

[7]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[8]  Kurt Konolige,et al.  Quantification in autoepistemic logic , 1991, Fundam. Informaticae.

[9]  Michael Gelfond,et al.  On Stratified Autoepistemic Theories , 1987, AAAI.

[10]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..

[11]  Grigoris Antoniou,et al.  Logic - a foundation for computer science , 1991, International Computer Science Series.

[12]  Kurt Konolige,et al.  Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning , 1988, AAAI.

[13]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[14]  Grigoris Antoniou,et al.  Computing Extensions of Nonmonotonic Logics , 1993, Scandinavian Conference on AI.

[15]  Victor W. Marek,et al.  Relating Autoepistemic and Default Logics , 1989, KR.

[16]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[17]  Grigoris Antoniou,et al.  Operational concepts of nonmonotonic logics part 1: Default logic , 2004, Artificial Intelligence Review.

[18]  D. McDermott,et al.  An introduction to nonmonotonic logic , 1979, IJCAI 1979.

[19]  Michael Gelfond,et al.  Formalization of inheritance reasoning in autoepistemic logic , 1990 .

[20]  Victor W. Marek,et al.  Nonmonotonic logic - context-dependent reasoning , 1997, Artificial intelligence.