Measuring inconsistency in knowledgebases

Authors: Grant, John¹; Hunter, Anthony²

Source: Journal of Intelligent Information Systems, Volume 27, Number 2, September 2006 , pp. 159-184(26)

Publisher: Springer

Buy & download fulltext article:

Price: $47.00 plus tax (Refund Policy)

Abstract:

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.

Keywords: Inconsistency; Conflict resolution; Integrity constraints; Paraconsistent logic

Document Type: Research article

DOI: http://dx.doi.org/10.1007/s10844-006-2974-4

Affiliations: 1: Email: jgrant@towson.edu 2: Email: a.hunter@cs.ucl.ac.uk

Publication date: 2006-09-01