Modal nonmonotonic logics: ranges, characterization, computation

Many nonmonotonic formalism, including default logic, logic programming with stable models, and autoepistemic logic, can be represented faithfully by means of modal nonmonotonic logics in the family proposed by McDermott and Doyle. In this paper properties of logics in this family are thoroughly investigated. We present several results on characterization of expansions. These results are applicable to a wide class of nonmonotonic modal logics. Using these characterization results, algorithms for computing expansions for finite theories are developed. Perhaps the most important finding of this paper is that the structure of the family of modal nonmonotonic logics is much simpler than that of the family of underlying modal (monotonic) logics. Namely, it is often the case that different monotonic modal logics collapse to the same nonmonotonic system. We exhibit four families of logics whose nonmonotonic variants coincide: 5-KD45, TW5-SW5, N-WK, and W5-D4WB. These nonmonotonic logics naturally represent logics related to commonsense reasoning and knowledge representation such as autoepistemic logic, reflexive autoepistemic logic, default logic, and truth maintenance with negation.

[1]  Charles Elkan,et al.  A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems , 1990, Artif. Intell..

[2]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[3]  Robert Stalnaker,et al.  A Note on Non-Monotonic Modal Logic , 1993, Artif. Intell..

[4]  Fangzhen Lin,et al.  Epistemic Semantics for Fixed-Points Non-Monotonic Logics , 1990, TARK.

[5]  Robert F. Stärk,et al.  On the Existence of Fixpoints in Moore's Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle , 1990, CSL.

[6]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

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

[8]  Miroslaw Truszczynzki.  Modal interpretations of default logic , 1991, IJCAI 1991.

[9]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

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

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

[12]  Yoav Shoham,et al.  Nonmonotonic Logics: Meaning and Utility , 1987, IJCAI.

[13]  Miroslaw Truszczynski,et al.  Modal nonmonotonic logic with restricted application of the negation as failure to prove rule , 1991, Fundamenta Informaticae.

[14]  Michael Kaminski.  Embedding a default system into nonmonotonic logics , 1991, Fundam. Informaticae.

[15]  Victor W. Marek,et al.  Autoepistemic logic , 1991, JACM.

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

[17]  McDermottDrew.  Nonmonotonic Logic II , 1982 .

[18]  Kurt Konolige,et al.  On the Relation Between Autoepistem ic Logic and Circumscription , 1989, IJCAI.

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

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

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

[22]  Ilkka Niemelä,et al.  Decision Procedure for Autoepistemic Logic , 1988, CADE.

[23]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

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

[25]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[26]  Victor W. Marek,et al.  Stable Semantics for Logic Programs and Default Theories , 1989, NACLP.

[27]  Grigori F. Shvarts.  Autoepistemic Modal Logics , 1990, TARK.

[28]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.