Probabilistic sequential diagnosis by compilation

10th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008

Volumn , Issue , 2008, Pages

  Siddiqi, Sajjad ^a   Huang, Jinbo ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT FAILURES; EFFICIENT COMPUTATION; LARGE CIRCUITS; MEASUREMENT POINTS; NORMAL FORM; POSTERIOR PROBABILITY; PROBABILISTIC HEURISTICS; SEQUENTIAL DIAGNOSIS; SYSTEM COMPONENTS; SYSTEM MODELS; SYSTEM VARIABLES;

BAYESIAN NETWORKS; ENTROPY; PROBABILITY DISTRIBUTIONS;

ARTIFICIAL INTELLIGENCE;

EID: 84864580126     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Brglez, F., and Fujiwara, H. 1985. A neutral netlist of 10 combinational benchmark circuits and a target translator in Fortran. In Proceedings of the IEEE International Symposium on Circuits and Systems, 695-698.
2. Darwiche, A., and Marquis, P. 2002. A knowledge compilation map. Journal of Artificial Intelligence Research 17:229-264.
3. Darwiche, A. 2001. Decomposable negation normal form. Journal of the ACM 48(4):608-647.
4. Darwiche, A. 2003. A differential approach to inference in bayesian networks. Journal of the ACM 50(3):280-305.
5. Darwiche, A. 2004. New advances in compiling CNF into decomposable negation normal form. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), 328-332.
6. Darwiche, A. 2005. The C2D compiler user manual. Technical Report D-147, Computer Science Department, UCLA. http://reasoning.cs.ucla.edu/c2d/.
7. de Kleer, J., and Williams, B. C. 1987. Diagnosing multiple faults. Journal of Artificial Intelligence 32(1):97-130.
8. de Kleer, J.; Raiman, O.; and Shirley, M. 1992. One step lookahead is pretty good. In Readings in model-based diagnosis. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc. 138-142.
9. de Kleer, J. 2007. Improved analysis of probability estimates in model-based diagnosis. In Twenty-Second AAAI Conference on Artificial Intelligence (AAAI).
10. Flesch, I.; Lucas, P.; and van der Weide, T. 2007. Conflict-based diagnosis: Adding uncertainty to model-based diagnosis. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), 380-385.
11. Forbus, K. D., and de Kleer, J. 1993. Building problem solvers. Cambridge, MA, USA: MIT Press.
12. Heckerman, D.; Breese, J. S.; and Rommelse, K. 1995. Decision-theoretic troubleshooting. Communications of the ACM 38(3):49-57.
13. Jensen, F. V. 2001. Bayesian Networks and Decision Graphs. Secaucus, NJ, USA: Springer-Verlag New York, Inc.
14. Pearl, J. 1988. Probabilistic reasoning in intelligent systems: Networks of plausible inference. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc.
15. Siddiqi, S., and Huang, J. 2007. Hierarchical diagnosis of multiple faults. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), 581-586.