edu::tum::cs::srl::mln::MarkovRandomField Class Reference

Public Member Functions
Database	getDb ()
double	getWorldValue (IPossibleWorld w)
WorldVariables	getWorldVariables ()
Iterator< WeightedFormula >	iterator ()
	MarkovRandomField (MarkovLogicNetwork mln, Database db) throws Exception
	MarkovRandomField (MarkovLogicNetwork mln, Database db, boolean storeFormulas, GroundingCallback gc) throws Exception
void	print (PrintStream out)
Public Attributes
MarkovLogicNetwork	mln
Protected Member Functions
void	groundFormulas (boolean makelist, GroundingCallback gc) throws Exception
void	groundVariables (Signature sig, String[] args, int i, Integer functionallyDeterminedArg) throws Exception
void	groundVariables () throws Exception
Protected Attributes
Database	db
final boolean	simplifyGroundedFormulas = true
WorldVariables	vars
Vector< WeightedFormula >	weightedFormulas

Detailed Description

Class that represents a grounded instance of a MLN-file

Definition at line 25 of file MarkovRandomField.java.

edu::tum::cs::srl::mln::MarkovRandomField::MarkovRandomField	(	MarkovLogicNetwork	mln,
		Database	db,
		boolean	storeFormulas,
		GroundingCallback	gc
	)			throws Exception `[inline]`

Parameters:

	mln	a Markov logic network
	db	an evidence database containing the set of objects for which to ground the MLN
	storeFormula	whether to store the grounded formulas that are generated
	gc	an optional callback (which is called for each grounded formula), may be null

Exceptions:

	Exception
	Exception

Definition at line 43 of file MarkovRandomField.java.

edu::tum::cs::srl::mln::MarkovRandomField::MarkovRandomField	(	MarkovLogicNetwork	mln,
		Database	db
	)			throws Exception `[inline]`

Definition at line 51 of file MarkovRandomField.java.

Database edu::tum::cs::srl::mln::MarkovRandomField::getDb ( ) [inline]

returns the database with which this MRF was grounded

Definition at line 147 of file MarkovRandomField.java.

double edu::tum::cs::srl::mln::MarkovRandomField::getWorldValue ( IPossibleWorld w ) [inline]

gets the sum of weights of formulas satisfied in the given possible world

Definition at line 164 of file MarkovRandomField.java.

WorldVariables edu::tum::cs::srl::mln::MarkovRandomField::getWorldVariables ( ) [inline]

Method that returns worldVariables of the given MLN

Definition at line 59 of file MarkovRandomField.java.

void edu::tum::cs::srl::mln::MarkovRandomField::groundFormulas	(	boolean	makelist,
		GroundingCallback	gc
	)			throws Exception `[inline, protected]`

creates groundings for all formulas

Parameters:

	makelist	boolean (if true the grounded formula will be saved in a set)
	gc	callback method (if not null, the callback method is called for each grounded formula)

Exceptions:

Exception

Definition at line 126 of file MarkovRandomField.java.

void edu::tum::cs::srl::mln::MarkovRandomField::groundVariables	(	Signature	sig,
		String[]	args,
		int	i,
		Integer	functionallyDeterminedArg
	)			throws Exception `[inline, protected]`