de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Probababilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons44689

Jaeger,  Manfred
Programming Logics, MPI for Informatics, Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

Jaeger, M. (2002). Probababilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference. In Proceedings of the First European Workshop on Probabilistic Graphical Models (pp. 81-88). -: Computer Science Department, University of Castilla - La Mancha.


Cite as: http://hdl.handle.net/11858/00-001M-0000-000F-3036-9
Abstract
We adopt probabilistic decision graphs developed in the field of automated verification as a tool for probabilistic model representation and inference. We show that probabilistic inference has linear time complexity in the size of the probabilistic decision graph, that the smallest probabilistic decision graph for a given distribution is at most as large as the smallest junction tree for the same distribution, and that in some cases it can in fact be much smaller. Behind these very promising features of probabilistic decision graphs lies the fact that they integrate into a single coherent framework a number of representational and algorithmic optimizations developed for Bayesian networks (use of hidden variables, context-specific independence, structured representation of conditional probability tables).