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

Classifying Inconsistency Measures Using Graphs

Hunter, A; De Bona, G; Grant, J; Konieczny, S; (2019) Classifying Inconsistency Measures Using Graphs. Journal of Artificial Intelligence Research , 66 10.1613/jair.1.11852. Green open access

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

Download (463kB) | Preview

Abstract

The aim of measuring inconsistency is to obtain an evaluation of the imperfections in a set of formulas, and this evaluation may then be used to help decide on some course of action (such as rejecting some of the formulas, resolving the inconsistency, seeking better sources of information, etc). A number of proposals have been made to define measures of inconsistency. Each has its rationale. But to date, it is not clear how to delineate the space of options for measures, nor is it clear how we can classify measures systematically. To address these problems, we introduce a general framework for comparing syntactic measures of inconsistency. It is based on the notion of an inconsistency graph for each knowledgebase (a bipartite graph with a set of vertices representing formulas in the knowledgebase, a set of vertices representing minimal inconsistent subsets of the knowledgebase, and edges representing that a formula belongs to a minimal inconsistent subset). We then show that various measures can be computed using the inconsistency graph. Then we introduce abstractions of the inconsistency graph and use them to construct a hierarchy of syntactic inconsistency measures. Furthermore, we extend the inconsistency graph concept with a labeling that extends the hierarchy to include some other types of inconsistency measures.

Type: Article
Title: Classifying Inconsistency Measures Using Graphs
Open access status: An open access version is available from UCL Discovery
DOI: 10.1613/jair.1.11852
Publisher version: https://doi.org/10.1613/jair.1.11852
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.
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/10086100
Downloads since deposit
44Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item