public class McscInconsistencyMeasure<S extends Formula> extends BeliefSetInconsistencyMeasure<S>
Modifier and Type | Field and Description |
---|---|
private MusEnumerator<S> |
enumerator
The MUs enumerator.
|
MEASURE_TOLERANCE
Constructor and Description |
---|
McscInconsistencyMeasure(MusEnumerator<S> enumerator)
Creates a new inconsistency measure.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Set<java.util.Set<java.util.Set<S>>> |
getMdAnticover(java.util.List<java.util.Set<S>> md,
int idx,
java.util.Set<java.util.Set<java.util.Set<S>>> candidates)
Recursively determines sets of minimal correction sets that have an empty intersection
(= the complements of maximal consistent sets where the union equals the knowledge base;
we call it MD-anticover).
|
java.lang.Double |
inconsistencyMeasure(java.util.Collection<S> formulas)
This method measures the inconsistency of the given set of formulas.
|
inconsistencyMeasure
private MusEnumerator<S extends Formula> enumerator
public McscInconsistencyMeasure(MusEnumerator<S> enumerator)
enumerator
- some MUs enumeratorprivate java.util.Set<java.util.Set<java.util.Set<S>>> getMdAnticover(java.util.List<java.util.Set<S>> md, int idx, java.util.Set<java.util.Set<java.util.Set<S>>> candidates)
md
- a list of all minimal correction setsidx
- the current index in the list of minimal correction setspublic java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<S extends Formula>
formulas
- a collection of formulas.