Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets

Measuring inconsistency degrees of knowledge bases (KBs) provides important context information for facilitating inconsistency handling. Several semantic and syntax based measures have been proposed separately. In this paper, we propose a new way to define inconsistency measurements by combining semantic and syntax based approaches. It is based on counting the variables of minimal unsatisfiable subsets (MUSes) and minimal correction subsets (MCSes), which leads to two equivalent inconsistency degrees, named IDMUS and IDMCS. We give the theoretical and experimental comparisons between them and two purely semantic-based inconsistency degrees: 4-valued and the Quasi Classical semantics based inconsistency degrees. Moreover, the computational complexities related to our new inconsistency measurements are studied. As it turns out that computing the exact inconsistency degrees is intractable in general, we then propose and evaluate an anytime algorithm to make IDMUS and IDMCS usable in knowledge management applications. In particular, as most of syntax based measures tend to be difficult to compute in reality due to the exponential number of MUSes, our new inconsistency measures are practical because the numbers of variables in MUSes are often limited or easily to be approximated. We evaluate our approach on the DC benchmark. Our encouraging experimental results show that these new inconsistency measurements or their approximations are efficient to handle large knowledge bases and to better distinguish inconsistent knowledge bases.

[1]  Karem A. Sakallah,et al.  Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints , 2007, Journal of Automated Reasoning.

[2]  Weiru Liu,et al.  A Syntax-based approach to measuring the degree of inconsistency for belief bases , 2011, Int. J. Approx. Reason..

[3]  Jitendra Malik,et al.  Scale-Space and Edge Detection Using Anisotropic Diffusion , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[4]  John Grant,et al.  Measuring the Good and the Bad in Inconsistent Information , 2011, IJCAI.

[5]  Guilin Qi,et al.  Computational Complexity and Anytime Algorithm for Inconsistency Measurement , 2010, Int. J. Softw. Informatics.

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

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

[8]  Arnon Avron,et al.  The Value of the Four Values , 1998, Artif. Intell..

[9]  Guilin Qi,et al.  Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers , 2010, KR.

[10]  Paolo Liberatore,et al.  Redundancy in logic I: CNF propositional formulae , 2002, Artif. Intell..

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

[12]  Anthony Hunter,et al.  Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information , 1995, ECSQARU.

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

[14]  Jacobo Torán,et al.  Computing Functions with Parallel Queries to NP , 1995, Theor. Comput. Sci..

[15]  John Grant,et al.  Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution , 2011, ECSQARU.

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

[17]  Weiru Liu,et al.  Measuring the blame of each formula for inconsistent prioritized knowledge bases , 2012, J. Log. Comput..

[18]  Guilin Qi,et al.  Computing inconsistency measure based on paraconsistent semantics , 2011, J. Log. Comput..

[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]  Anthony Hunter,et al.  Measuring inconsistency in knowledge via quasi-classical models , 2002, AAAI/IAAI.

[23]  Wolfgang Küchlin,et al.  Formal methods for the validation of automotive product configuration data , 2003, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

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