UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

On the measure of conflicts: Shapley Inconsistency Values

Hunter, A; Konieczny, S; (2010) On the measure of conflicts: Shapley Inconsistency Values. ARTIF INTELL , 174 (14) 1007 - 1026. 10.1016/j.artint.2010.06.001.

Full text not available from this repository.

Abstract

There are relatively few proposals for inconsistency measures for propositional belief bases. However inconsistency measures are potentially as important as information measures for artificial intelligence, and more generally for computer science. In particular, they can be useful to define various operators for belief revision, belief merging, and negotiation. The measures that have been proposed so far can be split into two classes. The first class of measures takes into account the number of formulae required to produce an inconsistency: the more formulae required to produce an inconsistency, the less inconsistent the base. The second class takes into account the proportion of the language that is affected by the inconsistency: the more propositional variables affected, the more inconsistent the base. Both approaches are sensible, but there is no proposal for combining them. We address this need in this paper: our proposal takes into account both the number of variables affected by the inconsistency and the distribution of the inconsistency among the formulae of the base. Our idea is to use existing inconsistency measures in order to define a game in coalitional form, and then to use the Shapley value to obtain an inconsistency measure that indicates the responsibility/contribution of each formula to the overall inconsistency in the base. This allows us to provide a more reliable image of the belief base and of the inconsistency in it. (C) 2010 Elsevier B.V. All rights reserved.

Type:Article
Title:On the measure of conflicts: Shapley Inconsistency Values
DOI:10.1016/j.artint.2010.06.001
Keywords:Inconsistency management, Inconsistency tolerance, Inconsistency measures, Conflict resolution, Paraconsistency, Shapley values, ITERATED BELIEF REVISION, CONTRACTION, LOGIC
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record