UCL logo

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.

[img] Text
aij17.pdf - ["content_typename_Accepted version" not defined]
Access restricted to UCL open access staff until 29 February 2018.

Download (494kB)

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
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 > School of BEAMS
UCL > School of BEAMS > Faculty of Engineering Science
URI: http://discovery.ucl.ac.uk/id/eprint/1549754
Downloads since deposit
1Download
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item