public class ImMonotony extends AbstractImPostulate
Constructor and Description |
---|
ImMonotony() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getName()
The textual name of the postulate
|
boolean |
isApplicable(java.util.Collection<PropositionalFormula> kb)
Checks whether the given kb represents a non-trivial
instance for this postulate, i.e., whether assumptions
of this postulates are satisfied (evaluating an approach
on a non-applicable instance always succeeds).
|
boolean |
isSatisfied(java.util.Collection<PropositionalFormula> kb,
BeliefSetInconsistencyMeasure<PropositionalFormula> ev) |
isSatisfied
public boolean isApplicable(java.util.Collection<PropositionalFormula> kb)
Postulate
isApplicable
in interface Postulate<PropositionalFormula>
isApplicable
in class AbstractImPostulate
kb
- some knowledge basepublic boolean isSatisfied(java.util.Collection<PropositionalFormula> kb, BeliefSetInconsistencyMeasure<PropositionalFormula> ev)
isSatisfied
in class AbstractImPostulate
public java.lang.String getName()
Postulate