edu::tum::cs::bayesnets::inference::SATIS_BSampler Class Reference

Inheritance diagram for edu::tum::cs::bayesnets::inference::SATIS_BSampler:

Classes
class	PropositionalVariable
Public Member Functions
String	getAlgorithmName ()
void	initSample (WeightedSample s) throws Exception
	SATIS_BSampler (BeliefNetworkEx bn) throws Exception
	SATIS_BSampler (BeliefNetworkEx bn, SampleSAT sat, VariableLogicCoupling coupling, Collection< BeliefNode > determinedVars) throws Exception
void	setEvidence (int[] evidenceDomainIndices) throws Exception
Static Public Member Functions
static void	extendKBWithDeterministicConstraintsInCPTs (BeliefNetworkEx bn, VariableLogicCoupling coupling, ClausalKB ckb, Database db) throws Exception
Protected Member Functions
void	getOrdering (int[] evidenceDomainIndices) throws Exception
Static Protected Member Functions
static void	walkCPF4HardConstraints (VariableLogicCoupling coupling, CPF cpf, int[] addr, int i, ClausalKB ckb, Database db) throws Exception
Package Attributes
ClausalKB	ckb
VariableLogicCoupling	coupling
Collection< BeliefNode >	determinedVars
SampleSAT	sat

Detailed Description

Definition at line 34 of file SATIS_BSampler.java.

Constructor & Destructor Documentation

edu::tum::cs::bayesnets::inference::SATIS_BSampler::SATIS_BSampler	(	BeliefNetworkEx	bn,
		SampleSAT	sat,
		VariableLogicCoupling	coupling,
		Collection< BeliefNode >	determinedVars
	)			throws Exception `[inline]`

constructs a SAT-IS backward sampler with a given SAT sampler, a given logical coupling and a known set of variables affected by the SAT sampler. This construction method is used for BLNs.

Parameters:

	bn
	sat	the SAT sampler to use in each iteration
	coupling	the logical coupling of the BN's variables
	determinedVars	the set of variables affected by the SAT sampler, i.e. the variables that will be set if the SAT sampler is run

Exceptions:

Exception

Definition at line 59 of file SATIS_BSampler.java.

edu::tum::cs::bayesnets::inference::SATIS_BSampler::SATIS_BSampler ( BeliefNetworkEx bn ) throws Exception [inline]

constructs a SAT-IS backward sampler for use with (propositional) Bayesian networks, creating a logical coupling and the SAT sampler automatically (using all deterministic constraints in CPTs).

Parameters:

bn

Exceptions:

Exception

Definition at line 72 of file SATIS_BSampler.java.

Member Function Documentation

static void edu::tum::cs::bayesnets::inference::SATIS_BSampler::extendKBWithDeterministicConstraintsInCPTs	(	BeliefNetworkEx	bn,
		VariableLogicCoupling	coupling,
		ClausalKB	ckb,
		Database	db
	)			throws Exception `[inline, static]`

Parameters:

	bn
	coupling
	ckb	the clausal KB to extend
	db	an evidence database with which to simplify the formulas obtained, or null if no simplification is to take place

Exceptions:

Exception

Definition at line 123 of file SATIS_BSampler.java.

String edu::tum::cs::bayesnets::inference::SATIS_BSampler::getAlgorithmName ( ) [inline]

Reimplemented from edu::tum::cs::bayesnets::inference::Sampler.

Definition at line 258 of file SATIS_BSampler.java.

void edu::tum::cs::bayesnets::inference::SATIS_BSampler::getOrdering ( int[] evidenceDomainIndices ) throws Exception [inline, protected]

gets the sampling order by filling the members for backward and forward sampled nodes as well as the set of nodes not in the sampling order

Parameters:

evidenceDomainIndices

Exceptions:

Exception

Reimplemented from edu::tum::cs::bayesnets::inference::BackwardSampling.

Definition at line 203 of file SATIS_BSampler.java.

void edu::tum::cs::bayesnets::inference::SATIS_BSampler::initSample ( WeightedSample s ) throws Exception [inline]

Reimplemented from edu::tum::cs::bayesnets::inference::BackwardSampling.

Definition at line 181 of file SATIS_BSampler.java.

void edu::tum::cs::bayesnets::inference::SATIS_BSampler::setEvidence ( int[] evidenceDomainIndices ) throws Exception [inline]

Reimplemented from edu::tum::cs::bayesnets::inference::Sampler.

Definition at line 97 of file SATIS_BSampler.java.

static void edu::tum::cs::bayesnets::inference::SATIS_BSampler::walkCPF4HardConstraints	(	VariableLogicCoupling	coupling,
		CPF	cpf,
		int[]	addr,
		int	i,
		ClausalKB	ckb,
		Database	db
	)			throws Exception `[inline, static, protected]`