Probabilistic decision graphs - Combining verification and AI techniques for probabilistic inference

International Journal of Uncertainty, Fuzziness and Knowldege-Based Systems

Volumn 12, Issue SUPPL. 1, 2004, Pages 19-42

  Jaeger, Manfred ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; DECISION SUPPORT SYSTEMS; FUNCTIONS; GRAPH THEORY; OPTIMIZATION; PROBABILITY DISTRIBUTIONS; SET THEORY;

BAYESIAN NETWORKS; DECISION GRAPHS; INFERENCE PROBLEMS; ORDERED BINARY DECISION DIAGRAMS (OBDD);

KNOWLEDGE BASED SYSTEMS;

EID: 8444244893     PISSN: 02184885     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218488504002564     Document Type: Article

References (18)

1. Andersson, S. A., Madigan, D. & Perlman, M. D. (1997), 'A characterization of markov equivalence classes for acyclic digraphs', The Annals of Statistics 25(2), 505-541.
2. Billingsley, P. (1986), Probability and Measure, Wiley.
3. Boutilier, C., Friedman, N., Goldszmidt, M. & Koller, D. (1996), Context-specific independence in Bayesian networks, in 'Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence (UAI-96)', Portland, Oregon, pp. 115-123.
4. Bozga, M. & Maler, O. (1999), On the representation of probabilities over structured domains, in 'Proceedings of CAV-99', number 1633 in 'Lecture Notes in Computer Science'.
5. Bryant, R. E. (1986), 'Graph-based algorithms for boolean function manipulation', IEEE Transactions on Computers 35(8), 677-691.
6. Cano, A., Moral, S. & Salmeron, A. (2000), 'Penniless propagation in join trees', International Journal of Intelligent Systems 15(11), 1027-1059.
7. Cowell, R. G., Dawid, A. P., Lauritzen, S. L. & Spiegelhalter, D. J. (1999), Probabilistic Networks and Expert Systems, Springer.
8. Darwiche, A. (2000), A differential approach to inference in Bayesian networks, in 'Proceedings of the Sixteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-2000)'.
9. Darwiche, A. (2002), A logical approach to factoring belief networks, in 'Proceedings of KR-2002'.
10. Dechter, R. (1996), Bucket elimination: A unifying framework for probabilistic inference, in 'Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence (UAI-96)', Portland, Oregon, pp. 211-219.
11. Fujita, M., McGeer, P. C. & Yang, J.-Y. (1997), 'Multi-terminal binary decision diagrams: an efficient data structure for matrix representation', Formal Methods in System Design 10, 149-169.
12. Jensen, F. (2001), Bayesian Networks and Decision Graphs, Springer.
13. Koenig, S. & Simmons, R. G. (1994), Risk-sensitive planning with probabilistic decision graphs, in 'Principles of Knowledge Representation and Reasoning, Proceedings of the Fourth International Conference (KR-94)', pp. 363-373.
14. Lai, Y.-T. & Sastry, S. (1992), Edge-valued binary decision diagrams for multi-level hi erarchical verification, in 'Proceedings of the 29th. ACM/IEEE Design Automation Conference', pp. 608-613.
15. Nielsen, T. D., Wuillemin, P.-H., Jensen, F. V. & Kjærulff, U. (2000), Using ROBDDs for inference in Bayesian networks with troubleshooting as an example, in 'Proceedings of the Sixteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-2000)'.
16. Pearl, J. (1988), Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, The Morgan Kaufmann series in representation and reasoning, rev. 2nd pr. edn, Morgan Kaufmann, San Mateo, CA.
17. Verma, T. & Pearl, J. (1991), Equivalence and synthesis of causal models, in P. Bonissone, M. Henrion, L. Kanal & J. Lemmer, eds, 'Uncertainty in Artificial Intelligence 6', Elsevier Science Publishers, pp. 255-268.
18. Zhang, N. L. & Poole, D. (1999), On the role of context-specific independence in probabilistic inference, in 'Proc. Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99)', pp. 1288-1293.