Interface InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>
- Type Parameters:
T
- The actual type of interpretation usedB
- the type of belief basesS
- the type of formulas
- All Known Implementing Classes:
DalalDistance
,DrasticDistance
,PossibleWorldDistance
public interface InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>
Classes implementing this interface represent distance functions
between two interpretations.
- Author:
- Matthias Thimm
-
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.
-
Method Details
-
distance
Measures the distance between the two given interpretations.- Parameters:
a
- some interpretationb
- some interpretation- Returns:
- the distance between the two given interpretations.
-
distance
Measures the distance between a formula and some interpretation by taking the minimal distance from all models of the formula to the given interpretation.- Parameters:
f
- some formulab
- some interpretation.- Returns:
- the distance between the set of models of the formula to the given interpretation.
-