On the measure of conflicts: Shapley Inconsistency Values

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...

• Type: Journal
• Year: 2010
• Where: AI
• Authors: Anthony Hunter, Sébastien Konieczny
• Keywords: AI 2010, Artificial Intelligence, Belief Base, Inconsistency, Inconsistency Measure