Class BeliefSetInconsistencyMeasure<S extends Formula>
- java.lang.Object
-
- net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
-
- Type Parameters:
S- The type of formulas this measure supports.
- All Implemented Interfaces:
PostulateEvaluatable<S>,InconsistencyMeasure<BeliefSet<S,?>>
- Direct Known Subclasses:
CcInconsistencyMeasure,ContensionInconsistencyMeasure,CspInconsistencyMeasure,DfInconsistencyMeasure,DHitInconsistencyMeasure,DistanceMinimizationInconsistencyMeasure,DMaxInconsistencyMeasure,DrasticInconsistencyMeasure,DSumInconsistencyMeasure,EtaInconsistencyMeasure,FbInconsistencyMeasure,FuzzyInconsistencyMeasure,HsInconsistencyMeasure,IcebergInconsistencyMeasure,IsInconsistencyMeasure,LowerApproxDistanceMinimizationInconsistencyMeasure,MaInconsistencyMeasure,McscInconsistencyMeasure,MicInconsistencyMeasure,MiInconsistencyMeasure,MinimalViolation2InconsistencyMeasure,MinimalViolationInconsistencyMeasure,MusVarInconsistencyMeasure,NConsInconsistencyMeasure,PmInconsistencyMeasure,PrInconsistencyMeasure,StreamBasedInconsistencyMeasure,UpperApproxDistanceMinimizationInconsistencyMeasure
public abstract class BeliefSetInconsistencyMeasure<S extends Formula> extends java.lang.Object implements InconsistencyMeasure<BeliefSet<S,?>>, PostulateEvaluatable<S>
Classes extending this abstract class represent inconsistency measures on belief sets.- Author:
- Matthias Thimm
-
-
Field Summary
-
Fields inherited from interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE
-
-
Constructor Summary
Constructors Constructor Description BeliefSetInconsistencyMeasure()
-
Method Summary
Modifier and Type Method Description abstract java.lang.DoubleinconsistencyMeasure(java.util.Collection<S> formulas)This method measures the inconsistency of the given set of formulas.java.lang.DoubleinconsistencyMeasure(BeliefSet<S,?> beliefBase)This method measures the inconsistency of the given belief base.
-
-
-
Method Detail
-
inconsistencyMeasure
public java.lang.Double inconsistencyMeasure(BeliefSet<S,?> beliefBase)
Description copied from interface:InconsistencyMeasureThis method measures the inconsistency of the given belief base.- Specified by:
inconsistencyMeasurein interfaceInconsistencyMeasure<S extends Formula>- Parameters:
beliefBase- a belief base.- Returns:
- a Double indicating the degree of inconsistency.
-
inconsistencyMeasure
public abstract java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)
This method measures the inconsistency of the given set of formulas.- Parameters:
formulas- a collection of formulas.- Returns:
- a Double indicating the degree of inconsistency.
-
-