Class DrasticDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>
java.lang.Object
org.tweetyproject.commons.analysis.DrasticDistance<T,B,S>
- Type Parameters:
T
- The actual type of interpretationB
- the type of belief basesS
- the type of formulas
- All Implemented Interfaces:
InterpretationDistance<T,
B, S>
public class DrasticDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>
extends Object
implements InterpretationDistance<T,B,S>
This class models the drastic distance measure between interpretations,
see [Grant, Hunter. Distance-based Measures of Inconsistency, ECSQARU'13].
It returns 0 if the interpretations are equivalent and 1 otherwise.
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiondouble
Measures the distance between a formula and some interpretation by taking the minimal distance from all models of the formula to the given interpretation.double
Measures the distance between the two given interpretations.
-
Constructor Details
-
DrasticDistance
public DrasticDistance()Default Constructor
-
-
Method Details
-
distance
Description copied from interface:InterpretationDistance
Measures the distance between the two given interpretations.- Specified by:
distance
in interfaceInterpretationDistance<T extends Interpretation<B,
S>, B extends BeliefBase, S extends Formula> - Parameters:
a
- some interpretationb
- some interpretation- Returns:
- the distance between the two given interpretations.
-
distance
Description copied from interface:InterpretationDistance
Measures the distance between a formula and some interpretation by taking the minimal distance from all models of the formula to the given interpretation.- Specified by:
distance
in interfaceInterpretationDistance<T extends Interpretation<B,
S>, B extends BeliefBase, S extends Formula> - Parameters:
f
- some formulab
- some interpretation.- Returns:
- the distance between the set of models of the formula to the given interpretation.
-