Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P

We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model-theoretic probabilistic reasoning and to default reasoning in System P. In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System P. That is, we provide a new probabilistic semantics for System P, which neither uses infinitesimal probabilities nor atomic bound (or big-stepped) probabilities. These results also provide new algorithms for probabilistic reasoning under coherence and for default reasoning in System P, and they give new insight into default reasoning with conditional objects.

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

[2]  D. Dubois,et al.  Conditional Objects as Nonmonotonic Consequence Relationships , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[3]  Angelo Gilio.  Algorithms for precise and imprecise conditional probability assessments , 1995 .

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

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

[6]  Didier Dubois,et al.  Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge Bases , 1997, J. Log. Comput..

[7]  Angelo Gilio,et al.  A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments , 2000, Int. J. Approx. Reason..

[8]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

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

[10]  Giulianella Coletti,et al.  Coherent Numerical and Ordinal Probabilistic Assessments , 1994, IEEE Trans. Syst. Man Cybern. Syst..

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

[12]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[13]  Thomas Lukasiewicz,et al.  Probabilistic Deduction with Conditional Constraints over Basic Events , 2011, KR.

[14]  Didier Dubois,et al.  Nonmonotonic Reasoning, Conditional Objects and Possibility Theory , 1997, Artif. Intell..

[15]  Renato Pelessoni,et al.  A Consistency Problem for Imprecise Conditional Probability Assessments , 2004 .

[16]  Giulianella Coletti,et al.  Coherent Upper and Lower Bayesian Updating , 1999, ISIPTA.

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

[18]  Paul Snow,et al.  Diverse Confidence Levels in a Probabilistic Semantics for Conditional Logics , 1999, Artif. Intell..

[19]  Didier Dubois,et al.  Possibilistic Logic, Preferential Models, Non-monotonicity and Related Issues , 1991, IJCAI.

[20]  Romano Scozzafava.  Subjective conditional probability and coherence principles for handling partial information. , 1996 .

[21]  Thomas Lukasiewicz,et al.  Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events , 1999, Int. J. Approx. Reason..

[22]  G. Boole.  An Investigation of the Laws of Thought: On which are founded the mathematical theories of logic and probabilities , 2007 .

[23]  A. Gilio,et al.  Conditional Events in Probability Assessment and Revision , 1994, IEEE Trans. Syst. Man Cybern. Syst..

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

[25]  Angelo Gilio,et al.  Probabilistic Reasoning Under Coherence in System P , 2002, Annals of Mathematics and Artificial Intelligence.

[26]  Giulianella Coletti,et al.  Conditioning and inference in intelligent systems , 1999, Soft Comput..

[27]  Hector Geffner,et al.  High-probabilities, model-preference and default arguments , 1992, Minds and Machines.

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

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

[30]  Judea Pearl,et al.  Probabilistic Semantics for Nonmonotonic Reasoning: A Survey , 1989, KR.

[31]  Peter Haddawy,et al.  Anytime Deduction for Probabilistic Logic , 1994, Artif. Intell..

[32]  Jürg Kohlas,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems , 2000 .

[33]  Thomas Lukasiewicz,et al.  Probabilistic logic programming with conditional constraints , 2001, TOCL.

[34]  P. Walley.  Statistical Reasoning with Imprecise Probabilities , 1990 .

[35]  Thomas Lukasiewicz,et al.  Nonmonotonic probabilistic logics between model-theoretic probabilistic logic and probabilistic logic under coherence , 2002, NMR.

[36]  Romano Scozzafava,et al.  Characterization of coherent Conditional Probabilities as a Tool for their Assessment and Extension , 1996, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[37]  Thomas Lukasiewicz,et al.  Probabilistic Default Reasoning with Conditional Constraints , 2000, Annals of Mathematics and Artificial Intelligence.

[38]  Didier Dubois,et al.  Mathematical models for handling partial knowledge in artificial intelligence , 1995 .

[39]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .

[40]  Angelo Gilio,et al.  Probabilistic Consistency of Conditional Probability Bounds , 1994, IPMU.