Class PrInconsistencyMeasure<S extends Formula>
- java.lang.Object
-
- org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
-
- org.tweetyproject.logics.commons.analysis.PrInconsistencyMeasure<S>
-
- Type Parameters:
S- the type of formulas
- All Implemented Interfaces:
PostulateEvaluatable<S>,InconsistencyMeasure<BeliefSet<S,?>>
public class PrInconsistencyMeasure<S extends Formula> extends BeliefSetInconsistencyMeasure<S>
This class models the P inconsistency measure from e.g. [Grant,Hunter,2011a]. It takes as inconsistency value the number of formulas that are in some minimal inconsistency subset.- Author:
- Matthias Thimm
-
-
Field Summary
-
Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
-
Constructor Summary
Constructors Constructor Description PrInconsistencyMeasure(MusEnumerator<S> enumerator)Creates a new drastic inconsistency measure.
-
Method Summary
Modifier and Type Method Description java.lang.DoubleinconsistencyMeasure(java.util.Collection<S> formulas)This method measures the inconsistency of the given set of formulas.-
Methods inherited from class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure
inconsistencyMeasure
-
-
-
-
Constructor Detail
-
PrInconsistencyMeasure
public PrInconsistencyMeasure(MusEnumerator<S> enumerator)
Creates a new drastic inconsistency measure.- Parameters:
enumerator- some MUs enumerator
-
-
Method Detail
-
inconsistencyMeasure
public java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)
Description copied from class:BeliefSetInconsistencyMeasureThis method measures the inconsistency of the given set of formulas.- Specified by:
inconsistencyMeasurein classBeliefSetInconsistencyMeasure<S extends Formula>- Parameters:
formulas- a collection of formulas.- Returns:
- a Double indicating the degree of inconsistency.
-
-