Package org.tweetyproject.logics.pl.analysis

Class PossibleWorldDistance

java.lang.Object

org.tweetyproject.logics.pl.analysis.PossibleWorldDistance

All Implemented Interfaces:

InterpretationDistance<PossibleWorld,PlBeliefSet,PlFormula>

Direct Known Subclasses:

DalalDistance

public abstract class PossibleWorldDistance
extends 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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PossibleWorldDistance

public PossibleWorldDistance()

Method Details

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 interface InterpretationDistance<PossibleWorld,PlBeliefSet,PlFormula>

Parameters:

a - some interpretation

b - 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 interface InterpretationDistance<PossibleWorld,PlBeliefSet,PlFormula>

Parameters:

f - some formula

b - some interpretation.

Returns:

the distance between the set of models of the formula to the given interpretation.