PossibleWorldDistance

java.lang.Object
- org.tweetyproject.logics.pl.analysis.PossibleWorldDistance

All Implemented Interfaces:

InterpretationDistance<PossibleWorld,PlBeliefSet,PlFormula>

Direct Known Subclasses:

DalalDistance
```
public abstract class PossibleWorldDistance
extends java.lang.Object
implements InterpretationDistance<PossibleWorld,PlBeliefSet,PlFormula>
```
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 Description

PossibleWorldDistance()

Method Summary

Modifier and Type	Method	Description
`abstract double`	`distance(PossibleWorld a, PossibleWorld b)`	Measures the distance between the two given interpretations.
`double`	`distance(PlFormula 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
equals, 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,PlBeliefSet,PlFormula>
    
    Parameters:
    
    a - some interpretation
    
    b - some interpretation
    
    Returns:
    
    the distance between the two given interpretations.
  - distance
```
public double distance(PlFormula 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,PlBeliefSet,PlFormula>
    
    Parameters:
    
    f - some formula
    
    b - some interpretation.
    
    Returns:
    
    the distance between the set of models of the formula to the given interpretation.