ProbabilisticVariableEliminationDecision

Abstract Value Members

abstract val dependentAlgorithm: (Universe, List[NamedEvidence[_]]) ⇒ () ⇒ Double

The algorithm to compute probability of specified evidence in a dependent universe.
The algorithm to compute probability of specified evidence in a dependent universe. We use () => Double to represent this algorithm instead of an instance of ProbEvidenceAlgorithm. Typical usage is to return the result of ProbEvidenceAlgorithm.computeProbEvidence when invoked.

Definition Classes
FactoredAlgorithm
abstract val dependentUniverses: List[(Universe, List[NamedEvidence[_]])]

A list of universes that depend on this universe such that evidence on those universes should be taken into account in this universe.
A list of universes that depend on this universe such that evidence on those universes should be taken into account in this universe.

Definition Classes
FactoredAlgorithm
abstract def finish(factorsAfterElimination: MultiSet[Factor[(Double, Double)]], eliminationOrder: List[Variable[_]]): Unit

All implementation of variable elimination must specify what to do after variables have been eliminated.
All implementation of variable elimination must specify what to do after variables have been eliminated.

Definition Classes
VariableElimination
abstract def getUtilityNodes: List[Element[_]]

Retrieve utility nodes in the model
abstract val showTiming: Boolean

Flag indicating whether the run time of each step should be displayed.
Flag indicating whether the run time of each step should be displayed.

Definition Classes
VariableElimination
abstract val targetElements: List[Element[_]]

Target elements that should not be eliminated but should be available for querying.
Target elements that should not be eliminated but should be available for querying.

Definition Classes
VariableElimination
abstract val universe: Universe

The universe on which this variable elimination algorithm should be applied.
The universe on which this variable elimination algorithm should be applied.

Definition Classes
VariableElimination → FactoredAlgorithm

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
var active: Boolean

Attributes
protected
Definition Classes
Algorithm
final def asInstanceOf[T0]: T0

Definition Classes
Any
def cleanUp(): Unit

Called when the algorithm is killed.
Called when the algorithm is killed. By default, does nothing. Can be overridden.

Definition Classes
Algorithm
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val comparator: Option[((Double, Double), (Double, Double)) ⇒ Boolean]

Some variable elimination algorithms, such as computing the most probable explanation, record values of variables as they are eliminated.
Some variable elimination algorithms, such as computing the most probable explanation, record values of variables as they are eliminated. Such values are stored in a factor that maps values of the other variables to a value of the eliminated variable. This factor is produced by finding the value of the variable that "maximizes" the entry associated with the value in the product factor resulting from eliminating this variable, for some maximization function. The recordingFunction determines which of two entries is greater according to the maximization function. It returns true iff the second entry is greater. The recording function is an option so that variable elimination algorithms that do not use it can ignore it.

Definition Classes
VariableElimination
var debug: Boolean

By default, implementations that inherit this trait have no debug information.
By default, implementations that inherit this trait have no debug information. Override this if you want a debugging option.

Definition Classes
VariableElimination
def doElimination(allFactors: List[Factor[(Double, Double)]], targetVariables: Seq[Variable[_]]): Unit

Attributes
protected
Definition Classes
VariableElimination
def doKill(): Unit

Attributes
protected[com.cra.figaro.algorithm]
Definition Classes
OneTime → Algorithm
def doResume(): Unit

Attributes
protected[com.cra.figaro.algorithm]
Definition Classes
OneTime → Algorithm
def doStart(): Unit

Attributes
protected[com.cra.figaro.algorithm]
Definition Classes
OneTime → Algorithm
def doStop(): Unit

Attributes
protected[com.cra.figaro.algorithm]
Definition Classes
OneTime → Algorithm
def eliminateInOrder(order: List[Variable[_]], factors: MultiSet[Factor[(Double, Double)]], map: FactorMap[(Double, Double)]): MultiSet[Factor[(Double, Double)]]

Attributes
protected
Definition Classes
VariableElimination
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def getFactors(neededElements: List[Element[_]], targetElements: List[Element[_]], upper: Boolean = false): List[Factor[(Double, Double)]]

Create the factors for decision factors.
Create the factors for decision factors. Each factor is hardcoded as a tuple of (Double, Double), where the first value is the probability and the second is the utility.

Definition Classes
ProbabilisticVariableEliminationDecision → FactoredAlgorithm
def getNeededElements(starterElements: List[Element[_]], depth: Int): (List[Element[_]], Boolean)

Get the elements that are needed by the query target variables and the evidence variables.
Get the elements that are needed by the query target variables and the evidence variables. Also compute the values of those variables to the given depth. Only get factors for elements that are actually used by the target variables. This is more efficient. Also, it avoids problems when values of unused elements have not been computed.
In addition to getting all the needed elements, it determines if any of the conditioned, constrained, or dependent universe parent elements has * in its range. If any of these elements has * in its range, the lower and upper bounds of factors will be different, so we need to compute both. If they don't, we don't need to compute bounds.

