Class NormalizedMicInconsistencyMeasure<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 NormalizedMicInconsistencyMeasure<S extends net.sf.tweety.commons.Formula>
    extends MicInconsistencyMeasure<S>
    This class models the normalized MI^C inconsistency measure, see [PhD thesis, Thimm].
    Author:
    Matthias Thimm
    • Constructor Detail

      • NormalizedMicInconsistencyMeasure

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