Germane Conflicts: Desirable Properties for Localising Inconsistency
Glauber de Bona, Anthony Hunter
Abstract
Inconsistency is a common problem in knowledge, and so there is a need to analyse it. Inconsistency measures assess its severity, but there is a more basic question: "where is the inconsistency?". Typically, not all subsets of a knowledgebase are causing the inconsistency, and minimal inconsistent sets have been the standard way to localise the germane ones, even though there are shortcomings in some scenarios. Recently, ⋆-conflicts were proposed as a more suitable definition to localise inconsistency when considering a method to repair it. But in general there is no way to tell what is a sensible definition to capture the germane conflicts. This work provides a set of desirable properties to assess definitions for germane conflicts. Also, a new conflict definition, based on substitution, is presented and evaluated via the proposed properties, and the related computational complexity is analysed.
BibTeX
@article{de Bona_Hunter_2025, title={Germane Conflicts: Desirable Properties for Localising Inconsistency}, volume={39}, url={https://ojs.aaai.org/index.php/AAAI/article/view/33627}, DOI={10.1609/aaai.v39i14.33627}, abstractNote={Inconsistency is a common problem in knowledge, and so there is a need to analyse it. Inconsistency measures assess its severity, but there is a more basic question: "where is the inconsistency?". Typically, not all subsets of a knowledgebase are causing the inconsistency, and minimal inconsistent sets have been the standard way to localise the germane ones, even though there are shortcomings in some scenarios. Recently, ⋆-conflicts were proposed as a more suitable definition to localise inconsistency when considering a method to repair it. But in general there is no way to tell what is a sensible definition to capture the germane conflicts. This work provides a set of desirable properties to assess definitions for germane conflicts. Also, a new conflict definition, based on substitution, is presented and evaluated via the proposed properties, and the related computational complexity is analysed.}, number={14}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={de Bona, Glauber and Hunter, Anthony}, year={2025}, month={Apr.}, pages={14840-14847} }