On Default Representation of Defeasible Inference and Specificity

We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical language with the language of conditionals having its own (monotonic) internal logic. It is shown, in particular, that inheritance reasoning can be naturally represented in this framework, and generalized to the full classical language.

[1]  松本 裕治 Default Reasoningと非単調論理(海外研究動向) , 1981 .

[2]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[3]  Tran Cao Son,et al.  An argument-based approach to reasoning with specificity , 2001, Artif. Intell..

[4]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[5]  David Poole,et al.  Dialectics and specificity: conditioning in logic-based hypothetical reasoning (preliminary report) , 1990 .

[6]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

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

[8]  John F. Horty,et al.  Some direct theories of nonmonotonic inheritance , 1994 .

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

[10]  Hector Geffner,et al.  Default reasoning - causal and conditional theories , 1992 .

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

[12]  J. McCarthy Circumscription|a Form of Nonmonotonic Reasoning , 1979 .

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

[14]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

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

[16]  Vladimir Lifschitz,et al.  Computing Circumscription , 1985, IJCAI.

[17]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[18]  Li-Yan Yuan,et al.  Compiling Defeasible Inheritance Networks to General Logic Programs , 1999, Artif. Intell..

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