A tutorial on default logics

Default logic is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical and legal reasoning. Several variants have been developed over the past year, either to overcome some perceived deficiencies of the original presentation, or to realize somewhat different intuitions. This paper provides a tutorial-style introduction to some important approaches of Default Logic. The presentation is based on operational models for these approaches, thus making them easily accessible to a broader audience, and more easily usable in practical applications.

[1]  Witold Lukaszewicz,et al.  Non-monotonic reasoning - formalization of commonsense reasoning , 1990 .

[2]  Witold Łukaszewicz.  Non-monotonic reasoning : formalization of commonsense reasoning , 1990 .

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

[4]  Torsten Schaub,et al.  Possible Worlds Semantics for Default Logics , 1994, Fundam. Informaticae.

[5]  Gerhard Brewka.  Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules , 1991, Artif. Intell..

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

[7]  Hector J. Levesque,et al.  Hard problems for simple default logics , 1992 .

[8]  Grigoris Antoniou,et al.  Studying Properties of Classes of Default Logics - Preliminary Report , 1996, PRICAI.

[9]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[10]  Witold Lukaszewicz.  Considerations on Default Logic , 1984, NMR.

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

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

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

[14]  David W. Etherington.  Formalizing Nonmonotonic Reasoning Systems , 1987, Artif. Intell..

[15]  Philippe Besnard,et al.  An Introduction to Default Logic , 1989, Symbolic Computation.

[16]  Witold Łukaszewicz.  Considerations on default logic: an alternative approach 1 , 1988 .

[17]  Grigoris Antoniou,et al.  Default logic , 2007, The Many Valued and Nonmonotonic Turn in Logic.

[18]  Ilkka Niemelä.  Towards Efficient Default Reasoning , 1995, IJCAI.

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

[20]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

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

[22]  Francesco M. Donini,et al.  Is Intractability of Non-Monotonic Reasoning a Real Drawback? , 1994, AAAI.

[23]  Torsten Schaub.  On Constrained Default Theories , 1992, ECAI.

[24]  Miroslaw Truszczynski,et al.  Constrained and Rational Default Logics , 1995, IJCAI.

[25]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

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

[27]  Torsten Schaub,et al.  Lemma Handling in Default Logic Theorem Provers , 1995, ECSQARU.

[28]  David Makinson,et al.  General patterns in nonmonotonic reasoning , 1994 .

[29]  Jan Treur,et al.  Semantics for Default Logic based on Specific Branching Time Models , 1996, ECAI.

[30]  Choh Man Teng.  Possible World Partition Sequences: A Unifying Framework for Uncertain Reasoning , 1996, UAI.

[31]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

[32]  Norman Y. Foo,et al.  Exten: A System for Computing Default Logic Extensions , 1996, PRICAI.

[33]  Torsten Schaub,et al.  Alternative Approaches to Default Logic , 1994, Artif. Intell..