Classifying Inconsistency Measures Using Graphs - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Article Dans Une Revue Journal of Artificial Intelligence Research Année : 2019

Classifying Inconsistency Measures Using Graphs

Glauber de Bona
  • Fonction : Auteur
  • PersonId : 1085713
John Grant
  • Fonction : Auteur
  • PersonId : 1085714

Résumé

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.
Fichier principal
Vignette du fichier
11852-Article (PDF)-22615-1-10-20191216.pdf (487.12 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03060343 , version 1 (13-12-2020)

Identifiants

Citer

Glauber de Bona, John Grant, Anthony Hunter, Sébastien Konieczny. Classifying Inconsistency Measures Using Graphs. Journal of Artificial Intelligence Research, 2019, 66, pp.937-987. ⟨10.1613/jair.1.11852⟩. ⟨hal-03060343⟩
16 Consultations
55 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More