Diagnosis as a variable assignment problem: A case study in space robot fault diagnosis

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1999, Pages 1087-1093

  Portinale, Luigi ^a   Torasso, Pietro ^b  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT FRAMEWORK; CONCISE REPRESENTATIONS; DIAGNOSTIC PROBLEM; DIAGNOSTIC STRATEGY; EXPERIMENTAL DATUM; FAULT LOCALIZATION; RELEVANT INFORMATIONS; VARIABLE ASSIGNMENT;

ARTIFICIAL INTELLIGENCE; HEURISTIC ALGORITHMS; MODULAR ROBOTS;

COMBINATORIAL OPTIMIZATION;

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

References (12)

1. G. Biswas, R. Kapadia, and X.W. Yu. Combined qualitative-quantitative steady-state diagnosis of continuous-valued systems. IEEE Trxms. SMC, 27(2): 167-185, 1997. (Pubitemid 127770700)
2. L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3): 133-141, 1991.
3. J. de Kleer and B.C. Williams. Diagnosis with behavioral modes. In Proc. 11th 1JCA1, pages 1324 1330, Detroit, 1989.
4. de Kleer, A. Mackworth, and R. Reiter. Characterizing diagnoses and systems. Artificial Intelligence, 56(2:3):197-222, 1992.
5. J. de Kleer. Focusing on probable diagnoses. In Proc. AAAI 91, pages 842-848, Anaheim, CA, 1991.
6. Y. ElFattah and R. Dechter. Diagnosing tree-decomposable circuits. In Proc. IJCAI 95, pages 1742 1748, Montreal, 1995.
7. T. Mitchell. Machine L carntnq. Mc Graw Hill, 1997.
8. R. Mugnuolo, S. Di Pippo, P.G. Magnani, and E. Re. The SPIDER manipulation system (SMS). Robotics and Autonomous Systems, 23(1-2):79 88, 1998.
9. Y. Peng and .). Reggia. Abductive inference models for diagnostic problem solving. Springer-Verlag, 1991.
10. L. Portinale, P. Torasso, and G.L. Correndo. Knowledge representation and reasoning for fault identification in a space robot arm. In Proc. 5th Int. Symp. on A I, Robotics and Automation in Space, Noordwijk, 1999.
11. R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1) :57 96, 1987.
12. J. Rissanen. A universal prior for integers and estimation by minimum description length. Annals of Statistics, 11(2):416-431, 1983.