Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets
Guohui Xiao, Yue Ma · Frontiers in artificial intelligence and applications · 2012
Measuring inconsistency degrees of knowledge bases (KBs) provides important context information for facilitating inconsistency handling. Several semantic and syntax based measures have been proposed separately.