Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks

Artificial Intelligence

Volumn 88, Issue 1-2, 1996, Pages 69-100

  Poole, David ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Bayesian networks; Conflicts; Model based diagnosis; Probabilistic inference

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; NEURAL NETWORKS; PROBABILISTIC LOGICS; PROBABILITY;

BAYESIAN NETWORKS; PROBABILISTIC CONFLICTS; PROBABILISTIC INFERENCE;

ARTIFICIAL INTELLIGENCE;

EID: 0030416993     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(96)00022-7     Document Type: Article

References (41)

1. J.S. Breese and R. Blake, Automating computer bottleneck detection with belief nets, in: S. Besnard and S. Hanks, eds., Proceedings Eleventh Conference on Uncertainty in Artificial Intelligence, Montreal, Que. (1995) 36-45.
2. C.L. Chang and R.C.T. Lee, Symbolic Logical and Mechanical Theorem Proving (Academic Press, New York, 1973).
3. P. Dagum and M. Luby, Approximating probabilistic inference in Bayesian belief networks is NP-hard, Artif. Intell. 60 (1993) 141-153.
4. B. D'Ambrosio, Real-time value-driven diagnosis, in: Proceedings Third International Workshop on the Principles of Diagnosis, Rosario, WA (1992) 86-95.
5. B. D'Ambrosio, Incremental probabilistic inference, in: Proceedings Ninth Conference on Uncertainty in Artificial Intelligence, Washington, DC (1993) 301-308.
6. J. de Kleer, An assumption-based TMS, Artif. Intell. 28 (1986) 127-162.
7. J. de Kleer, Focusing on probable diagnoses, in: Proceedings AAAI-91, Anaheim, CA (1991) 842-848.
8. J. de Kleer, A.K. Mackworth and R. Reiter, Characterizing diagnoses and systems, Artif. Intell. 56 (1992) 197-222.
9. J. de Kleer and B.C. Williams, Diagnosing multiple faults, Artif. Intell. 32 (1987) 97-130.
10. K.J. Ezawa and T. Schuermann, Fraud/uncollectible debt detection using a Bayesian network based learning system: a rare binary outcome with mixed data structures, in: P. Besnard and S. Hanks, eds., Proceedings Eleventh Conference on Uncertainty in Artificial Intelligence, Montreal, Que. (1995) 157-166.
11. R. Fung and B. Del Favero, Backward simulation in Bayesian networks, in: R. Lopez de Mantaras and D. Poole, eds., Proceedings Tenth Conference on Uncertainty in Artificial Intelligence, Seattle, WA (1994) 227-234.
12. H. Geffner and J. Pearl, An improved constraint-propagation algorithm for diagnosis, in: Proceedings IJCAI-87, Milan (1987) 1105-1111.
13. M.R. Genesereth, The use of design descriptions in automated diagnosis, Artif. Intell. 24 (1984) 411-436.
14. W. Hamscher, L. Console and J. de Kleer, eds., Readings in Model-Based Diagnosis (Morgan Kaufmann, San Mateo, CA, 1992).
15. D. Heckerman, E. Horvitz and B. Nathwani, Toward normative expert systems: Part I. The Pathfinder project, Meth. Inform. Med. 31 (1992) 90-105.
16. M. Henrion, Propagating uncertainty in Bayesian networks by probabilistic logic sampling, in: J.F. Lemmer and L.N. Kanal, eds., Uncertainty in Artificial Intelligence 2 (Elsevier Science Publishers B.V., Amsterdam, 1988) 149-163.
17. M. Henrion, An introduction to algorithms for inference in belief nets, in: M. Henrion et al., eds., Uncertainty in Artificial Intelligence 5 (North-Holland, Amsterdam, 1990) 129-138.
18. M. Henrion, Search-based methods to bound diagnostic probabilities in very large belief networks, in: Proceedings Seventh Conference on Uncertainty in Artificial Intelligence, Los Angeles, CA (1991) 142-150.
19. E.J. Horvitz, H.J. Suermondt and G.F. Cooper, Bounded conditioning: flexible inference for decisions under scarse resources, in: Proceedings of the Fifth Workshop on Uncertainty in Artificial Intelligence, Windsor, Ont. (1989) 182-193.
20. R.A. Howard and J.E. Matheson, Influence diagrams, in: R.A. Howard and J. Matheson, eds., The Principles and Applications of Decision Analysis, Strategic Decisions Group, CA (1981) 720-762.
21. T. Hrycej, Gibbs sampling in Bayesian networks, Artif. Intell. 46 (1990) 351-363.
22. M. Hulme, Improved sampling for diagnostic reasoning in Bayesian networks, in: P. Besnard and S. Hanks, eds., Proceedings Eleventh Conference on Uncertainty in Artificial Intelligence, Montreal, Que. (1995) 315-322.
23. F.V. Jensen, S.L. Lauritzen and K.G. Olesen, Bayesian updating in causal probabilistic networks by local computations, Comput. Stat. Quart. 4 (1990) 269-282.
24. R.E. Korf, Depth-first iterative deepening: an optimal admissible tree search, Artif. Intell. 27 (1985) 97-109.
25. S.L. Lauritzen and D.J. Spiegelhalter, Local computations with probabilities on graphical structures and their application to expert systems, J. Roy. Stat. Soc. Ser. B 50 (1988) 157-224.
26. B. Middleton, M. Shwe, D.E. Heckerman, M. Henrion, E.J. Horvitz, H. Lehmann and G.F. Cooper, Probabilistic diagnosis using a reformulation of the INTERNIST-1/QMR knowledge base II: evaluation of diagnostic performance, Meth. Inform. Med. 30 (1991) 256-267.
27. J. Pearl, Heuristics (Addison-Wesley, Reading, MA, 1984).
28. J. Pearl, Fusion, propagation and structuring in belief networks, Artif. Intell. 29 (1986) 241-288.
29. J. Pearl, Evidential reasoning using stochastic simulation of causal models, Artif. Intell. 32 (1987) 245-257.
30. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufmann, San Mateo, CA, 1988).
31. D. Poole, Average-case analysis of a search algorithm for estimating prior and posterior probabilities in Bayesian networks with extreme probabilities, in: Proceedings IJCAI-93, Chambery (1993) 606-612.
32. D. Poole, Logic programming, abduction and probability: a top-down anytime algorithm for computing prior and posterior probabilities, New Generation Comput. 11 (1993) 377-400.
33. D. Poole, Probabilistic Horn abduction and Bayesian networks, Artif. Intell. 64 (1993) 81-129.
34. D. Poole, The use of conflicts in searching Bayesian networks, in: Proceedings Ninth Conference on Uncertainty in Artificial Intelligence, Washington, DC (1993) 359-367.
35. M. Pradhan, G. Provan, B. Middleton and M. Henrion, Knowledge engineering for large belief networks, in: R. Lopez de Mantaras and D. Poole, eds., Proceedings Tenth Conference on Uncertainty in Artificial Intelligence, Seattle, WA (1994) 484-490.
36. D.V. Pynadath and M.P. Wellman, Accounting for context in plan recognition, with application to traffic monitoring, in: P. Besnard and S. Hanks, eds., Proceedings Eleventh Conference on Uncertainty in Artificial Intelligence, Montreal, Que. (1995) 472-481.
37. H. Raiffa, Decision Analysis (Addison-Wesley, Reading, MA, 1968).
38. R. Reiter, A theory of diagnosis from first principles, Artif. Intell. 32 (1987) 57-95.
39. S.E. Shimony and E. Charniak, A new algorithm for finding MAP assignments to belief networks, in: Proceedings Sixth Conference on Uncertainty in Artificial Intelligence, Cambridge, MA (1990) 98-103.
40. M. Shwe, B. Middleton, D.E. Heckerman, M. Henrion, E.J. Horvitz, H. Lehmann and G.F. Cooper, Probabilistic diagnosis using a reformulation of the INTERNIST-1/QMR knowledge base I: probabilistic model and inference algorithms, Meth. Inform. Med. 30 (1991) 241-255.
41. S. Srinivas, A probabilistic approach to hierarchical model-based diagnosis, in: R. Lopez de Mantaras and D. Poole, eds., Proceedings Tenth Conference on Uncertainty in Artificial Intelligence, Seattle, WA (1994) 538-545.