Class MaInconsistencyMeasure<S extends Formula>

java.lang.Object
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
org.tweetyproject.logics.commons.analysis.MaInconsistencyMeasure<S>
Type Parameters:
S - the type of formulas
All Implemented Interfaces:
PostulateEvaluatable<S>, InconsistencyMeasure<BeliefSet<S,?>>

public class MaInconsistencyMeasure<S extends Formula> extends BeliefSetInconsistencyMeasure<S>
This class models the I_M inconsistency measure from e.g. [Grant,Hunter,2011a]. It takes as inconsistency value the number of maximal consistent subsets plus the number of formulas that are self-contradicting minus 1.
Author:
Matthias Thimm
  • Constructor Details

    • MaInconsistencyMeasure

      public MaInconsistencyMeasure(MusEnumerator<S> enumerator)
      Creates a new inconsistency measure.
      Parameters:
      enumerator - some MUs enumerator
  • Method Details