Sequential diagnosis by abstraction

Journal of Artificial Intelligence Research

Volumn 41, Issue , 2011, Pages 329-365

  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

AVERAGE COST; BENCHMARK CIRCUIT; COST ESTIMATIONS; HIERARCHICAL DIAGNOSIS; LARGE SYSTEM; LOGICAL FORMS; MEASUREMENT POINT SELECTION; MEASUREMENT POINTS; ORIGINAL SYSTEMS; SEQUENTIAL DIAGNOSIS;

ABSTRACTING; BAYESIAN NETWORKS; COSTS; INDEPENDENT COMPONENT ANALYSIS;

HIERARCHICAL SYSTEMS;

EID: 80053414943     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.3296     Document Type: Article

References (28)

1. Brglez, F., & 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 (ISCAS), pp. 695-698.
2. Chittaro, L., & Ranon, R. (2004). Hierarchical model-based diagnosis based on structural abstraction. Artificial Intelligence, 155 (1-2), 147-182.
3. Choi, A., Chavira, M., & 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), pp. 57-66.
4. Darwiche, A., & Marquis, P. (2002). A knowledge compilation map. Journal of Artificial Intelligence Research, 17, 229-264.
5. Darwiche, A. (2001). Decomposable negation normal form. Journal of the ACM, 48 (4), 608-647.
6. Darwiche, A. (2003). A differential approach to inference in Bayesian networks. Journal of the ACM, 50 (3), 280-305.
7. Darwiche, A. (2004). New advances in compiling CNF into decomposable negation normal form. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), pp. 328-332.
8. Darwiche, A. (2005). The c2d compiler user manual. Tech. rep. D-147, Computer Science Department, UCLA. http://reasoning.cs.ucla.edu/c2d/.
9. de Kleer, J., & Williams, B. C. (1987). Diagnosing multiple faults. Artificial Intelligence, 32 (1), 97-130.
10. de Kleer, J. (1992). Focusing on probable diagnosis. In Readings in model-based diagnosis, pp. 131-137. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
11. de Kleer, J. (2006). Improving probability estimates to lower diagnostic costs. In 17th International Workshop on Principles of Diagnosis (DX).
12. de Kleer, J., Raiman, O., & Shirley, M. (1992). One step lookahead is pretty good. In Readings in model-based diagnosis, pp. 138-142. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
13. Feldman, A., & van Gemund, A. (2006). A two-step hierarchical algorithm for model-based diagnosis. In Proceedings of the 21st AAAI Conference on Artificial Intelligence (AAAI), pp. 827-833. (Pubitemid 44705381)
14. Feldman, A., Provan, G. M., & van Gemund, A. J. C. (2009). FRACTAL: efficient fault isolation using active testing. In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI), pp. 778-784.
15. Flesch, I., Lucas, P., & van der Weide, T. (2007). Conict-based diagnosis: Adding uncertainty to model-based diagnosis. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), pp. 380-385.
16. Forbus, K. D., & de Kleer, J. (1993). Building problem solvers. MIT Press, Cambridge, MA, USA.
17. Hansen, M. C., Yalcin, H., & Hayes, J. P. (1999). Unveiling the ISCAS-85 benchmarks: A case study in reverse engineering. IEEE Design and Test of Computers, 16 (3), 72-80. (Pubitemid 30497933)
18. Heckerman, D., Breese, J. S., & Rommelse, K. (1995). Decision-theoretic troubleshooting. Communications of the ACM, 38 (3), 49-57.
19. Jensen, F. V. (2001). Bayesian networks and decision graphs. Springer-Verlag New York, Inc., Secaucus, NJ, USA.
20. Kirkland, T., & Mercer, M. R. (1987). A topological search algorithm for ATPG. In Proceedings of the 24th Conference on Design Automation (DAC), pp. 502-508.
21. Marinescu, R., Kask, K., & Dechter, R. (2003). Systematic vs. non-systematic algorithms for solving the MPE task. In Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI), pp. 394-402.
22. Out, D.-J., van Rikxoort, R., & Bakker, R. (1994). On the construction of hierarchic models. Annals of Mathematics and Artificial Intelligence, 11 (1-4), 283-296.
23. Pearl, J. (1988). Probabilistic reasoning in intelligent systems: Networks of plausible inference. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
24. Pipatsrisawat, K., & Darwiche, A. (2007). Clone: Solving weighted Max-SAT in a reduced search space. In Proceedings of the 20th Australian Joint Conference on Artificial Intelligence (AI), pp. 223-233.
25. Siddiqi, S., & Huang, J. (2007). Hierarchical diagnosis of multiple faults. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), pp. 581-586.
26. Siddiqi, S., & Huang, J. (2010). New advances in sequential diagnosis. In Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 17-25.
27. Torta, G., & Torasso, P. (2003). Automatic abstraction in component-based diagnosis driven by system observability. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI), pp. 394-402.
28. Torta, G., & Torasso, P. (2008). A symbolic approach for component abstraction in model-based diagnosis. In 19th International Workshop on Principles of Diagnosis (DX).