Automatic abstraction in component-based diagnosis driven by system observability

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 394-400

  Torta, Gianluca ^a   Torasso, Pietro ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC ABSTRACTIONS; AUTOMATIC SYNTHESIS; DIAGNOSTIC AGENTS; FORMAL DEFINITION; GENERAL DIAGNOSIS; MODEL BASED DIAGNOSIS; SPACE ROBOTIC ARM; SYSTEM OBSERVABILITY;

ARTIFICIAL INTELLIGENCE; OBSERVABILITY;

ABSTRACTING;

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

References (14)

1. K. Autio and R. Reiter. Structural abstraction in model-based diagnosis. In Proc. ECAI98, pages 269-273, 1998.
2. L. Chittaro and R. Ranon. Hierarchical diagnosis guided by observations. In Proc. IJCAI01, pages 573-578, 2001.
3. L. Console and D. Theseider Dupre. Abductive reasoning with abstraction axioms. LNCS, 810:98-112, 1994.
4. A. Darwiche. Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research, 8:165-222, 1998. (Pubitemid 128636197)
5. G. Friedrich. Theory diagnoses: A concise characterization of faulty systems. In Proc. IJCAI93, pages 1466-1471, 1993.
6. I. Mozetic. Hierarchical model-based diagnosis. Int. Journal of Man-Machine Studies, 35(3):329 362, 1991.
7. D.J. Out, R. van Rikxoort, and R. Bakker. On the construction of hierarchic models. Annals of Mathematics and AI, 11:283-296,1994.
8. G. Pagallo and D. Haussler. Boolean feature discovery in empirical learning. Machine Learning, 5:71-99, 1990. (Pubitemid 23621640)
9. L. Portinale and P. Torasso. Diagnosis as a variable assignment problem: a case study in a space robot fault diagnosis. In Proc. IJCAI99, pages 1087 1093, 1999.
10. G. Provan. Hierarchical model-based diagnosis. In Proc. DX01, pages 329-362, 2001.
11. M. Sachenbacher and P. Struss. Aqua: A framework for automated qualitative abstraction. In Proc. QR01, 2001.
12. P. Struss, A. Malik, and M. Sachenbacher. Qualitative modeling is the key to automated diagnosis. In Proc. IFAC96, 1996.
13. P. Struss. Fundamentals of model-based diagnosis of dynamic systems. In Proc. IJCAI97,1997.
14. P. Torasso and G. Torta. Merging indiscriminable diagnoses: an approach based on automatic domains abstraction. In Proc. DX02, pages 43-50, 2002.