Package | Description |
---|---|
net.sf.tweety.commons.analysis | |
net.sf.tweety.logics.commons.analysis | |
net.sf.tweety.logics.pl.analysis |
Modifier and Type | Class and Description |
---|---|
class |
DrasticDistance<T extends Interpretation,S extends Formula>
This class models the drastic distance measure between interpretations,
see [Grant, Hunter.
|
Modifier and Type | Field and Description |
---|---|
private InterpretationDistance<T,S> |
DSumInconsistencyMeasure.distance
The distance used by this measure.
|
private InterpretationDistance<T,S> |
DMaxInconsistencyMeasure.distance
The distance used by this measure.
|
private InterpretationDistance<T,S> |
DHitInconsistencyMeasure.distance
The distance used by this measure.
|
Constructor and Description |
---|
DHitInconsistencyMeasure(InterpretationDistance<T,S> distance,
InterpretationIterator<T> it)
Creates a new d-sum inconsistency measure using the given distance and interpretations
provided from the given interpretation iterator.
|
DMaxInconsistencyMeasure(InterpretationDistance<T,S> distance,
InterpretationIterator<T> it)
Creates a new d-max inconsistency measure using the given distance and interpretations
provided from the given interpretation iterator.
|
DSumInconsistencyMeasure(InterpretationDistance<T,S> distance,
InterpretationIterator<T> it)
Creates a new d-sum inconsistency measure using the given distance and interpretations
provided from the given interpretation iterator.
|
Modifier and Type | Class and Description |
---|---|
class |
DalalDistance
This class models the dalal distance measure between possible worlds,
see e.g.
|
class |
PossibleWorldDistance
This class refines interpretation distances to distance on possible worlds.
|