Interface | Description |
---|---|
InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> |
Classes implementing this interface represent distance functions
between two interpretations.
|
Class | Description |
---|---|
DrasticDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> |
This class models the drastic distance measure between interpretations,
see [Grant, Hunter.
|