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.