Hierarchical model-based diagnosis based on structural abstraction

Artificial Intelligence

Volumn 155, Issue 1-2, 2004, Pages 147-182

  Chittaro, Luca ^a   Ranon, Roberto ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

Abstraction; Hierarchical reasoning; Model based diagnosis

Indexed keywords

ABSTRACTING; ALGORITHMS; COMPUTATIONAL COMPLEXITY; HIERARCHICAL SYSTEMS; SEMANTICS;

HIERARCHICAL REASONING; MODEL-BASED DIAGNOSIS;

ARTIFICIAL INTELLIGENCE;

EID: 1842616054     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2003.06.003     Document Type: Article

References (22)

1. Autio K., Reiter R. Structural abstraction in model-based diagnosis. Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI-98), Brighton, UK. 1998;269-273 Wiley, New York.
2. Chittaro L., Ranon R. Hierarchical diagnosis guided by observations. Proceedings of IJCAI-2001, Seattle, WA. 2001;573-578 Morgan Kaufmann, San Mateo, CA.
3. Chittaro L., Ranon R., Soldati A. Introducing deviations and multiple abstraction levels in the functional diagnosis of fluid transfer systems. Artificial Intelligence in Engineering. 12:1998;355-373.
4. Console L., Torasso P. A spectrum of logical definitions of model-based diagnosis. Console W.H.L., de Kleer J. Readings in Model-Based Diagnosis. 1992;78-87 Morgan Kaufmann, San Mateo, CA.
5. Davis R. Diagnostic reasoning based on structure and behavior. Artificial Intelligence. 24:1984;347-410.
6. Davis R., Hamscher W. Model-based reasoning: troubleshooting. Console W.H.L., de Kleer J. Readings in Model-Based Diagnosis. 1992;3-24 Morgan Kaufmann, San Mateo, CA.
7. de Kleer J. Diagnosis with behavioral modes. Proceedings of IJCAI-89, Detroit, MI. 1989;104-109 Morgan Kaufmann, San Mateo, CA.
8. de Kleer J., Mackworth A.K., Reiter R. Characterizing diagnoses and systems. Artificial Intelligence. 56:1992;197-222.
9. de Kleer J., Williams B.C. Diagnosing multiple faults. Artificial Intelligence. 32:1987;97-130.
10. Genesereth M. The use of design descriptions in automated diagnosis. Artificial Intelligence. 24:1984;411-436.
11. Giunchiglia F., Walsh T. A theory of abstraction. Artificial Intelligence. 57:(2-3):1992;323-389.
12. Hamscher W.C. Modeling digital circuits for troubleshooting. Artificial Intelligence. 51:1991;223-271.
13. Mauss J., Sachenbacher M. Conflict-driven diagnosis using relational aggregations. Proceedings of the Tenth International Workshop on Principles of Diagnosis (DX-99), Loch Awe, Scotland. 1999;174-183.
14. Mozetic I. Hierarchical diagnosis. Console W.H.L., de Kleer J. Readings in Model-Based Diagnosis. 1992;354-372 Morgan Kaufmann, San Mateo, CA.
15. Nayak P.P., Levy A.Y. A semantic theory of abstractions. Proceedings of IJCAI-95, Montreal, QB. 1995;196-203 Morgan Kaufmann, San Mateo, CA.
16. Price C.J., Taylor N.S. Multiple fault diagnosis using fmea. Proceedings of AAAI-97, Providence, RI. 1997;1052-1057 AAAI Press.
17. Ranon R. The closure properties of functional flow-based approaches and their relevance to diagnosis. Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI-98), Brighton, UK. 1998;289-290 Wiley, New York.
18. Reiter R. A theory of diagnosis from first principles. Console W.H.L., de Kleer J. Readings in Model-Based Diagnosis. 1992;29-48 Morgan Kaufmann, San Mateo, CA.
19. Struss P. What's in sd? towards a theory of diagnosis. Console W.H.L., de Kleer J. Readings in Model-Based Diagnosis. 1992;419-449 Morgan Kaufmann, San Mateo, CA.
20. M. Stumptner, F. Wotawa, Guest-editorial special issue on industrial applications of model-based reasoning, AI Comm. 13 (2).
21. Swi prolog, University of Amsterdam http://www.swi-prolog.org.
22. Travé-Massuyés L., Escobet T., Milne R. Model-based diagnosability and sensor placement application to a frame 6 gas turbine subsystem. Proceedings of IJCAI-2001, Seattle, WA. 2001;551-556 Morgan Kaufmann, San Mateo, CA.