public class FbInconsistencyMeasure extends BeliefSetInconsistencyMeasure<PropositionalFormula>
MEASURE_TOLERANCE
Constructor and Description |
---|
FbInconsistencyMeasure() |
Modifier and Type | Method and Description |
---|---|
private boolean |
hasDuplicate(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
Checks whether the selection of substitutions is consistent (no proposition to be
replaced by + and - at the same time).
|
java.lang.Double |
inconsistencyMeasure(java.util.Collection<PropositionalFormula> formulas)
This method measures the inconsistency of the given set of formulas.
|
private java.util.List<Triple<Proposition,java.lang.Integer,SpecialFormula>> |
order(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
Orders the substitutions in decreasing order.
|
inconsistencyMeasure
public java.lang.Double inconsistencyMeasure(java.util.Collection<PropositionalFormula> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<PropositionalFormula>
formulas
- a collection of formulas.private boolean hasDuplicate(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
current
- private java.util.List<Triple<Proposition,java.lang.Integer,SpecialFormula>> order(java.util.Set<Triple<Proposition,java.lang.Integer,SpecialFormula>> current)
current
-