UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Localising iceberg inconsistencies

De Bona, G; Hunter, A; (2017) Localising iceberg inconsistencies. Artificial Intelligence , 246 pp. 118-151. 10.1016/j.artint.2017.02.005. Green open access

[thumbnail of aij17.pdf]
Preview
Text
aij17.pdf - Accepted Version

Download (494kB) | Preview

Abstract

In artificial intelligence, it is important to handle and analyse inconsistency in knowledge bases. Inconsistent pieces of information suggest questions like “where is the inconsistency?” and “how severe is it?”. Inconsistency measures have been proposed to tackle the latter issue, but the former seems underdeveloped and is the focus of this paper. Minimal inconsistent sets have been the main tool to localise inconsistency, but we argue that they are like the exposed part of an iceberg, failing to capture contradictions hidden under the water. Using classical propositional logic, we develop methods to characterise when a formula is contributing to the inconsistency in a knowledge base and when a set of formulas can be regarded as a primitive conflict. To achieve this, we employ an abstract consequence operation to “look beneath the water level”, generalising the minimal inconsistent set concept and the related free formula notion. We apply the framework presented to the problem of measuring inconsistency in knowledge bases, putting forward relaxed forms for two debatable postulates for inconsistency measures. Finally, we discuss the computational complexity issues related to the introduced concepts.

Type: Article
Title: Localising iceberg inconsistencies
Open access status: An open access version is available from UCL Discovery
DOI: 10.1016/j.artint.2017.02.005
Publisher version: http://dx.doi.org/10.1016/j.artint.2017.02.005
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
Keywords: Propositional logic; Inconsistency management; Inconsistency analysis; Inconsistency localisation
UCL classification: UCL
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/1549754
Downloads since deposit
171Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item