The role of default logic in knowledge representation

Various researchers in Artificial Intelligence have advocated formal logic as an analytical tool and as a formalism for the representation of knowledge. Our thesis in this paper is that commonsense reasoning frequently has a nonmonotonic aspect, either explicit or implicit, and that to this end Default Logic (DL) provides an appropriate elaboration of classical logic for the modeling of such phenomena. That is, DL is a very general, flexible, and powerful approach to nonmonotonic reasoning, and its very generality and power makes it suitable as a tool for modeling a wide variety of applications. We propose a general methodology for using Default Logic, involving the naming of default rules and the introduction of special-purpose predicates, for detecting conditions for default rule applicability and controlling a rule's application. This allows the encoding of specific strategies and policies governing the set of default rules. Here we show that DL can be used to formalize preferences among properties and the inheritance of default properties, and so we essentially use DL to axiomat

[1]  Torsten Schaub,et al.  An Implementation Platform for Query-Answering: X-RAY , 1997, LPNMR.

[2]  Robert C. Moore.  The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.

[3]  Torsten Schaub,et al.  An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation , 1997, ICLP 1997.

[4]  C. Raymond Perrault.  An application of default logic to speech act theory , 1987 .

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

[6]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[7]  Victor W. Marek,et al.  Computing with Default Logic , 1999, Artif. Intell..

[8]  V. Lifschitz,et al.  Foundations of Logic Programming , 1997 .

[9]  Franz Baader,et al.  How to Prefer More Specific Defaults in Terminological Default Logic , 1993, IJCAI.

[10]  Norman Y. Foo,et al.  Answer Sets for Prioritized Logic Programs , 1997, ILPS.

[11]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[12]  Torsten Schaub,et al.  Compiling Specificity Into Approaches to Nonmonotonic Reasoning , 1997, Artif. Intell..

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

[14]  Benjamin N. Grosof,et al.  Generalizing Prioritization , 1991, KR.

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

[16]  Thomas Eiter,et al.  Preferred Answer Sets for Extended Logic Programs , 1999, Artif. Intell..

[17]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[18]  Tomi Janhunen.  Classifying Semi-Normal Default Logic on the Basis of its Expressive Power , 1999, LPNMR.

[19]  J. McCarthy.  First Order Theories of Individual Concepts and Propositions. , 1979 .

[20]  Torsten Schaub,et al.  Expressing preferences in default logic , 2000, Artif. Intell..

[21]  Torsten Schaub,et al.  Reasoning with Sets of Preferences in Default Logic , 1998, PRICAI.

[22]  Judea Pearl,et al.  System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .

[23]  Patrick J. Hayes,et al.  Moments and points in an interval‐based temporal logic , 1989, Comput. Intell..

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

[25]  Gerhard Brewka.  Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences , 1996, J. Artif. Intell. Res..

[26]  Tran Cao Son,et al.  Reasoning with Prioritized Defaults , 1997, LPKR.

[27]  Hector J. Levesque,et al.  Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..

[28]  Gerhard Brewka,et al.  Adding Priorities and Specificity to Default Logic , 1994, JELIA.

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

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

[31]  Georg Gottlob,et al.  Default Logic as a Query Language , 1994, KR 1994.

[32]  Torsten Schaub,et al.  Compiling Reasoning with and about Preferences into Default Logic , 1997, IJCAI.

[33]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[34]  Hudson Turner,et al.  Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..

[35]  Gerald Pfeifer,et al.  A Deductive System for Non-Monotonic Reasoning , 1997, LPNMR.

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

[37]  Vladimir Lifschitz,et al.  Closed-World Databases and Circumscription , 1987, Artif. Intell..

[38]  Patrick J. Hayes,et al.  The second naive physics manifesto , 1995 .

[39]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[40]  Raymond Reiter,et al.  On Interacting Defaults , 1981, IJCAI.

[41]  Gerhard Brewka.  Reasoning about Priorities in Default Logic , 1994, AAAI.

[42]  Ilkka Niemelä,et al.  Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.