net.sf.tweety.commons.analysis

Interface InterpretationDistance<T extends Interpretation,S extends Formula>

Type Parameters:

T - The actual type of interpretation used

All Known Implementing Classes:

DalalDistance, DrasticDistance, PossibleWorldDistance

public interface InterpretationDistance<T extends Interpretation,S extends Formula>

Classes implementing this interface represent distance functions between two interpretations.

Author:

Matthias Thimm

Method Summary

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

Method Detail

distance

double distance(T a,
                T b)

Measures the distance between the two given interpretations.

Parameters:

a - some interpretation

b - some interpretation

Returns:

the distance between the two given interpretations.

distance

double distance(S f,
                T 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.

Parameters:

f - some formula

b - some interpretation.

Returns:

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