Class NormalizedMicInconsistencyMeasure<S extends net.sf.tweety.commons.Formula>
- java.lang.Object
-
- net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
-
- net.sf.tweety.logics.commons.analysis.MicInconsistencyMeasure<S>
-
- net.sf.tweety.logics.commons.analysis.NormalizedMicInconsistencyMeasure<S>
-
- 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
-
-
Field Summary
-
Fields inherited from interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
-
Constructor Summary
Constructors Constructor Description NormalizedMicInconsistencyMeasure(MusEnumerator<S> enumerator)Creates a new inconsistency measure with the given consistency tester
-
Method Summary
Modifier and Type Method Description DoubleinconsistencyMeasure(Collection<S> beliefSet)This method measures the inconsistency of the given set of formulas.-
Methods inherited from class net.sf.tweety.logics.commons.analysis.MicInconsistencyMeasure
toString
-
Methods inherited from class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure
inconsistencyMeasure
-
-
-
-
Constructor Detail
-
NormalizedMicInconsistencyMeasure
public NormalizedMicInconsistencyMeasure(MusEnumerator<S> enumerator)
Creates a new inconsistency measure with the given consistency tester- Parameters:
enumerator- some MUs enumerator
-
-
Method Detail
-
inconsistencyMeasure
public Double inconsistencyMeasure(Collection<S> beliefSet)
Description copied from class:BeliefSetInconsistencyMeasureThis method measures the inconsistency of the given set of formulas.- Overrides:
inconsistencyMeasurein classMicInconsistencyMeasure<S extends net.sf.tweety.commons.Formula>- Parameters:
beliefSet- a collection of formulas.- Returns:
- a Double indicating the degree of inconsistency.
-
-