Nonmonotonic Reasoning, Preferential Models and Cumulative Logics

Abstract Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always been described only negatively, by the property it does not enjoy, i.e. monotonicity. We study here general patterns of nonmonotonic reasoning and try to isolate properties that could help us map the field of nonmonotonic reasoning by reference to positive properties. We concentrate on a number of families of nonmonotonic consequence relations, defined in the style of Gentzen [13]. Both proof-theoretic and semantic points of view are developed in parallel. The former point of view was pioneered by Gabbay [10], while the latter has been advocated by Shoham [38]. Five such families are defined and characterized by representation theorems, relating the two points of view. One of the families of interest, that of preferential relations, turns out to have been studied by Adams [2]. The preferential models proposed here are a much stronger tool than Adams' probabilistic semantics. The basic language used in this paper is that of propositional logic. The extension of our results to first-order predicate calculi and the study of the computational complexity of the decision problems described in this paper will be treated in another paper.

[1]  Alfred Tarski,et al.  Logic, Semantics, Metamathematics: Papers from 1923 to 1938 , 1958 .

[2]  E. W. Adams,et al.  Probability and the Logic of Conditionals , 1966 .

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

[4]  James P. Delgrande,et al.  A First-Order Conditional Logic for Prototypical Properties , 1987, Artif. Intell..

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

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

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

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

[9]  Vladimir Lifschitz,et al.  On the Satisfiability of Circumscription , 1986, Artif. Intell..

[10]  Robert C. Moore Possible-World Semantics for Autoepistemic Logic , 1987, NMR.

[11]  G. Gentzen,et al.  Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen , 1933 .

[12]  Robert E. Mercer,et al.  On the adequacy of predicate circumscription for closed‐world reasoning , 1985, Comput. Intell..

[13]  Joseph Y. Halpern,et al.  Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.

[14]  A. Tarski Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I , 1930 .

[15]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[16]  M. E. Szabo,et al.  The collected papers of Gerhard Gentzen , 1969 .

[17]  E. W. Adams,et al.  The logic of conditionals , 1975 .

[18]  John P. Burgess,et al.  Quick completeness proofs for some logics of conditionals , 1981, Notre Dame J. Formal Log..

[19]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[20]  David Lewis Intensional logics without interative axioms , 1974, J. Philos. Log..

[21]  Arnon Avron,et al.  Simple Consequence Relations , 1988, Inf. Comput..

[22]  A. R. Turquette,et al.  Logic, Semantics, Metamathematics , 1957 .

[23]  Yoav Shoham,et al.  A semantical approach to nonmonotonic logics , 1987, LICS 1987.

[24]  James P. Delgrande,et al.  An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..

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

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

[27]  F.J.M.M. Veltman,et al.  Logics for conditionals. , 1985 .

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

[29]  Johan van Benthem,et al.  Foundations of conditional logic , 1984, J. Philos. Log..

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

[31]  A. Tarski Grundzüge der Systemenkalküls I , 1935 .