Class EtaInconsistencyMeasure<B extends BeliefBase,S extends Formula>
java.lang.Object
org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure<S>
org.tweetyproject.logics.commons.analysis.EtaInconsistencyMeasure<B,S>
- Type Parameters:
B- the type of belief basesS- The type of formula
- All Implemented Interfaces:
PostulateEvaluatable<S>,InconsistencyMeasure<BeliefSet<S,?>>
public class EtaInconsistencyMeasure<B extends BeliefBase,S extends Formula>
extends BeliefSetInconsistencyMeasure<S>
This class implements the Eta-inconsistency measure, cf. [Knight, 2002].
- Author:
- Matthias Thimm
-
Field Summary
Fields inherited from interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure
MEASURE_TOLERANCE -
Constructor Summary
ConstructorsConstructorDescriptionEtaInconsistencyMeasure(InterpretationIterator<S,B,? extends Interpretation<B,S>> it)Creates a new inconsistency measure that uses the interpretations given by the given iterator. -
Method Summary
Modifier and TypeMethodDescriptioninconsistencyMeasure(Collection<S> formulas)This method measures the inconsistency of the given set of formulas.toString()Methods inherited from class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure
inconsistencyMeasure
-
Constructor Details
-
EtaInconsistencyMeasure
Creates a new inconsistency measure that uses the interpretations given by the given iterator.- Parameters:
it- some interpretation iterator.
-
-
Method Details
-
inconsistencyMeasure
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.
-
toString
-