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

Manfred Jaeger

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

Manfred Jaeger

Institut for Datalogi

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

38 Citationer (Scopus)

Abstrakt

Udgivelsesdato: JAN

Originalsprog	Engelsk
Tidsskrift	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Vol/bind	12
Sider (fra-til)	19-42
Antal sider	23
ISSN	0218-4885
Status	Udgivet - 2004

Citationsformater

@article{03d6e210c7d411db86ee000ea68e967b,

title = "Probabilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference",

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).",

keywords = "artificial intelligence",

author = "Manfred Jaeger",

year = "2004",

language = "English",

volume = "12",

pages = "19--42",

journal = "International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems",

issn = "0218-4885",

publisher = "World Scientific",

}

TY - JOUR

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

AU - Jaeger, Manfred

PY - 2004

Y1 - 2004

N2 - 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).

AB - 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).

KW - artificial intelligence

M3 - Journal article

VL - 12

SP - 19

EP - 42

JO - International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems

JF - International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems

SN - 0218-4885

ER -

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

Abstrakt

Fingeraftryk

Citationsformater