- All Implemented Interfaces:
- InconsistencyMeasure<BeliefSet<PropositionalFormula>>
public class MusVarInconsistencyMeasure
extends BeliefSetInconsistencyMeasure<PropositionalFormula>
This class implements the "MUS-variable based inconsistency measure" proposed in
[Xiao,Ma. Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets. ECAI2012.]
This inconsistency measure is defined as the ratio of the number of propositions appearing in
any minimal inconsistent subsets and the total number of propositions.
- Author:
- Matthias Thimm