aima.core.probability.proposition

Class DisjunctiveProposition

java.lang.Object

aima.core.probability.proposition.AbstractProposition

aima.core.probability.proposition.DisjunctiveProposition

All Implemented Interfaces:

BinarySentenceProposition, Proposition, SentenceProposition

public class DisjunctiveProposition
extends AbstractProposition
implements BinarySentenceProposition

Artificial Intelligence A Modern Approach (3rd Edition): Formula 13.4, page 489.

We can also derive the well-known formula for the probability of a disjunction, sometimes called the inclusion-exclusion principle:

P(a OR b) = P(a) + P(b) - P(a AND b).

Author:

Ciaran O'Reilly

Constructor Summary

Constructors

Constructor and Description
DisjunctiveProposition(Proposition left, Proposition right)

Method Summary

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

Methods inherited from class aima.core.probability.proposition.AbstractProposition

addScope, addScope, addUnboundScope, addUnboundScope, getScope, getUnboundScope

Methods inherited from class java.lang.Object

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

Methods inherited from interface aima.core.probability.proposition.Proposition

getScope, getUnboundScope

Constructor Detail

DisjunctiveProposition

public DisjunctiveProposition(Proposition left,
                              Proposition right)

Method Detail

holds

public 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

Specified by:

holds in class AbstractProposition

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.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object