aima.core.probability.proposition

Interface Proposition

All Known Subinterfaces:

BinarySentenceProposition, DerivedProposition, SentenceProposition, TermProposition, UnarySentenceProposition

All Known Implementing Classes:

AbstractDerivedProposition, AbstractProposition, AbstractTermProposition, AssignmentProposition, ConjunctiveProposition, DisjunctiveProposition, EquivalentProposition, IntegerSumProposition, NotProposition, RandVar, SubsetProposition

public interface Proposition

Artificial Intelligence A Modern Approach (3rd Edition): page 486.

Propositions describing sets of possible worlds are written in a notation that combines elements of propositional logic and constraint satisfaction notation. In the terminology of Section 2.4.7, it is a factored representation, in which a possible world is represented by a set of variable/value pairs.

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

Author:

Ciaran O'Reilly

Method Summary

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

Method Detail

getScope

java.util.Set<RandomVariable> getScope()

Returns:

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

getUnboundScope

java.util.Set<RandomVariable> getUnboundScope()

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

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

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

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.