Consolidating Probabilistic Knowledge Bases via Belief Contraction

This paper is set to study the applicability of AGM-like operations to probabilistic bases. We focus on the problem of consistency restoration, also called consolidation or contraction by falsity. We aim to identify the reasons why the set of AGM postulates based on discrete operations of deletions and accretions is too coarse to treat finely adjustable probabilistic formulas. We propose new principles that allow one to deal with the consolidation of inconsistent probabilistic bases, presenting a finer method called liftable contraction. Furthermore, we show that existing methods for probabilistic consolidation via distance minimization are particular cases of the methods proposed.

[1]  Renata Wassermann,et al.  Between Belief Bases and Belief Sets: Partial Meet Contraction , 2015, DARe@IJCAI.

[2]  T. Hailperin,et al.  Best Possible Inequalities for the Probability of a Logical Function of Events , 1965 .

[3]  David Picado Muiòo.  Measuring and repairing inconsistency in probabilistic knowledge bases , 2011 .

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

[5]  Wilhelm Rödder,et al.  Conditional logic and the Principle of Entropy , 2000, Artif. Intell..

[6]  Pierre Hansen,et al.  Column Generation Methods for Probabilistic Logic , 1989, INFORMS J. Comput..

[7]  Pierre Hansen,et al.  Probabilistic satisfiability with imprecise probabilities , 1999, Int. J. Approx. Reason..

[8]  Marcelo Finger,et al.  Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation , 2015, Artif. Intell..

[9]  Joseph Y. Halpern.  An Analysis of First-Order Logics of Probability , 1989, IJCAI.

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

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

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

[13]  Nico Potyka,et al.  Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures , 2015, IJCAI.

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

[15]  Renata Wassermann.  Resource Bounded Belief Revision , 1999 .

[16]  Matthias Thimm,et al.  Inconsistency measures for probabilistic logics , 2013, Artif. Intell..

[17]  Nico Potyka,et al.  Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization , 2014, ECAI.

[18]  Thomas Lukasiewicz,et al.  Combining probabilistic logic programming with the power of maximum entropy , 2004, Artif. Intell..