Conditional Objects as Nonmonotonic Consequence Relationships

This paper investigates the relationship between conditional objects obtained as a qualitative counterpart to conditional probabilities, and nonmonotonic reasoning. Viewed as an inference rule expressing a contextual belief, the conditional object is shown to possess all properties of a well-behaved nonmonotonic consequence relation when a suitable choice of connectives and deduction operation is made. Using previous results from Adams' conditional probabilistic logic, a logic of conditional objects is proposed. Its axioms and inference rules are those of preferential reasoning logic of Lehmann and colleagues. But the semantics relies on a three-valued truth valuation first suggested by De Finetti. It is more elementary and intuitive than the preferential semantics of Lehmann and colleagues and does not require probabilistic semantics. The analysis of a notion of consistency of a set of conditional objects is studied in the light of such a three-valued semantics and higher level counterparts of deduction theorem, modus ponens, resolution and refutation are suggested. Limitations of this logic are discussed. >

[1]  L. M. M.-T..  Theory of Probability , 1929, Nature.

[2]  B. D. Finetti.  La prévision : ses lois logiques, ses sources subjectives , 1937 .

[3]  B. D. Finetti,et al.  La Logique de la Probabilite , 1937 .

[4]  G. Schay.  An algebra of conditional events , 1968 .

[5]  B. Sauphanor.  The logical foundations of statistical inference , 1974 .

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

[7]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

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

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

[10]  David S. Touretzky,et al.  Implicit Ordering of Defaults in Inheritance Systems , 1984, AAAI.

[11]  Philip G. Calabrese,et al.  An algebraic synthesis of the foundations of logic and probability , 1987, Inf. Sci..

[12]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

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

[14]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[15]  Didier Dubois,et al.  Conditioning in Possibility and Evidence Theories - A Logical Viewpoint , 1988, International Conference on Information Processing and Management of Uncertainty.

[16]  Peter C. Cheeseman,et al.  An inquiry into computer understanding , 1988, Comput. Intell..

[17]  I. Goodman.  Conditional Objects and the Modeling of Uncertainties , 1988 .

[18]  Wolfgang Spohn,et al.  A general non-probabilistic theory of inductive reasoning , 2013, UAI.

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

[20]  Didier Dubois,et al.  Measure-Free Conditioning, Probability and Non-Monotonic Reasoning , 1989, IJCAI.

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

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

[23]  Giulianella Coletti,et al.  Coherent qualitative probability , 1990 .

[24]  R. T. Cox.  Probability, frequency and reasonable expectation , 1990 .

[25]  Léa Sombé,et al.  Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example , 1990, Int. J. Intell. Syst..

[26]  I. R. Goodman.  Three-valued logics and conditional event algebras , 1990, [1990] Proceedings. First International Symposium on Uncertainty Modeling and Analysis.

[27]  Eric Neufeld,et al.  A probabilistic commonsense reasoner , 1990, Int. J. Intell. Syst..

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

[29]  Didier Dubois,et al.  The logical view of conditioning and its application to possibility and evidence theories , 1990, Int. J. Approx. Reason..

[30]  P. G. Calabrese,et al.  Reasoning with uncertainty using conditional logic and probability , 1990, [1990] Proceedings. First International Symposium on Uncertainty Modeling and Analysis.

[31]  Michael P. Wellman.  Fundamental Concepts of Qualitative Probabilistic Networks , 1990, Artif. Intell..

[32]  Madan M. Gupta,et al.  Conditional Logic in Expert Systems , 1991 .

[33]  Didier Dubois,et al.  Constraint Propagation with Imprecise Conditional Probabilities , 1991, UAI.

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

[35]  Moisés Goldszmidt,et al.  System-Z+: A Formalism for Reasoning with Variable-Strength Defaults , 1991, AAAI.

[36]  Didier Dubois,et al.  Conditional Objects and Non-Monontonic Reasoning , 1991, KR.

[37]  Hung T. Nguyen,et al.  Conditional inference and logic for intelligent systems - a theory of measure-free conditioning , 1991 .

[38]  Hector Geffner,et al.  Default reasoning - causal and conditional theories , 1992 .

[39]  Didier Dubois,et al.  Representing Default Rules in Possibilistic Logic , 1992, KR.

[40]  Didier Dubois,et al.  A Symbolic Approach to Reasoning with Linguistic Quantifiers , 1992, UAI.

[41]  Werner Kießling,et al.  Towards Precision of Probabilistic Bounds Propagation , 1992, UAI.

[42]  Moisés Goldszmidt,et al.  On the Consistency of Defeasible Databases , 1991, Artif. Intell..

[43]  Moisés Goldszmidt,et al.  Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions , 1992, KR.

[44]  Craig Boutilier,et al.  Revision by Conditional Beliefs , 1993, AAAI.

[45]  Hung T. Nguyen,et al.  On dynamics of cautious belief and conditional objects , 1993, Int. J. Approx. Reason..

[46]  Michael Freund,et al.  Injective Models and Disjunctive Relations , 1993, J. Log. Comput..

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

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

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

[50]  Elbert A. Walker,et al.  Stone Algebras, Conditional Events, and Three Valued Logic , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[51]  Philip G. Calabrese,et al.  Conditional Event Algebras and Conditional Probability Logics. Basic Formulations and a Product Space Approach to Conditional Events. , 1995 .