edu::tum::cs::srl::bayesnets::bln::GroundBLN Class Reference

Inheritance diagram for edu::tum::cs::srl::bayesnets::bln::GroundBLN:

Public Member Functions
VariableLogicCoupling	getCoupling ()
GroundLiteral	getGroundLiteral (BeliefNode var, int domIdx)
KnowledgeBase	getKB ()
Set< BeliefNode >	getRegularVariables ()
BeliefNode	getVariable (GroundAtom gndAtom)
String	getVariableName (GroundAtom gndAtom)
int	getVariableValue (BeliefNode var, PossibleWorld w)
WorldVariables	getWorldVars ()
	GroundBLN (AbstractBayesianLogicNetwork bln, String databaseFile) throws Exception
	GroundBLN (AbstractBayesianLogicNetwork bln, Database db) throws Exception
boolean	isRegularVariable (BeliefNode var)
Protected Member Functions
void	fillFormulaCPF (Formula gf, CPF cpf, Vector< String > parentGAs, int iDomProd, int[] addr) throws Exception
void	fillFormulaCPF (Formula gf, CPF cpf, Vector< String > parentGAs) throws Exception
void	groundFormulaicNodes () throws Exception
void	init (AbstractBayesianLogicNetwork bln, Database db) throws Exception
void	onAddGroundAtomNode (RelationalNode relNode, String[] params, BeliefNode var)
Protected Attributes
VariableLogicCoupling	coupling
KnowledgeBase	gkb
PossibleWorld	state

Detailed Description

represents a grounded Bayesian logic network (i.e. a mixed network)

Author:: jain

Definition at line 29 of file GroundBLN.java.

Constructor & Destructor Documentation

edu::tum::cs::srl::bayesnets::bln::GroundBLN::GroundBLN	(	AbstractBayesianLogicNetwork	bln,
		Database	db
	)			throws Exception `[inline]`

Definition at line 41 of file GroundBLN.java.

edu::tum::cs::srl::bayesnets::bln::GroundBLN::GroundBLN	(	AbstractBayesianLogicNetwork	bln,
		String	databaseFile
	)			throws Exception `[inline]`

Definition at line 45 of file GroundBLN.java.

Member Function Documentation

void edu::tum::cs::srl::bayesnets::bln::GroundBLN::fillFormulaCPF	(	Formula	gf,
		CPF	cpf,
		Vector< String >	parentGAs,
		int	iDomProd,
		int[]	addr
	)			throws Exception `[inline, protected]`

Definition at line 145 of file GroundBLN.java.

void edu::tum::cs::srl::bayesnets::bln::GroundBLN::fillFormulaCPF	(	Formula	gf,
		CPF	cpf,
		Vector< String >	parentGAs
	)			throws Exception `[inline, protected]`

fills the CPF of a formulaic node

Parameters:

	gf	the ground formula to evaluate for all possible settings
	cpf	the CPF of the formulaic node to fill
	parents	the parents of the formulaic node
	parentGAs	the ground atom string names of the parents (in case the node names do not match them)

Exceptions:

Exception

Definition at line 138 of file GroundBLN.java.

VariableLogicCoupling edu::tum::cs::srl::bayesnets::bln::GroundBLN::getCoupling ( ) [inline]

Definition at line 249 of file GroundBLN.java.

GroundLiteral edu::tum::cs::srl::bayesnets::bln::GroundBLN::getGroundLiteral	(	BeliefNode	var,
		int	domIdx
	)			`[inline]`

Definition at line 66 of file GroundBLN.java.

KnowledgeBase edu::tum::cs::srl::bayesnets::bln::GroundBLN::getKB ( ) [inline]

gets the knowledge base of grounded hard logical constraints

Returns:

Definition at line 199 of file GroundBLN.java.

Set<BeliefNode> edu::tum::cs::srl::bayesnets::bln::GroundBLN::getRegularVariables ( ) [inline]

gets the set of regular variables (i.e. non-auxiliary belief nodes, which do not correspond to logical constraints)

Returns:

Definition at line 245 of file GroundBLN.java.

BeliefNode edu::tum::cs::srl::bayesnets::bln::GroundBLN::getVariable ( GroundAtom gndAtom ) [inline]

returns the belief node in the ground network that corresponds to the given ground atom

Parameters:

gndAtom

Returns:: the belief node corresponding to gndAtom or null if no correspondence is found

Definition at line 224 of file GroundBLN.java.

String edu::tum::cs::srl::bayesnets::bln::GroundBLN::getVariableName ( GroundAtom gndAtom ) [inline]

gets the variable name in the ground network that corresponds to the given logical ground atom

Parameters:

gndAtom

Returns:

Definition at line 212 of file GroundBLN.java.

int edu::tum::cs::srl::bayesnets::bln::GroundBLN::getVariableValue	(	BeliefNode	var,
		PossibleWorld	w
	)			`[inline]`

Definition at line 228 of file GroundBLN.java.

WorldVariables edu::tum::cs::srl::bayesnets::bln::GroundBLN::getWorldVars ( ) [inline]

Definition at line 203 of file GroundBLN.java.

void edu::tum::cs::srl::bayesnets::bln::GroundBLN::groundFormulaicNodes ( ) throws Exception [inline, protected, virtual]

Implements edu::tum::cs::srl::bayesnets::bln::AbstractGroundBLN.

Definition at line 71 of file GroundBLN.java.

void edu::tum::cs::srl::bayesnets::bln::GroundBLN::init	(	AbstractBayesianLogicNetwork	bln,
		Database	db
	)			throws Exception `[inline, protected]`

Reimplemented from edu::tum::cs::srl::bayesnets::bln::AbstractGroundBLN.

Definition at line 50 of file GroundBLN.java.

boolean edu::tum::cs::srl::bayesnets::bln::GroundBLN::isRegularVariable ( BeliefNode var ) [inline]

Parameters:

var

Returns:: true if the variable is not an auxiliary variable that was created for a logical constraint but corresponds directly to a variable upon which the possible worlds are defined

Definition at line 237 of file GroundBLN.java.

void edu::tum::cs::srl::bayesnets::bln::GroundBLN::onAddGroundAtomNode	(	RelationalNode	relNode,
		String[]	params,
		BeliefNode	var
	)			`[inline, protected, virtual]`