edu::tum::cs::srl::bayesnets::inference::SATISEx Class Reference

Inheritance diagram for edu::tum::cs::srl::bayesnets::inference::SATISEx:

[legend]

List of all members.

Public Member Functions
	SATISEx (GroundBLN bln) throws Exception
void	useCSI (boolean active)
Protected Member Functions
ClausalKB	getClausalKB () throws Exception
Package Attributes
boolean	exploitCSI = false

---

Detailed Description

extended version of the SAT-IS algorithm, where the knowledge base is augmented with formulas based on 0 entries in probabilistic constraints, which factually represent deterministic constraints

Author:

jain

Definition at line 26 of file SATISEx.java.

---

Constructor & Destructor Documentation

edu::tum::cs::srl::bayesnets::inference::SATISEx::SATISEx

(

GroundBLN

bln

)

throws Exception [inline]

Definition at line 32 of file SATISEx.java.

---

Member Function Documentation

ClausalKB edu::tum::cs::srl::bayesnets::inference::SATISEx::getClausalKB

(

)

throws Exception [inline, protected]

Reimplemented from edu::tum::cs::srl::bayesnets::inference::SATIS.

Definition at line 42 of file SATISEx.java.

void edu::tum::cs::srl::bayesnets::inference::SATISEx::useCSI

(

boolean

active

)

[inline]

Definition at line 37 of file SATISEx.java.

---

Member Data Documentation

boolean edu::tum::cs::srl::bayesnets::inference::SATISEx::exploitCSI = false [package]

whether to exploit context-specific independence (CSI) when extending the KB

Definition at line 30 of file SATISEx.java.

---

The documentation for this class was generated from the following file:

• SATISEx.java