Meta Level Reasoning and Default Reasoning

In this paper, we propose a logic framework for meta level reasoning as well as default reasoning in a general sense, based on an arbitrary underlying logic. In this framework, meta level reasoning is the task of how to deduce new meta level rules by giving a set of rules, whilst default reasoning is the problem of what are the possible candidate beliefs by giving them. We define the semantics for both meta level reasoning and default reasoning and investigate their relationships. We show that this framework captures various nonmonotonic paradigms, including answer set programming, default logic, contextual default reasoning, by applying the underlying logic to different classes. Finally, we show that this framework can be reduced into answer set programming.

[1]  Vladimir Lifschitz,et al.  Mathematical Foundations of Answer Set Programming , 2005, We Will Show Them!.

[2]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[3]  Hector Geffner,et al.  Conditional Entailment: Bridging two Approaches to Default Reasoning , 1992, Artif. Intell..

[4]  Yan Zhang,et al.  General Default Logic , 2007, LPNMR.

[5]  Fausto Giunchiglia,et al.  Contextual Reasoning , 1998, ECAI.

[6]  Thomas Eiter,et al.  Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems , 2007, AAAI.

[7]  David Pearce,et al.  A New Logical Characterisation of Stable Models and Answer Sets , 1996, NMELP.

[8]  Stefan Woltran,et al.  Simplifying Logic Programs Under Uniform and Strong Equivalence , 2004, LPNMR.

[9]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[10]  David Pearce,et al.  Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..

[11]  Floris Roelofsen,et al.  Minimal and Absent Information in Contexts , 2005, IJCAI.

[12]  G. Kreisel.  The Collected Papers of Gerhard Gentzen , 1971 .

[13]  M. Gelfond,et al.  Disjunctive Defaults , 1991 .

[14]  Boris Motik,et al.  A Faithful Integration of Description Logics with Logic Programming , 2007, IJCAI.

[15]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[16]  Paolo Ferraris,et al.  Answer Sets for Propositional Theories , 2005, LPNMR.

[17]  Ka-Shu Wong.  Sound and Complete Inference Rules for SE-Consequence , 2008, J. Artif. Intell. Res..

[18]  Fangzhen Lin,et al.  A Logic of Knowledge and Justified Assumptions , 1992, Artif. Intell..

[19]  Hudson Turner,et al.  Strong Equivalence for Logic Programs and Default Theories (Made Easy) , 2001, LPNMR.

[20]  Floris Roelofsen,et al.  Contextual Default Reasoning , 2007, IJCAI.

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