public interface Interpretation<B extends BeliefBase,S extends Formula>
Modifier and Type | Method and Description |
---|---|
boolean |
satisfies(B beliefBase)
Checks whether this interpretation satisfies the given knowledge base.
|
boolean |
satisfies(java.util.Collection<S> formulas)
Checks whether this interpretation satisfies all given formulas.
|
boolean |
satisfies(S formula)
Checks whether this interpretation satisfies the given formula.
|
boolean satisfies(S formula) throws java.lang.IllegalArgumentException
formula
- a formula .java.lang.IllegalArgumentException
- if the formula does not correspond
to the expected language.boolean satisfies(java.util.Collection<S> formulas) throws java.lang.IllegalArgumentException
formulas
- a collection of formulas.java.lang.IllegalArgumentException
- if at least one formula does not correspond
to the expected language.boolean satisfies(B beliefBase) throws java.lang.IllegalArgumentException
beliefBase
- a knowledge base.java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond
to the expected language.