Class NormalizedMiInconsistencyMeasure<S extends net.sf.tweety.commons.Formula>

  • Type Parameters:
    S - the type of formulas
    All Implemented Interfaces:
    net.sf.tweety.commons.postulates.PostulateEvaluatable<S>, InconsistencyMeasure<net.sf.tweety.commons.BeliefSet<S,​?>>

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

      • NormalizedMiInconsistencyMeasure

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