Package net.sf.tweety.logics.pl.analysis
Class PossibleWorldDistance
- java.lang.Object
-
- net.sf.tweety.logics.pl.analysis.PossibleWorldDistance
-
- All Implemented Interfaces:
InterpretationDistance<PossibleWorld,PlBeliefSet,PlFormula>
- Direct Known Subclasses:
DalalDistance
public abstract class PossibleWorldDistance extends java.lang.Object implements InterpretationDistance<PossibleWorld,PlBeliefSet,PlFormula>
This class refines interpretation distances to distance on possible worlds. It add some functionalities to measure distance of formulas to possible worlds.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description PossibleWorldDistance()
-
Method Summary
Modifier and Type Method Description abstract double
distance(PossibleWorld a, PossibleWorld b)
Measures the distance between the two given interpretations.double
distance(PlFormula f, PossibleWorld b)
Measures the distance between a formula and some interpretation by taking the minimal distance from all models of the formula to the given interpretation.
-
-
-
Method Detail
-
distance
public abstract double distance(PossibleWorld a, PossibleWorld b)
Description copied from interface:InterpretationDistance
Measures the distance between the two given interpretations.- Specified by:
distance
in interfaceInterpretationDistance<PossibleWorld,PlBeliefSet,PlFormula>
- Parameters:
a
- some interpretationb
- some interpretation- Returns:
- the distance between the two given interpretations.
-
distance
public double distance(PlFormula f, PossibleWorld b)
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<PossibleWorld,PlBeliefSet,PlFormula>
- Parameters:
f
- some formulab
- some interpretation.- Returns:
- the distance between the set of models of the formula to the given interpretation.
-
-