@inproceedings{00c56f91c9fd41229aa7554a27dac581,
title = "Knowledge base compilation for inconsistency measures",
abstract = "Measuring conflicts is recognized as an important issue for handling inconsistencies. Indeed, an inconsistency measure can be employed to support the knowledge engineer in building a consistent knowledge base or repairing an inconsistent one. Good measures are supposed to satisfy a set of rational properties. However, defining sound properties is sometimes problematic. In (Jabbour et al., 2014c), the authors proposed a new prime implicates based approach to identify the variables involved in the contradiction, and a refinement of the notion of minimal inconsistent subsets (MUSes) in propositional knowledge bases. In this article, we establish a bridge between the conflicting variables in knowledge bases and the three valued semantics by compiling each formula of the base into its prime implicates. We then extend hitting sets for MUSes to hitting sets of the set of deduced MUSes (DMUSes) based on prime implicates representation. This leads to an interesting family of inconsistency metrics.",
keywords = "Compilation, Conflicting variables, Inconsistency measure, Knowledge representation, Prime implicates",
author = "Said Jabbour and Badran Raddaoui and Lakhdar Sais",
note = "Publisher Copyright: Copyright {\textcopyright} 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.; 8th International Conference on Agents and Artificial Intelligence, ICAART 2016 ; Conference date: 24-02-2016 Through 26-02-2016",
year = "2016",
month = jan,
day = "1",
doi = "10.5220/0005824305320539",
language = "English",
series = "ICAART 2016 - Proceedings of the 8th International Conference on Agents and Artificial Intelligence",
publisher = "SciTePress",
pages = "532--539",
editor = "\{van den Herik\}, Jaap and Joaquim Filipe and Joaquim Filipe",
booktitle = "ICAART 2016 - Proceedings of the 8th International Conference on Agents and Artificial Intelligence",
}