aima.core.probability.proposition

Class AbstractProposition

java.lang.Object

aima.core.probability.proposition.AbstractProposition

All Implemented Interfaces:

Proposition

Direct Known Subclasses:

AbstractDerivedProposition, AbstractTermProposition, ConjunctiveProposition, DisjunctiveProposition, NotProposition

public abstract class AbstractProposition
extends java.lang.Object
implements Proposition

Constructor Summary

Constructors

Constructor and Description
AbstractProposition()

Method Summary

Modifier and Type	Method and Description
protected void	addScope(java.util.Collection<RandomVariable> vars)
protected void	addScope(RandomVariable var)
protected void	addUnboundScope(java.util.Collection<RandomVariable> vars)
protected void	addUnboundScope(RandomVariable var)
java.util.Set<RandomVariable>	getScope()
java.util.Set<RandomVariable>	getUnboundScope()
abstract boolean	holds(java.util.Map<RandomVariable,java.lang.Object> possibleWorld) Determine whether or not the proposition holds in a particular possible world.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractProposition

public AbstractProposition()

Method Detail

getScope

public java.util.Set<RandomVariable> getScope()

Specified by:

getScope in interface Proposition

Returns:

the Set of RandomVariables in the World (sample space) that this Proposition is applicable to.

getUnboundScope

public java.util.Set<RandomVariable> getUnboundScope()

Specified by:

getUnboundScope in interface Proposition

Returns:

the Set of RandomVariables from this propositions scope that are not constrained to any particular set of values (e.g. bound = P(Total = 11), while unbound = P(Total)). If a variable is unbound it implies the distributions associated with the variable is being sought.

holds

public abstract boolean holds(java.util.Map<RandomVariable,java.lang.Object> possibleWorld)

Description copied from interface: Proposition

Determine whether or not the proposition holds in a particular possible world.

Specified by:

holds in interface Proposition

Parameters:

possibleWorld - A possible world is defined to be an assignment of values to all of the random variables under consideration.

Returns:

true if the proposition holds in the given possible world, false otherwise.

addScope

protected void addScope(RandomVariable var)

addScope

protected void addScope(java.util.Collection<RandomVariable> vars)

addUnboundScope

protected void addUnboundScope(RandomVariable var)

addUnboundScope

protected void addUnboundScope(java.util.Collection<RandomVariable> vars)