Entrenchment Relations: A Uniform Approach to Nonmonotonicity

We show that Gabbay's nonmonotonic consequence relations can be reduced to a new family of relations, called entrenchment relations. Entrenchment relations provide a direct generalization of epistemic entrenchment and expectation ordering introduced by Gardenfors and Makinson for the study of belief revision and expectation inference, respectively.

[1]  Alexander Bochman.  Default Consequence Relations as a Logical Framework for Logic Programs , 1995, LPNMR.

[2]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

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

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

[5]  Hirofumi Katsuno,et al.  A Unified View of Consequence Relation, Belief Revision and Conditional Logic , 1991, IJCAI.

[6]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[7]  Konstantinos Georgatos.  Ju l 2 00 0 Ordering-based Representations of Rational Inference ∗ Konstantinos Georgatos , 2008 .

[8]  Hans Rott,et al.  Preferential belief change using generalized epistemic entrenchment , 1992, J. Log. Lang. Inf..

[9]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[10]  H. Kyburg.  Iterated Belief Change Based on Epistemic Entrenchment* , 1994 .

[11]  John Bell,et al.  Pragmatic Logics , 1991, KR.

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

[13]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[14]  James P. Delgrande.  A Preference-Based Approach to Default Reasoning: Preliminary Report , 1994, AAAI.

[15]  Mary-Anne Williams,et al.  On the Logic of Theory Base Change , 1994, JELIA.

[16]  J. Davenport.  Editor , 1960 .

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

[18]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[19]  Wayne Wobcke,et al.  On the Use of Epistemic Entrenchment in Non-monotonic Reasoning , 1992, European Conference on Artificial Intelligence.

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

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

[22]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

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

[24]  Robert Stalnaker,et al.  What is a Nonmonotonic Consequence Relation? , 1994, Fundam. Informaticae.

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

[26]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

[27]  Peter Gärdenfors,et al.  Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.

[28]  Philippe Lamarre,et al.  S4 as the Conditional Logic of Nonmonotonicity , 1991, KR.

[29]  Norman Y. Foo,et al.  Changing conditional beliefs unconditionally , 1996 .

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

[31]  Albert Einstein,et al.  Prejudices , 1999 .

[32]  H. Prade,et al.  Possibilistic logic , 1994 .

[33]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[34]  Krzysztof R. Apt,et al.  Logics and Models of Concurrent Systems , 1989, NATO ASI Series.

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

[36]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[37]  Fachgruppe Philosophie,et al.  Preferential Belief Change Using Generalized Epistemic Entrenchment , 1992 .

[38]  Didier Dubois,et al.  Epistemic Entrenchment and Possibilistic Logic , 1991, Artif. Intell..

[39]  Rob Kling,et al.  A Paradigm for Reasoning by Analogy , 1971, IJCAI.

[40]  Angelika Kratzer,et al.  Partition and revision: The semantics of counterfactuals , 1981, J. Philos. Log..

[41]  Luis Fariñas del Cerro,et al.  From Ordering-Based Nonmonotonic Reasoning to Conditional Logics , 1992, Artif. Intell..

[42]  L. R. Harris.  Hypothetical reasoning , 1989 .

[43]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[44]  Wlodzimierz Rabinowicz,et al.  Epistemic entrenchment with incomparabilities and relational belief revision , 1989, The Logic of Theory Change.

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

[46]  Craig Boutilier,et al.  Modal Logics for Qualitative Possibility and Beliefs , 1992, UAI.

[47]  Peter Gärdenfors,et al.  Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..

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

[49]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

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

[51]  Frank Veltman.  Prejudices, presuppositions, and the theory of counterfactuals , 1976 .