Title
Prime Implicates Based Inconsistency Characterization.
Abstract
Measuring inconsistency is recognized as an important issue for handling inconsistencies [5, 6]. 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.
Year
DOI
Venue
2014
10.3233/978-1-61499-419-0-1037
Frontiers in Artificial Intelligence and Applications
Field
DocType
Volume
Prime (order theory),Computer science,Algorithm,Internal conflict,Canonical form,Theoretical computer science,Artificial intelligence,Knowledge base,Machine learning
Conference
263
ISSN
Citations 
PageRank 
0922-6389
8
0.59
References 
Authors
4
4
Name
Order
Citations
PageRank
Saïd Jabbour117512.44
Yue Ma2434.34
Badran Raddaoui39315.31
Lakhdar Sais485965.57