Class NormalizedMiInconsistencyMeasure<S extends Formula>

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

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

    • NormalizedMiInconsistencyMeasure

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