Linear Programs for Measuring Inconsistency in Probabilistic Logics

Inconsistency measures help analyzing contradictory knowledge bases and resolving inconsistencies. In recent years several measures with desirable properties have been proposed, but often these measures correspond to combinatorial or non-convex optimization problems that are hard to solve in practice. In this paper, I study a new family of inconsistency measures for probabilistic knowledge bases. All members satisfy many desirable properties and can be computed by means of convex optimization techniques. For two members, I present linear programs whose computation is barely harder than a probabilistic satisfiability test.

[1]  Sébastien Konieczny,et al.  A Reasoning Platform Based on the MI Shapley Inconsistency Value , 2013, ECSQARU.

[2]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[3]  Anthony Hunter,et al.  Measuring Inconsistency through Minimal Inconsistent Sets , 2008, KR.

[4]  Gabriele Kern-Isberner,et al.  Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents , 2001 .

[5]  W. Spears.  Probabilistic Satisfiability , 1992 .

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

[7]  Bernd Gärtner,et al.  Understanding and Using Linear Programming (Universitext) , 2006 .

[8]  Kevin M. Knight,et al.  Two Information Measures for Inconsistent Sets , 2003, J. Log. Lang. Inf..

[9]  M. Powell.  A Direct Search Optimization Method That Models the Objective and Constraint Functions by Linear Interpolation , 1994 .

[10]  Gabriele Kern-Isberner,et al.  Resolving Inconsistencies in Probabilistic Knowledge Bases , 2007, KI.

[11]  A. Hunter,et al.  Shapley Inconsistency Values , 2006, KR.

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

[13]  Matthias Thimm,et al.  Measuring Inconsistency in Probabilistic Knowledge Bases , 2009, UAI.

[14]  Bernd Gärtner,et al.  Understanding and using linear programming , 2007, Universitext.

[15]  John Grant,et al.  Analysing inconsistent first-order knowledgebases , 2008, Artif. Intell..

[16]  Fabio Gagliardi Cozman,et al.  Probabilistic satisfiability and coherence checking through integer programming , 2013, Int. J. Approx. Reason..

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

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

[19]  Gabriele Kern-Isberner,et al.  Conditionals in Nonmonotonic Reasoning and Belief Revision , 2001, Lecture Notes in Computer Science.

[20]  Jeff B. Paris,et al.  On the applicability of maximum entropy to inexact reasoning , 1989, Int. J. Approx. Reason..

[21]  David Picado-Muiño,et al.  Measuring and repairing inconsistency in probabilistic knowledge bases , 2011, Int. J. Approx. Reason..

[22]  Kevin Knight,et al.  Measuring Inconsistency , 2002, J. Philos. Log..

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

[24]  Christoph Beierle,et al.  Probabilistic Reasoning at Optimum Entropy with the MEcore System , 2009, FLAIRS Conference.

[25]  Pierre Hansen,et al.  Merging the local and global approaches to probabilistic satisfiability , 2004, Int. J. Approx. Reason..

[26]  Wilhelm Rödder,et al.  Entropy-driven inference and inconsistency , 1999, AISTATS.

[27]  Miodrag Raskovic,et al.  Measures of inconsistency and defaults , 2010, Int. J. Approx. Reason..