Measuring inconsistency in knowledgebases

It is well-known that knowledgebases may contain inconsistencies. We provide a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the inconsistency of various knowledgebases, represented as first-order logic formulas. We use quasi-classical (QC) logic for this purpose. QC logic is a formalism for reasoning and analysing inconsistent information. It has been used as the basis of a framework for measuring inconsistency in propositional theories. Here we extend this framework, by using a first-order logic version of QC logic for measuring inconsistency in first-order theories. We motivate the QC logic approach by considering some formulae as database or knowledgebase integrity constraints. We then define a measure of extrinsic inconsistency that can be used to compare the inconsistency of different knowledgebases. This measure takes into account both the language used and the underlying domain. We show why this definition also captures the intrinsic inconsistency of a knowledgebase. We also provide a formalization of paraconsistent equality, called quasi-equality, and we use this in an extended example of an application for measuring inconsistency between heterogeneous sources of information and integrity constraints prior to merging.

[1]  Jan Chomicki,et al.  Query Answering in Inconsistent Databases , 2003, Logics for Emerging Applications of Databases.

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

[3]  H. Prade,et al.  Possibilistic logic , 1994 .

[4]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

[5]  Graham Priest,et al.  Reasoning About Truth , 1989, Artif. Intell..

[6]  Anthony Hunter.  A Semantic Tableau Version of First-Order Quasi-Classical Logic , 2001, ECSQARU.

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

[8]  Anthony Hunter,et al.  Reasoning with inconsistency in structured text , 2000, The Knowledge Engineering Review.

[9]  Eerke A. Boiten,et al.  Handling Inconsistencies in Z Using Quasi-Classical Logic , 2002, ZB.

[10]  Alon Y. Halevy,et al.  Answering queries using views: A survey , 2001, The VLDB Journal.

[11]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

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

[13]  Gunter Saake,et al.  Logics for Emerging Applications of Databases , 2003, Springer Berlin Heidelberg.

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

[15]  Pierre Marquis,et al.  Computational Aspects of Quasi-Classical Entailment , 2001, J. Appl. Non Class. Logics.

[16]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[17]  B. H. Slater,et al.  Paraconsistent logics? , 1995, J. Philos. Log..

[18]  W. Carnielli,et al.  A Taxonomy of C-systems , 2001 .

[19]  Sébastien Konieczny,et al.  On the Logic of Merging , 1998, KR.

[20]  Anthony Hunter,et al.  Reasoning with contradictory information using quasi-classical logic , 2000, J. Log. Comput..

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

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

[23]  Raymond Reiter,et al.  Equality and Domain Closure in First-Order Databases , 1980, JACM.

[24]  V. S. Subrahmanian,et al.  Applications Of Paraconsistency In Data And Knowledge Bases , 2004, Synthese.

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

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

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

[28]  Itala M. Loffredo D'Ottaviano,et al.  Paraconsistency: The Logical Way to the Inconsistent , 2002 .