edu::tum::cs::srl::bayesnets::DecisionNode Class Reference

Inheritance diagram for edu::tum::cs::srl::bayesnets::DecisionNode:

Public Member Functions
	DecisionNode (RelationalBeliefNetwork rbn, edu.ksu.cis.bnj.ver3.core.BeliefNode node) throws ParseException
boolean	isTrue (String[] paramNames, String[] actualParams, Database db, boolean closedWorld) throws Exception
boolean	isTrue (Map< String, String > varBinding, IPossibleWorld w, WorldVariables worldVars, Database db) throws Exception
String	toString ()
Protected Types
enum	Operator { Negation }
Protected Attributes
Formula	formula
boolean	isOperator
Operator	operator

Detailed Description

Definition at line 16 of file DecisionNode.java.

Enumerator:

Negation

Definition at line 18 of file DecisionNode.java.

edu::tum::cs::srl::bayesnets::DecisionNode::DecisionNode	(	RelationalBeliefNetwork	rbn,
		edu.ksu.cis.bnj.ver3.core.BeliefNode	node
	)			throws ParseException `[inline]`

Definition at line 24 of file DecisionNode.java.

boolean edu::tum::cs::srl::bayesnets::DecisionNode::isTrue	(	String[]	paramNames,
		String[]	actualParams,
		Database	db,
		boolean	closedWorld
	)			throws Exception `[inline]`

a wrapper for the other implementation of isTrue that uses the possible world implied by the database to determine the truth values of ground atoms

Parameters:

	paramNames	variables that are bound
	actualParams	values the variables are bound to
	db	the database that provides the truth values for all ground atoms (closed-world assumption)
	closedWorld	whether to make the closed-world assumption (i.e. that atoms not specified in the database are false)

Exceptions:

Exception

Definition at line 78 of file DecisionNode.java.

boolean edu::tum::cs::srl::bayesnets::DecisionNode::isTrue	(	Map< String, String >	varBinding,
		IPossibleWorld	w,
		WorldVariables	worldVars,
		Database	db
	)			throws Exception `[inline]`

returns the truth value of the formula that corresponds to this decision node

Parameters:

	varBinding	variable binding that applies (as given by the actual parameters of this decision node's child/descendant)
	w	a possible world specifying truth values for all variables (ground atoms)
	worldVars	a set of world variables to take ground atom instances from (for grounding the formula)
	db	a database to take objects from for existential quantification