Measuring Inconsistency through Minimal Inconsistent Sets

In this paper, we explore the links between measures of inconsistency for a belief base and the minimal inconsistent subsets of that belief base. The minimal inconsistent subsets can be considered as the relevant part of the base to take into account to evaluate the amount of inconsistency. We define a very natural inconsistency value from these minimal inconsistent sets. Then we show that the inconsistency value we obtain is a particular Shapley Inconsistency Value, and we provide a complete axiomatization of this value in terms of five simple and intuitive axioms. Defining this Shapley Inconsistency Value using the notion of minimal inconsistent subsets allows us to look forward to a viable implementation of this value using SAT solvers.

[1]  Bart Selman,et al.  The state of SAT , 2007, Discret. Appl. Math..

[2]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..

[3]  Guilin Qi,et al.  Measuring conflict and agreement between two prioritized belief bases , 2005, IJCAI.

[4]  Éric Grégoire,et al.  Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle , 2007, IJCAI.

[5]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[6]  L. Shapley.  A Value for n-person Games , 1988 .

[7]  V. S. Subrahmanian,et al.  How Dirty Is Your Relational Database? An Axiomatic Approach , 2007, ECSQARU.

[8]  Xiaotie Deng,et al.  On the Complexity of Cooperative Solution Concepts , 1994, Math. Oper. Res..

[9]  Guilin Qi,et al.  Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics , 2007, Description Logics.

[10]  Chengqi Zhang,et al.  A Verification Model for Electronic Transaction Protocols , 2004, APWeb.

[11]  S. Hart,et al.  Handbook of game theory with economic applications: volume 3 , 1993 .

[12]  Bashar Nuseibeh,et al.  Managing inconsistent specifications: reasoning, analysis, and action , 1998, TSEM.

[13]  Anthony Hunter,et al.  Measuring inconsistency in knowledge via quasi-classical models , 2002, AAAI/IAAI.

[14]  Frédéric Koriche,et al.  Approximate coherence-based reasoning , 2002, J. Appl. Non Class. Logics.

[15]  Anthony Hunter,et al.  Logical Comparison of Inconsistent Perspectives using Scoring Functions , 2004, Knowledge and Information Systems.

[16]  John Grant,et al.  Measuring inconsistency in knowledgebases , 2006, Journal of Intelligent Information Systems.

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

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

[19]  Weiru Liu,et al.  Measuring Inconsistency in Requirements Specifications , 2005, ECSQARU.

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

[21]  John Grant,et al.  Classifications for inconsistent theories , 1978, Notre Dame J. Formal Log..

[22]  Georg Gottlob,et al.  On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..

[23]  Eliezer L. Lozinskii,et al.  Information and evidence in logic systems , 1994, J. Exp. Theor. Artif. Intell..

[24]  Marco Schaerf,et al.  Tractable Reasoning via Approximation , 1995, Artif. Intell..

[25]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[26]  Anthony Hunter,et al.  Approaches to Measuring Inconsistent Information , 2005, Inconsistency Tolerance.

[27]  Philip Wolfe,et al.  Contributions to the theory of games , 1953 .

[28]  Leopoldo E. Bertossi,et al.  Consistent Query Answers in Virtual Data Integration Systems , 2005, Inconsistency Tolerance.

[29]  Anthony Hunter,et al.  Evaluating Significance of Inconsistencies , 2003, IJCAI.

[30]  Frédéric Koriche,et al.  On Anytime Coherence-Based Reasoning , 2001, ECSQARU.

[31]  F. J. Pelletier,et al.  316 Notre Dame Journal of Formal Logic , 1982 .

[32]  Philippe Besnard,et al.  Paraconsistent Reasoning as an Analytic Tool , 2001, Log. J. IGPL.

[33]  S. Hart,et al.  Handbook of Game Theory with Economic Applications , 1992 .

[34]  Guilin Qi,et al.  Measuring Incoherence in Description Logic-Based Ontologies , 2007, ISWC/ASWC.

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

[36]  Bijan Parsia,et al.  Debugging OWL ontologies , 2005, WWW '05.

[37]  Howard Raiffa,et al.  Games And Decisions , 1958 .

[38]  Weiru Liu,et al.  Measuring inconsistency in requirements engineering , 2005 .

[39]  Éric Grégoire,et al.  Using local search to find MSSes and MUSes , 2009, Eur. J. Oper. Res..

[40]  Jérôme Lang,et al.  Quantifying information and contradiction in propositional logic through test actions , 2003, IJCAI.

[41]  Torsten Schaub,et al.  Introduction to Inconsistency Tolerance , 2005, Inconsistency Tolerance.

[42]  Anthony Hunter.  How to act on inconsistent news: Ignore, resolve, or reject , 2006, Data Knowl. Eng..