New advances in sequential diagnosis

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 17-25

  Siddiqi, Sajjad ^a   Huang, Jinbo ^b  

^a NATIONAL UNIVERSITY OF SCIENCES AND TECHNOLOGY   (Pakistan)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CLONE CELLS;

LARGE SYSTEM; MEASUREMENT POINT SELECTION; MEASUREMENT POINTS; MEASUREMENTS OF; SEQUENTIAL DIAGNOSIS;

KNOWLEDGE REPRESENTATION;

EID: 80053391581     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Choi, A.; Chavira, M.; and Darwiche, A. 2007. Node splitting: A scheme for generating upper bounds in Bayesian networks. In Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence (UAI), 57-66.
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. 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. 1992. Focusing on probable diagnosis. In Readings in model-based diagnosis. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc. 131-137.
10. de Kleer, J. 2006. Improving probability estimates to lower diagnostic costs. In 17th International Workshop on Principles of Diagnosis (DX).
11. Feldman, A.; Provan, G.; and van Gemund, A. 2009. FRACTAL: Efficient fault isolation using active testing. In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI), 778-784.
12. Flesch, I.; Lucas, P.; and van der Weide, T. 2007. Conflictbased diagnosis: Adding uncertainty to model-based diagnosis. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), 380-385.
13. Forbus, K. D., and de Kleer, J. 1993. Building problem solvers. Cambridge, MA, USA: MIT Press.
14. Heckerman, D.; Breese, J. S.; and Rommelse, K. 1995. Decision-theoretic troubleshooting. Communications of the ACM 38(3):49-57.
15. Pearl, J. 1988. Probabilistic reasoning in intelligent systems: Networks of plausible inference. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc.
16. 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.
17. Siddiqi, S., and Huang, J. 2008. Probabilistic sequential diagnosis by compilation. In International Symposium on Artificial Intelligence and Mathematics.