On the Expressivity of Inconsistency Measures (Extended Abstract)
Abstract
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.
Cite
Text
Thimm. "On the Expressivity of Inconsistency Measures (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/724Markdown
[Thimm. "On the Expressivity of Inconsistency Measures (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/thimm2017ijcai-expressivity/) doi:10.24963/IJCAI.2017/724BibTeX
@inproceedings{thimm2017ijcai-expressivity,
title = {{On the Expressivity of Inconsistency Measures (Extended Abstract)}},
author = {Thimm, Matthias},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {5070-5074},
doi = {10.24963/IJCAI.2017/724},
url = {https://mlanthology.org/ijcai/2017/thimm2017ijcai-expressivity/}
}