B
- some belief base typeS
- some formula typepublic class HsInconsistencyMeasure<B extends BeliefBase,S extends Formula> extends BeliefSetInconsistencyMeasure<S>
Modifier and Type | Field and Description |
---|---|
private InterpretationIterator<S,B,? extends Interpretation<B,S>> |
it
Used for iterating over interpretations of the underlying language.
|
MEASURE_TOLERANCE
Constructor and Description |
---|
HsInconsistencyMeasure(InterpretationIterator<S,B,? extends Interpretation<B,S>> it)
Creates a new inconsistency measure that uses the interpretations given
by the given iterator.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Collection<Interpretation<B,S>> |
getHittingSet(java.util.Collection<S> formulas,
int card,
java.util.Collection<Interpretation<B,S>> interpretations)
Determines a hitting set of the given cardinality.
|
java.lang.Double |
inconsistencyMeasure(java.util.Collection<S> formulas)
This method measures the inconsistency of the given set of formulas.
|
private boolean |
isHittingSet(java.util.Collection<S> formulas,
java.util.Collection<Interpretation<B,S>> candidate)
Checks whether the given candidate is a hitting set.
|
java.lang.String |
toString() |
inconsistencyMeasure
private InterpretationIterator<S extends Formula,B extends BeliefBase,? extends Interpretation<B extends BeliefBase,S extends Formula>> it
public HsInconsistencyMeasure(InterpretationIterator<S,B,? extends Interpretation<B,S>> it)
it
- some interpretation iterator.public java.lang.Double inconsistencyMeasure(java.util.Collection<S> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<S extends Formula>
formulas
- a collection of formulas.private java.util.Collection<Interpretation<B,S>> getHittingSet(java.util.Collection<S> formulas, int card, java.util.Collection<Interpretation<B,S>> interpretations)
formulas
- a collection of formulascard
- some cardinality.interpretations
- in addition to the card interpretations also use this set for satisfying formulas.private boolean isHittingSet(java.util.Collection<S> formulas, java.util.Collection<Interpretation<B,S>> candidate)
formulas
- some set of formulascandidate
- some set of interpretation.public java.lang.String toString()
toString
in class java.lang.Object