net.sf.tweety.logics.pl.analysis

Class PossibleWorldDistance

java.lang.Object

net.sf.tweety.logics.pl.analysis.PossibleWorldDistance

All Implemented Interfaces:

InterpretationDistance<PossibleWorld,PropositionalFormula>

Direct Known Subclasses:

DalalDistance

public abstract class PossibleWorldDistance
extends java.lang.Object
implements InterpretationDistance<PossibleWorld,PropositionalFormula>

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 and Description
PossibleWorldDistance()

Method Summary

Modifier and Type	Method and Description
abstract double	distance(PossibleWorld a, PossibleWorld b) Measures the distance between the two given interpretations.
double	distance(PropositionalFormula 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

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

Constructor Detail

PossibleWorldDistance

public PossibleWorldDistance()

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

Parameters:

a - some interpretation

b - some interpretation

Returns:

the distance between the two given interpretations.

distance

public double distance(PropositionalFormula 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,PropositionalFormula>

Parameters:

f - some formula

b - some interpretation.

Returns:

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