Class NormalizedMicInconsistencyMeasure<S extends Formula>

Type Parameters:
S - the type of formulas
All Implemented Interfaces:
PostulateEvaluatable<S>, InconsistencyMeasure<BeliefSet<S,?>>

public class NormalizedMicInconsistencyMeasure<S extends Formula> extends MicInconsistencyMeasure<S>
This class models the normalized MI^C inconsistency measure, see [PhD thesis, Thimm].
Author:
Matthias Thimm
  • Constructor Details

    • NormalizedMicInconsistencyMeasure

      public NormalizedMicInconsistencyMeasure(MusEnumerator<S> enumerator)
      Creates a new inconsistency measure with the given consistency tester
      Parameters:
      enumerator - some MUs enumerator
  • Method Details