public class PossibleWorld extends InterpretationSet<Proposition> implements java.lang.Comparable<PossibleWorld>
Constructor and Description |
---|
PossibleWorld()
Creates a new empty possible world.
|
PossibleWorld(java.util.Collection<? extends Proposition> propositions)
Creates a new possible world with the given set of propositions.
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(PossibleWorld arg0) |
static java.util.Set<PossibleWorld> |
getAllPossibleWorlds(java.util.Collection<Proposition> signature)
Returns the set of all possible worlds for the
given propositional signature.
|
PropositionalFormula |
getCompleteConjunction(PropositionalSignature sig)
Returns the complete conjunction representing this possible world wrt.
|
boolean |
satisfies(BeliefBase beliefBase)
Checks whether this interpretation satisfies the given knowledge base.
|
boolean |
satisfies(Formula formula)
Checks whether this interpretation satisfies the given formula.
|
add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString
satisfies
public PossibleWorld()
public PossibleWorld(java.util.Collection<? extends Proposition> propositions)
propositions
- the propositions that are true in this possible worldpublic boolean satisfies(Formula formula) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation
formula
- a formula .java.lang.IllegalArgumentException
- if the formula does not correspond
to the expected language.public boolean satisfies(BeliefBase beliefBase) throws java.lang.IllegalArgumentException
Interpretation
satisfies
in interface Interpretation
beliefBase
- a knowledge base.java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond
to the expected language.public static java.util.Set<PossibleWorld> getAllPossibleWorlds(java.util.Collection<Proposition> signature)
signature
- a propositional signature.public PropositionalFormula getCompleteConjunction(PropositionalSignature sig)
a
- propositional signaturepublic int compareTo(PossibleWorld arg0)
compareTo
in interface java.lang.Comparable<PossibleWorld>