Abstract : Measuring inconsistency is recognized as an important issue for handling inconsistencies. Based on prime implicates canonical representation, we first characterize the conflicting variables allowing us to refine an existing inconsistency measure. Secondly, we propose a new measure, to circumscribe the internal conflicts in a knowledge base. This measure is proved to satisfy a new but weaker form of dominance.
https://hal.archives-ouvertes.fr/hal-01139219
Contributeur : Yue Ma
<>
Soumis le : vendredi 3 avril 2015 - 15:54:03
Dernière modification le : jeudi 11 janvier 2018 - 06:22:37
Said Jabbour, Yue Ma, Raddaoui Badran. Prime Implicates Based Inconsistency Characterization. European Conference on Artificial Intelligence (ECAI'14), Aug 2014, Prague, Czech Republic. ⟨hal-01139219⟩
