Prime Implicates Based Inconsistency Characterization
Résumé
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.