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.