Class MiInconsistencyMeasure<S extends Formula>

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

public class MiInconsistencyMeasure<S extends Formula> extends BeliefSetInconsistencyMeasure<S>
This class models the MI inconsistency measure.
Author:
Matthias Thimm
  • Constructor Details

    • MiInconsistencyMeasure

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