public class ModalHerbrandInterpretation extends InterpretationSet<FOLAtom,FolBeliefSet,FolFormula>
HerbrandInterpretation
Constructor and Description |
---|
ModalHerbrandInterpretation()
Creates a new empty Herbrand interpretation
|
ModalHerbrandInterpretation(java.util.Collection<? extends FOLAtom> atoms)
Creates a new Herbrand interpretation with the given
set of atoms
|
Modifier and Type | Method and Description |
---|---|
ModalHerbrandInterpretation |
exchange(java.util.Map<Term<?>,Term<?>> mapping)
For every mapping t1 -> t2, this method substitutes every
occurrence of "t1" by "t2" and vice versa and returns the new interpretation
|
ModalHerbrandInterpretation |
exchange(Term<?> t1,
Term<?> t2)
Substitutes every occurrence of "t1" by "t2" and vice versa and returns the
new interpretation.
|
boolean |
isSyntacticallyEquivalent(ModalHerbrandInterpretation other,
java.util.Collection<? extends java.util.Collection<? extends Constant>> equivalenceClasses)
Checks whether this interpretation is syntactically equivalent to the given
interpretation and the given equivalence classes, i.e.
|
boolean |
satisfies(FolBeliefSet beliefBase)
Checks whether this interpretation satisfies the given knowledge base.
|
boolean |
satisfies(FolFormula formula)
Checks whether this interpretation satisfies the given formula.
|
boolean |
satisfies(Formula formula,
java.util.Set<Interpretation<FolBeliefSet,FolFormula>> successors)
Checks whether this Herbrand interpretation satisfies
the given formula.
|
boolean |
satisfies(java.util.Set<FolFormula> formulas)
Checks whether this Herbrand interpretation satisfies each of
the formulas in the given set of first-order formulas.
|
java.lang.String |
toString() |
add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray
satisfies
public ModalHerbrandInterpretation()
public ModalHerbrandInterpretation(java.util.Collection<? extends FOLAtom> atoms)
atoms
- the set of true atoms in this Herbrand interpretation.public boolean satisfies(FolFormula formula) throws java.lang.IllegalArgumentException
Interpretation
formula
- a formula .java.lang.IllegalArgumentException
- if the formula does not correspond
to the expected language.public boolean satisfies(Formula formula, java.util.Set<Interpretation<FolBeliefSet,FolFormula>> successors) throws java.lang.IllegalArgumentException
formula
- a formula.java.lang.IllegalArgumentException
- if "f" is not closed.public boolean isSyntacticallyEquivalent(ModalHerbrandInterpretation other, java.util.Collection<? extends java.util.Collection<? extends Constant>> equivalenceClasses)
other
- a Herbrand interpretation.equivalenceClasses
- a set of sets of constants.public boolean satisfies(java.util.Set<FolFormula> formulas) throws java.lang.IllegalArgumentException
formulas
- a set of first-order formulas.java.lang.IllegalArgumentException
- if at least one formula does not correspond
to the expected language.public boolean satisfies(FolBeliefSet beliefBase) throws java.lang.IllegalArgumentException
Interpretation
beliefBase
- a knowledge base.java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond
to the expected language.public ModalHerbrandInterpretation exchange(Term<?> t1, Term<?> t2)
t1
- a term.t2
- a term.public ModalHerbrandInterpretation exchange(java.util.Map<Term<?>,Term<?>> mapping)
mapping
- a mapping of terms.public java.lang.String toString()
toString
in class InterpretationSet<FOLAtom,FolBeliefSet,FolFormula>