net.sf.tweety.logics.pl.semantics

Class PossibleWorld

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<B,S>

net.sf.tweety.commons.InterpretationSet<Proposition,PlBeliefSet,PropositionalFormula>

net.sf.tweety.logics.pl.semantics.PossibleWorld

All Implemented Interfaces:

java.lang.Comparable<PossibleWorld>, java.lang.Iterable<Proposition>, java.util.Collection<Proposition>, Interpretation<PlBeliefSet,PropositionalFormula>

public class PossibleWorld
extends InterpretationSet<Proposition,PlBeliefSet,PropositionalFormula>
implements java.lang.Comparable<PossibleWorld>

This class represents a possible world of propositional logic, i.e. some set of propositions.

Author:

Matthias Thimm

Constructor Summary

Constructors

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.

Method Summary

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(java.util.Collection<PropositionalFormula> formulas) Checks whether this interpretation satisfies all given formulas.
boolean	satisfies(PlBeliefSet beliefBase) Checks whether this interpretation satisfies the given knowledge base.
boolean	satisfies(PropositionalFormula formula) Checks whether this interpretation satisfies the given formula.

Methods inherited from class net.sf.tweety.commons.InterpretationSet

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

PossibleWorld

public PossibleWorld()

Creates a new empty possible world.

PossibleWorld

public PossibleWorld(java.util.Collection<? extends Proposition> propositions)

Creates a new possible world with the given set of propositions.

Parameters:

propositions - the propositions that are true in this possible world

Method Detail

satisfies

public boolean satisfies(PropositionalFormula formula)
                  throws java.lang.IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Specified by:

satisfies in interface Interpretation<PlBeliefSet,PropositionalFormula>

Parameters:

formula - a formula .

Returns:

"true" if this interpretation satisfies the given formula.

Throws:

java.lang.IllegalArgumentException - if the formula does not correspond to the expected language.

satisfies

public boolean satisfies(java.util.Collection<PropositionalFormula> formulas)
                  throws java.lang.IllegalArgumentException

Description copied from class: AbstractInterpretation

Checks whether this interpretation satisfies all given formulas.

Specified by:

satisfies in interface Interpretation<PlBeliefSet,PropositionalFormula>

Overrides:

satisfies in class AbstractInterpretation<PlBeliefSet,PropositionalFormula>

Parameters:

formulas - a collection of formulas.

Returns:

"true" if this interpretation satisfies all given formulas.

Throws:

java.lang.IllegalArgumentException - if at least one formula does not correspond to the expected language.

satisfies

public boolean satisfies(PlBeliefSet beliefBase)
                  throws java.lang.IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Specified by:

satisfies in interface Interpretation<PlBeliefSet,PropositionalFormula>

Parameters:

beliefBase - a knowledge base.

Returns:

"true" if this interpretation satisfies the given knowledge base.

Throws:

java.lang.IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.

getAllPossibleWorlds

public static java.util.Set<PossibleWorld> getAllPossibleWorlds(java.util.Collection<Proposition> signature)

Returns the set of all possible worlds for the given propositional signature.

Parameters:

signature - a propositional signature.

Returns:

the set of all possible worlds for the given propositional signature.

getCompleteConjunction

public PropositionalFormula getCompleteConjunction(PropositionalSignature sig)

Returns the complete conjunction representing this possible world wrt. the give signature

Parameters:

a - propositional signature

Returns:

the complete conjunction representing this possible world wrt. the give signature

compareTo

public int compareTo(PossibleWorld arg0)

Specified by:

compareTo in interface java.lang.Comparable<PossibleWorld>