An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming

An introspective agent can represent the connection between her own beliefs and the state of the world, using introspection principles to reason about this connection. An ideal introspective agent is one who makes the fewest possible assumptions about her beliefs. There is a strong formal connection between ideal introspection and metalogical systems in Logic Programming. We trace this connection in two cases: Reflective Prolog and negation as failure. The main contribution of this paper is to show how principles of soundness, completeness, and groundedness can be carried over from introspective to metalogic systems.

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

[2]  Gaetano Aurelio Lanzarone,et al.  A Metalogic Programming Language , 1989, ICLP.

[3]  Victor W. Marek,et al.  Modal nonmonotonic logics: ranges, characterization, computation , 1991, JACM.

[4]  Kurt Konolige,et al.  Ideal Introspective Belief , 1992, AAAI.

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

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

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

[8]  Stefania Costantini.  Semantics of a Metalogic Programming Language , 1990, Int. J. Found. Comput. Sci..

[9]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[10]  K. Konolige.  A deduction model of belief , 1986 .

[11]  Kurt Konolige,et al.  Circumscriptive Ignorance , 1982, AAAI.

[12]  Solomon Feferman,et al.  Transfinite recursive progressions of axiomatic theories , 1962, Journal of Symbolic Logic.

[13]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

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

[15]  J. Hintikka.  Knowledge and belief , 1962 .

[16]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..