ECAI-2000 Conference Paper

[full paper]

A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis

Marie-Odile Cordier, Philippe Dague, Michel Dumas, François Lévy, Jacky Montmain, Marcel Staroswiecki, Louise Travé-Massuyès

Two distinct and parallel research communities have been working along the lines of the Model-Based Diagnosis approach: the FDI community and the DX community that have evolved in the fields of Automatic Control and Artificial Intelligence, respectively. This paper clarifies and links the concepts that underlie the FDI analytical redundancy approach and the DX logical approach. The formal match of the two approaches is demonstrated and the theoretical proof of their equivalence is provided under various assumptions.

Keywords: Diagnosis, Model-Based Reasoning

Citation: Marie-Odile Cordier, Philippe Dague, Michel Dumas, François Lévy, Jacky Montmain, Marcel Staroswiecki, Louise Travé-Massuyès: A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.136-140.