A Framework for Default Logics

We present a general framework for default logics, which encompasses most of the existing variants of default logic. It allows us to compare those variants from a knowledge representation point of view. We then exploit this framework to generalize Brewka's work on cumulative default logic, and to give an operational definition of extensions. Proof theoretical and semantical aspects are investigated.

[1]  Camilla Schwind,et al.  A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic , 1990, CADE.

[2]  Torsten Schaub.  On Commitment and Cumulativity in Default Logics , 1991, ECSQARU.

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

[4]  Rudolf Kruse,et al.  Symbolic and Quantitative Approaches to Uncertainty , 1991, Lecture Notes in Computer Science.

[5]  François Lévy.  Computing Extensions of Default Theories , 1991, ECSQARU.

[6]  David Makinson,et al.  General Theory of Cumulative Inference , 1988, NMR.

[7]  James P. Delgrande,et al.  Default Logic Revisited , 1991, KR.

[8]  Christine Froidevaux,et al.  Graded Default Theories for Uncertainty , 1990, ECAI.

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

[10]  Christine Froidevaux.  Default Logic for Action Rule-Based Systems , 1992, ECAI.

[11]  Marco A. Casanova,et al.  Contributions to a Proof Theory for Generic Defaults , 1990, ECAI.

[12]  Kevin B. Korb,et al.  Book review: An Introduction to Default Logic Philippe Besnard (Springer Verlag, New York, 1989) , 1991, SGAR.

[13]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[14]  Christine Froidevaux,et al.  Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming , 1987, LICS.

[15]  Piotr Rychlik.  Some Variations on Default Logic , 1991, AAAI.

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

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

[18]  Torsten Schaub.  Assertional Default Theories: A Semantical View , 1991, KR.

[19]  Christine Froidevaux,et al.  General Logical Databases and Programs: Default Logic Semantics and Stratification , 1991, Inf. Comput..

[20]  David W. Etherington.  Reasoning With Incomplete Information , 1988 .

[21]  Camilla Schwind,et al.  A Tableau-Based Characterisation for Default Logic , 1991, ECSQARU.

[22]  Victor W. Marek,et al.  On the Classification and Existence of Structures in Default Logic , 1989, EPIA.

[23]  Philippe Chatalic,et al.  Graded Logics: A Framework for Uncertain and Defeasible Knowledge , 1991, ISMIS.

[24]  David Poole,et al.  What the Lottery Paradox Tells Us About Default Reasoning , 1989, KR.