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 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.