A logic with approximate conditional probabilities that can model default reasoning

The paper presents the proof-theoretical approach to a probabilistic logic which allows expressions about (approximate) conditional probabilities. The logic enriches propositional calculus with probabilistic operators which are applied to propositional formulas: CP">="s(@a,@b), CP"=<"s(@a,@b) and CP"~"s(@a,@b), with the intended meaning ''the conditional probability of @a given @b is at least s'', ''at most s'' and ''approximately s'', respectively. Possible-world semantics with a finitely additive probability measure on sets of worlds is defined and the corresponding strong completeness theorem is proved for a rather simple set of axioms. This is achieved at the price of allowing infinitary rules of inference. One of these rules enables us to syntactically define the range of the probability function. This range is chosen to be the unit interval of a recursive non-archimedean field, making it possible to express statements about approximate probabilities. Formulas of the form CP"~"1(@a,@b) may be used to model defaults. The decidability of the logic is proved.

[1]  Ronald Fagin,et al.  Reasoning about knowledge and probability , 1988, JACM.

[2]  Miodrag Raskovic,et al.  Completeness theorem for propositional probabilistic models whose measures have only finite ranges , 2004, Arch. Math. Log..

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

[4]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[5]  Franco Montagna,et al.  A logical and algebraic treatment of conditional probability , 2005, Arch. Math. Log..

[6]  Ken Satoh.  A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning , 1990, AAAI.

[7]  Thomas Lukasiewicz,et al.  Probabilistic logic under coherence: complexity and algorithms , 2005, Annals of Mathematics and Artificial Intelligence.

[8]  Miodrag Raskovic,et al.  Some first-order probability logics , 2000, Theor. Comput. Sci..

[9]  Natasha Alechina,et al.  Logic with Probabilistic Operators , 1995 .

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

[11]  Judea Pearl,et al.  Qualitative Probabilities for Default Reasoning, Belief Revision, and Causal Modeling , 1996, Artif. Intell..

[12]  Z. Ognjanovic,et al.  A probabilistic approach to default reasoning , 2004, NMR.

[13]  Miodrag Raskovic,et al.  A probabilistic extension of intuitionistic logic , 2003, Math. Log. Q..

[14]  Thomas Lukasiewicz,et al.  Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation , 2007, Int. J. Approx. Reason..

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

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

[17]  Joseph Y. Halpern,et al.  Plausibility measures and default reasoning , 1996, JACM.

[18]  Thomas Lukasiewicz,et al.  Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P , 2002, J. Appl. Non Class. Logics.

[19]  Richard B. Scherl,et al.  A probabilistic logic based on the acceptability of gambles , 2007, Int. J. Approx. Reason..

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

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

[22]  Wiebe van der Hoeck.  Some considerations on the logics PFD A logic combining modality and probability , 1997 .

[23]  Lluis Godo,et al.  A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach , 2004, JELIA.

[24]  Alessandro Saffiotti,et al.  Belief functions and default reasoning , 1995, Artif. Intell..

[25]  A. Robinson.  Non-standard analysis , 1966 .

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

[27]  Miodrag Raskovic,et al.  Some Probability Logics with New Types of Probability Operators , 1999, J. Log. Comput..

[28]  Miodrag Raskovic,et al.  A Logic with Conditional Probabilities , 2004, JELIA.