A Comparative Study of Ranking Formulas Based on Consistency
Abstract
Ranking is ubiquitous in everyday life. This paper is concerned with the problem of ranking information of a knowledge base when this latter is possibly inconsistent. In particular, the key issue is to elicit a plausibility order on the formulas in an inconsistent knowledge base. We show how such ordering can be obtained by using only the inherent structure of the knowledge base. We start by introducing a principled way a reasonable ranking framework for formulas should satisfy. Then, a variety of ordering criteria have been explored to define plausibility order over formulas based on consistency. Finally, we study the behaviour of the different formula ranking semantics in terms of the proposed logical postulates as well as their (in)-compatibility.
Cite
Text
Raddaoui et al. "A Comparative Study of Ranking Formulas Based on Consistency." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/371Markdown
[Raddaoui et al. "A Comparative Study of Ranking Formulas Based on Consistency." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/raddaoui2023ijcai-comparative/) doi:10.24963/IJCAI.2023/371BibTeX
@inproceedings{raddaoui2023ijcai-comparative,
title = {{A Comparative Study of Ranking Formulas Based on Consistency}},
author = {Raddaoui, Badran and Straßer, Christian and Jabbour, Saïd},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2023},
pages = {3330-3337},
doi = {10.24963/IJCAI.2023/371},
url = {https://mlanthology.org/ijcai/2023/raddaoui2023ijcai-comparative/}
}