@inproceedings{92f63ddcd6ad4bd0b6ae64cfa9cbfc9e,
title = "Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases",
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.",
author = "Badran Raddaoui and Christian Stra{\ss}er and Said Jabbour",
note = "Publisher Copyright: {\textcopyright} 2024 International Joint Conferences on Artificial Intelligence. All rights reserved.; 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 ; Conference date: 03-08-2024 Through 09-08-2024",
year = "2024",
month = jan,
day = "1",
language = "English",
series = "IJCAI International Joint Conference on Artificial Intelligence",
publisher = "International Joint Conferences on Artificial Intelligence",
pages = "3541--3548",
editor = "Kate Larson",
booktitle = "Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024",
}