Class MusVarInconsistencyMeasure

  • All Implemented Interfaces:
    PostulateEvaluatable<PlFormula>, InconsistencyMeasure<BeliefSet<PlFormula,​?>>

    public class MusVarInconsistencyMeasure
    extends BeliefSetInconsistencyMeasure<PlFormula>
    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
    • Constructor Detail

      • MusVarInconsistencyMeasure

        public MusVarInconsistencyMeasure()