public class PmInconsistencyMeasure extends BeliefSetInconsistencyMeasure<PropositionalFormula>
MEASURE_TOLERANCE
Constructor and Description |
---|
PmInconsistencyMeasure() |
Modifier and Type | Method and Description |
---|---|
private int |
getNumOfMinmalProofs(PropositionalFormula f,
java.util.Collection<PropositionalFormula> formulas)
Returns the number of minimal proofs of f in formulas.
|
java.lang.Double |
inconsistencyMeasure(java.util.Collection<PropositionalFormula> formulas)
This method measures the inconsistency of the given set of formulas.
|
inconsistencyMeasure
public java.lang.Double inconsistencyMeasure(java.util.Collection<PropositionalFormula> formulas)
BeliefSetInconsistencyMeasure
inconsistencyMeasure
in class BeliefSetInconsistencyMeasure<PropositionalFormula>
formulas
- a collection of formulas.private int getNumOfMinmalProofs(PropositionalFormula f, java.util.Collection<PropositionalFormula> formulas)
f
- some formula (either a proposition or the negation of a proposition)formulas
- a set of formulas (the knowledge base)