Technical University of Munich, Department of Computer Science
MQM Paper: [Dressler/Struss 94]

Oskar Dressler, Peter Struss

Model-based Diagnosis with the Default-based Diagnosis Engine: Effective Control Strategies that Work in Practice

In: Proceedings of the European Conference on Artificial Intelligence, ECAI-94, John Wiley & Sons, 1994.


This paper presents a set of focusing methods for model-based diagnosis systems. They aim at restricting the efforts spent on different computational tasks: the generation of diagnosis candidates, model-based prediction, and dependency recording. Building upon our previous work on exploiting a preference order on component faults in the default-based diagnosis engine (DDE), we formally describe the focusing principles and show their validity in a default logic framework.


If you have comments or suggestions, email me at
created: Anton Seidl, Jan 29, 1997, last updated: Jakob Mauss, December 4, 1998