A framework for decentralized qualitative model-based diagnosis

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 286-291

  Console, Luca ^a   Picardi, Claudia ^a   Theseider Dupré, Daniele ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DIAGNOSERS; MODEL BASED DIAGNOSIS; QUALITATIVE CONSTRAINTS; RUNTIMES; STANDARD INTERFACE;

LARGE SCALE SYSTEMS; SUPERVISORY PERSONNEL;

ARTIFICIAL INTELLIGENCE;

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

References (9)

1. L. Ardissono, L. Console, A. Goy, G. Petrone, C. Picardi, M. Segnan, and D. Theseider Dupré. EnhancingWeb Services with diagnostic capabilities. In Proceedings of the 3rd IEEE European Conference on Web Services (ECOWS 2005), Vaxjo, Sweden, 2005.
2. V. Brusoni, L. Console, P. Terenziani, and D. Theseider Dupré. A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence, 102(1):39-79, 1998. (Pubitemid 128378357)
3. J. de Kleer, A. Mackworth, and R. Reiter. Characterizing diagnoses and systems. Artificial Intelligence, 56(2-3):197-222, 1992.
4. M.R. Genesereth. The use of design descriptions in automated diagnosis. Artificial Intelligence, 24(1-3):411-436, 1984.
5. A. Malik and P. Struss. Diagnosis of dynamic systems does not necessarily require simulation. In Proc. 7th Int. Work. on Principles of Diagnosis (DX-96), pages 147-156, 1996.
6. I. Mozetic. Hierarchical model-based diagnosis. Int. J. of Man-Machine Studies, 35(3):329-362, 1991.
7. Y. Pencolé and M.-O. Cordier. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence, 164(1-2), 2005.
8. G. Provan. A model-based diagnostic framework for distributed systems. In Proc. 13th Int. Work. on Principles of Diagnosis (DX- 02), pages 16-22, 2002.
9. N. Roos, A. ten Teije, and C. Witteveen. A protocol for multi-agent diagnosis with spatially distributed knowledge. In 2nd Int. Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia, July 2003.