S
- The type of formulas supportedpublic class DMaxInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> extends BeliefSetInconsistencyMeasure<S>
Modifier and Type | Field and Description |
---|---|
private InterpretationDistance<T,B,S> |
distance
The distance used by this measure.
|
private InterpretationIterator<S,B,T> |
it
For iterating over interpretations.
|
MEASURE_TOLERANCE
Constructor and Description |
---|
DMaxInconsistencyMeasure(InterpretationDistance<T,B,S> distance,
InterpretationIterator<S,B,T> it)
Creates a new d-max inconsistency measure using the given distance and interpretations
provided from the given interpretation iterator.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Double |
inconsistencyMeasure(java.util.Collection<S> formulas)
This method measures the inconsistency of the given set of formulas.
|
inconsistencyMeasure
private InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> distance
private InterpretationIterator<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>> it
public DMaxInconsistencyMeasure(InterpretationDistance<T,B,S> distance, InterpretationIterator<S,B,T> it)
distance
- some distance measureit
- some interpretation iteratorpublic java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<S extends Formula>
formulas
- a collection of formulas.