Compact diagnoses representation in diagnostic problem solving

Computational Intelligence

Volumn 21, Issue 1, 2005, Pages 27-68

  Torasso, Pietro ^a   Torta, Gianluca ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Diagnosis; Encoding of diagnoses; Model based reasoning; Multiple behavioral modes; Noisy max interactions modeling; Preferred diagnoses

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS; PROBABILITY; SET THEORY; TREES (MATHEMATICS);

ENCODING OF DIAGNOSIS; MODEL-BASED REASONING; MULTIPLE BEHAVIORAL MODES; NOISY-MAX INTERACTIONS MODELING; PREFERRED DIAGNISIS;

PROBLEM SOLVING;

EID: 14844353975     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/j.0824-7935.2005.00264.x     Document Type: Review

References (25)

1. BYLANDER, T., D. ALLEMANG, M. TANNER, and J. JOSEPHSON. 1991. The computational complexity of abduction. Artificial Intelligence, 49(1-3):25-60.
2. CONSOLE, L., and O. DRESSLER. 1999. Model-based diagnosis in the real world: Lessons learned and challenges remaining. In Proceedings of the 16th International Joint Conference on Artificial Intelligence - IJCAI99, Stockholm, Sweden, pp. 1393-1400.
3. CONSOLE, L., and P. TORASSO. 1991. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133-141.
4. DARWICHE, A. 1998. Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research, 8:165-222.
5. DARWICHE, A., and G. PROVAN. 1997. The effect of observations on the complexity of model-based diagnosis. In Proceedings of the 14th National Conference on Artificial Intelligence - AAAI97, Montreal, Canada, pp. 99-104.
6. DE KLEER, J. 1990. Using crude probability estimates to guide diagnosis. Artificial Intelligence, 45(3):381-391.
7. DE KLEER, J., and B. C. WILLIAMS. 1987. Diagnosing multiple faults. Artificial Intelligence, 32(1):97-130.
8. DE KLEER, J., A. MACKWORTH, and R. REITER. 1992. Characterizing diagnoses and systems. Artificial Intelligence, 56(2-3):197-222.
9. DECHTER, R., and Y. EL FATTAH. 1995. Diagnosing tree-decomposable circuits. In Proceedings of the 14th International Joint Conference on Artificial Intelligence - IJCAI95, Montreal, Canada.
10. FRIEDRICH, G. 1993. Theory diagnoses: A concise characterization of faulty systems. In Proceedings of the 13th International Joint Conference on Artificial Intelligence - IJCAI93, Chambery, France, pp. 1466-1471.
11. FRIEDRICH, G., G. GOTTLOB, and W. NEJDL. 1990. Physical impossibility instead of fault models. In Proceedings of the Eighth National Conference on Artificial Intelligence - AAAI90, Boston, USA, pp. 331-336.
12. HILL, F. J., and G. R. PETERSON. 1974. Introduction to Switching-Theory and Logical Design. Wiley, New York.
13. KURIEN, J., and P. PANDURANG NAYAK. 2000. Back to the future for consistency-based trajectory tracking. In Proceedings of the 17th National Conference on Artificial Intelligence - AAAI2000, pp. 370-377.
14. LUCAS, P. 1998. Analysis of notions of diagnosis. Artificial Intelligence, 105:295-343.
15. MOZETIČ, I. 1991. Hierarchical model-based diagnosis. International Journal of Man-Machine Studies, 35(3):329-362.
16. MUGNUOLO, R., S. DI PIPPO, P. G. MAGNANI, and E. RE. 1998. The spider manipulation system (sms). Robotics and Autonomous Systems, 23(1-2):79-88.
17. MUSCETTOLA, N., P. NAYAK, B. PELL, and B. WILLIAMS. 1998. Remote agent: To boldly go where no ai system has gone before. Artificial Intelligence, 103:5-47.
18. PORTINALE, L., and P. TORASSO. 1999. Diagnosis as a variable assignment problem: A case study in a space robot fault diagnosis. In Proceedings of the 16th International Joint Conference on Artificial Intelligence - IJCAI99, Stockholm, Sweden, pp. 1087-1093.
19. PORTINALE, L., P. TORASSO, and G. CORRENDO. 1999. Knowledge representation and reasoning for fault identification in a space robot arm. In Proceedings of the Fifth International Symposium on AI, Robotics and Automation is Space - iSAIRAS99, Noordwijk, Holland, pp. 539-546.
20. PROVAN, G. 2001. Hierarchical model-based diagnosis. In Proceedings of the 12th International Workshop on Principles of Diagnosis - DX01, San Sicario, Italy, pp. 329-362.
21. REITER, R. 1987. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-96.
22. SACHENBACHER, M., and P. STRUSS. 2003. Automated qualitative domain abstraction. In Proceedings of the 18th International Joint Conference on Artificial Intelligence - IJCAI03, Acapulco, Mexico, pp. 382-387.
23. SRINIVAS, S. 1993. A generalization of the noisy-or model. In Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence - UAI93, pp. 208-215.
24. TORASSO, P., and G. TORTA. 2002. Merging indiscriminable diagnoses: An approach based on automatic domains abstraction. In Proceedings of the 13th International Workshop on Principles of Diagnosis - DX02, Semmering, Austria, pp. 43-50.
25. TORTA, G., and P. TORASSO. 2003. Automatic abstraction in component-based diagnosis driven by system observability. In Proceedings of the 18th International Joint Conference on Artificial Intelligence - IJCAI03, Acapulco, Mexico, pp. 394-400.