Package org.tweetyproject.commons.analysis

Interface InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>

Type Parameters:

T - The actual type of interpretation used

B - the type of belief bases

S - the type of formulas

All Known Implementing Classes:

DalalDistance, DrasticDistance, PossibleWorldDistance

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

Classes implementing this interface represent distance functions between two interpretations.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method	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 Details

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.