On the Expressivity of Inconsistency Measures (Extended Abstract)

On the Expressivity of Inconsistency Measures (Extended Abstract)

Matthias Thimm

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Journal track. Pages 5070-5074. https://doi.org/10.24963/ijcai.2017/724

We survey recent approaches to inconsistency measurement in propositional logic and provide a comparative analysis in terms of their expressivity. For that, we introduce four different expressivity characteristics that quantitatively assess the number of different knowledge bases that a measure can distinguish. Our approach aims at complementing ongoing discussions on rationality postulates for inconsistency measures by considering expressivity as a desirable property. We evaluate a large selection of measures on the proposed characteristics and conclude that a distance-based measure from [Grant and Hunter, 2013] has maximal expressivity along all considered characteristics.
Keywords:
Knowledge Representation, Reasoning, and Logic: Non-classical logics for Knowledge Representation
Knowledge Representation, Reasoning, and Logic: Logics for Knowledge Representation