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