The model-based diagnosis project at the University of Twente has been directed at improving the practical usefulness of model-based diagnosis. In cooperation with industrial partners, the research addressed the modeling problem and the efficiency problem in model-based reasoning.Main results of this research are that (1) re-use of electronically available descriptions of systems for diagnostic purposes is possible, and (2) efficient reasoning can be realized using PDE, hierarchic models, and a simple diagnostic strategy. We have built a prototype diagnostic system which shows the technical feasibility of model-based diagnosis in a computer system.The project was concluded in July 1993 by the development of the 'Diagnostic Toolbox'. The Diagnostic Toolbox supports the modeling of technical systems for diagnostic purposes, and it contains several model-based reasoning methods.
|Journal||Future generation computer systems|
|Publication status||Published - 1993|
|Event||ESA Workshop on Artificial Intelligence and Knowledge Based Systems 1993 - Noordwijk, Netherlands|
Duration: 17 May 1993 → 19 May 1993
- Model-based diagnosis
- Computational efficiency