Definition Classes
FactoredAlgorithm
def hashCode(): Int

Definition Classes
AnyRef → Any
def initialFactorMap(factors: Traversable[Factor[(Double, Double)]]): FactorMap[(Double, Double)]

Attributes
protected
Definition Classes
VariableElimination
def initialize(): Unit

Called when the algorithm is started before running any steps.
Called when the algorithm is started before running any steps. By default, does nothing. Can be overridden.

Definition Classes
Algorithm
def isActive: Boolean

Definition Classes
Algorithm
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def kill(): Unit

Kill the algorithm so that it is inactive.
Kill the algorithm so that it is inactive. It will no longer be able to provide answers.Throws AlgorithmInactiveException if the algorithm is not active.

Definition Classes
Algorithm
def makeUtilFactor(e: Element[_]): Factor[(Double, Double)]

Makes a utility factor an element designated as a utility.
Makes a utility factor an element designated as a utility. This is factor of a tuple (Double, Double) where the first value is 1.0 and the second is a possible utility of the element.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
var recordingFactors: List[Factor[_]]

Attributes
protected
Definition Classes
VariableElimination
def resume(): Unit

Resume the computation of the algorithm, if it has been stopped.
Resume the computation of the algorithm, if it has been stopped. Throws AlgorithmInactiveException if the algorithm is not active.

Definition Classes
Algorithm
def run(): Unit

Run the algorithm, performing its computation to completion.
Run the algorithm, performing its computation to completion.

Definition Classes
VariableElimination → OneTime
val semiring: SumProductUtilitySemiring

Semiring for Decisions uses a sum-product-utility semiring.
Semiring for Decisions uses a sum-product-utility semiring.

Definition Classes
ProbabilisticVariableEliminationDecision → FactoredAlgorithm
def start(): Unit

Start the algorithm and make it active.
Start the algorithm and make it active. After it returns, the algorithm must be ready to provide answers. Throws AlgorithmActiveException if the algorithm is already active.

Definition Classes
Algorithm
def starterElements: List[Element[_]]

Elements towards which queries are directed.
Elements towards which queries are directed. By default, these are the target elements. This is overridden by DecisionVariableElimination, where it also includes utility variables.

Definition Classes
ProbabilisticVariableEliminationDecision → VariableElimination
def stop(): Unit

Stop the algorithm from computing.
Stop the algorithm from computing. The algorithm is still ready to provide answers after it returns. Throws AlgorithmInactiveException if the algorithm is not active.

Definition Classes
Algorithm
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
var targetFactors: Map[Element[_], Factor[(Double, Double)]]

Attributes
protected[com.cra.figaro]
Definition Classes
VariableElimination
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package decision

trait ProbabilisticVariableEliminationDecision extends VariableElimination[(Double, Double)]

Abstract Value Members

abstract val dependentAlgorithm: (Universe, List[NamedEvidence[_]]) ⇒ () ⇒ Double

abstract val dependentUniverses: List[(Universe, List[NamedEvidence[_]])]

abstract def finish(factorsAfterElimination: MultiSet[Factor[(Double, Double)]], eliminationOrder: List[Variable[_]]): Unit

abstract def getUtilityNodes: List[Element[_]]

abstract val showTiming: Boolean

abstract val targetElements: List[Element[_]]

abstract val universe: Universe

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

var active: Boolean

final def asInstanceOf[T0]: T0

def cleanUp(): Unit

def clone(): AnyRef

val comparator: Option[((Double, Double), (Double, Double)) ⇒ Boolean]

var debug: Boolean

def doElimination(allFactors: List[Factor[(Double, Double)]], targetVariables: Seq[Variable[_]]): Unit

def doKill(): Unit

def doResume(): Unit

def doStart(): Unit

def doStop(): Unit

def eliminateInOrder(order: List[Variable[_]], factors: MultiSet[Factor[(Double, Double)]], map: FactorMap[(Double, Double)]): MultiSet[Factor[(Double, Double)]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def getFactors(neededElements: List[Element[_]], targetElements: List[Element[_]], upper: Boolean = false): List[Factor[(Double, Double)]]

def getNeededElements(starterElements: List[Element[_]], depth: Int): (List[Element[_]], Boolean)

def hashCode(): Int

def initialFactorMap(factors: Traversable[Factor[(Double, Double)]]): FactorMap[(Double, Double)]

def initialize(): Unit

def isActive: Boolean

final def isInstanceOf[T0]: Boolean

def kill(): Unit

def makeUtilFactor(e: Element[_]): Factor[(Double, Double)]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

var recordingFactors: List[Factor[_]]

def resume(): Unit

def run(): Unit

val semiring: SumProductUtilitySemiring

def start(): Unit

def starterElements: List[Element[_]]

def stop(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

var targetFactors: Map[Element[_], Factor[(Double, Double)]]

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from VariableElimination[(Double, Double)]

Inherited from OneTime

Inherited from FactoredAlgorithm[(Double, Double)]

Inherited from Algorithm

Inherited from AnyRef

Inherited from Any

Ungrouped