Hierarchic autoepistemic theories for non-monotonic reasoning: preliminary report

Nonmonotonic logics are meant to be a formalization of nonmonotonic reasoning. However, for the most part they fail to embody two of the most important aspects of such reasoning: the explicit computational nature of nonmonotonic inference, and the assignment of preferences among competing inferences. We propose a method of nonmonotonic reasoning in which the notion of inference from specific bodies of evidence plays a fundamental role. The formalization is based on autoepistemic logic, but introduces additional structure, a hierarchy of evidential spaces. The method offers a natural formalization of many different applications of nonmonotonic reasoning, including reasoning about action, speech acts, belief revision, and various situations involving competing defaults.

[1]  Ronald Prescott Loui,et al.  Defeat among arguments: a system of defeasible inference , 1987, Comput. Intell..

[2]  H. Levesque.  A formal treatment of incomplete knowledge bases , 1981 .

[3]  Hector J. Levesque,et al.  All I Know: An Abridged Report , 1987, AAAI.

[4]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

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

[6]  Moshe Y. Vardi.  Conference on Theoretical Aspects of Reasoning about Knowledge , 1990 .

[7]  Raymond Reiter,et al.  On Inheritance Hierarchies With Exceptions , 1983, AAAI.

[8]  Douglas E. Appelt,et al.  A Practical Nonmonotonic Theory for Reasoning about Speech Acts , 1988, ACL.

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

[10]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[11]  Kurt Konolige,et al.  Representing defaults with epistemic concepts , 1989, Comput. Intell..

[12]  Vladimir Lifschitz,et al.  Some Results on Circumscription , 1984, NMR.

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

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

[15]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

[16]  Y. Shoham.  Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[17]  Kurt Konolige,et al.  A Resolution Method for Quantified Modal Logics of Knowledge and Belief , 1986, TARK.

[18]  R. Reiter,et al.  SOME REPRESENTATIONAL ISSUES IN DEFAULT REASONING , 1980 .

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