Package net.sf.tweety.logics.pl.analysis
Class PossibleWorldDistance
- java.lang.Object
-
- net.sf.tweety.logics.pl.analysis.PossibleWorldDistance
-
- All Implemented Interfaces:
net.sf.tweety.commons.analysis.InterpretationDistance<PossibleWorld,PlBeliefSet,PlFormula>
- Direct Known Subclasses:
DalalDistance
public abstract class PossibleWorldDistance extends Object implements net.sf.tweety.commons.analysis.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 Detail
-
distance
public abstract double distance(PossibleWorld a, PossibleWorld b)
- Specified by:
distancein interfacenet.sf.tweety.commons.analysis.InterpretationDistance<PossibleWorld,PlBeliefSet,PlFormula>
-
distance
public double distance(PlFormula f, PossibleWorld b)
- Specified by:
distancein interfacenet.sf.tweety.commons.analysis.InterpretationDistance<PossibleWorld,PlBeliefSet,PlFormula>
-
-