Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases
Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases
Badran Raddaoui, Christian Straßer, Said Jabbour
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence
Main Track. Pages 3541-3548.
https://doi.org/10.24963/ijcai.2024/392
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.
Keywords:
Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief
Knowledge Representation and Reasoning: KRR: Applications