S
- The specific type of formulaspublic class DfInconsistencyMeasure<S extends Formula> extends BeliefSetInconsistencyMeasure<S>
Modifier and Type | Field and Description |
---|---|
private MusEnumerator<S> |
enumerator
The MUs enumerator.
|
private SimpleFunction<double[],java.lang.Double> |
measureFunction
The measure function used to aggregate the normalized cardinalities of minimal
inconsistent subsets.
|
MEASURE_TOLERANCE
Constructor and Description |
---|
DfInconsistencyMeasure(SimpleFunction<double[],java.lang.Double> measureFunction,
MusEnumerator<S> enumerator)
Creates a new inconsistency measure.
|
Modifier and Type | Method and Description |
---|---|
private double[] |
getConsistentSetCounts(java.util.Collection<S> inFormulas,
java.util.Collection<S> restFormulas,
java.util.Collection<java.util.Collection<S>> mus,
int card)
Computes the numbers of consistent subsets for cardinalities |inFormulas|...|inFormulas|+|restFormulas|
(the knowledge base considered is inFormulas\cup restFormulas and the formulas in inFormulas have to be part
of every considered subset).
|
java.lang.Double |
inconsistencyMeasure(java.util.Collection<S> formulas)
This method measures the inconsistency of the given set of formulas.
|
java.lang.String |
toString() |
inconsistencyMeasure
private MusEnumerator<S extends Formula> enumerator
private SimpleFunction<double[],java.lang.Double> measureFunction
public DfInconsistencyMeasure(SimpleFunction<double[],java.lang.Double> measureFunction, MusEnumerator<S> enumerator)
measureFunction
- the measure function used to aggregate the normalized cardinalities of minimal
inconsistent subsets.enumerator
- some MUs enumeratorpublic java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<S extends Formula>
formulas
- a collection of formulas.private double[] getConsistentSetCounts(java.util.Collection<S> inFormulas, java.util.Collection<S> restFormulas, java.util.Collection<java.util.Collection<S>> mus, int card)
inFormulas
- a set of formulas that are in.restFormulas
- the remaining formulasmus
- the set of muscard
- the cardinality of the whole knowledge base.public java.lang.String toString()
toString
in class java.lang.Object