Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases
Badran Raddaoui, Christian Straßer, Said Jabbour
Abstract
Logical conflicts are likely to arise in logic-based intelligent systems. Managing these conflicts has been intensely studied in various parts of Artificial Intelligence (AI). So far, the AI research community has paid more attention to measuring the degree of inconsistency of knowledge bases. The key question we address in the present paper is how much a given formula contributes to the inconsistency of a knowledge base. Different such measures are studied and compared in a principle-based way against the backdrop of a list of desiderata. Two families of inconsistency measures are introduced and compared with measures from the literature: one is based on the notion of problematic formulas, while the other one is defined via the notion of free formulas in knowledge bases.
BibTeX
@inproceedings{ijcai2024p392,
title = {Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases},
author = {Raddaoui, Badran and Straßer, Christian and Jabbour, Said},
booktitle = {Proceedings of the Thirty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-24}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Kate Larson},
pages = {3541--3548},
year = {2024},
month = {8},
note = {Main Track},
doi = {10.24963/ijcai.2024/392},
url = {https://doi.org/10.24963/ijcai.2024/392},
}