Technical University of Munich, Department of Computer
MQM Paper: [Dressler/Struss 92a]
Oskar Dressler, Peter Struss
Back to Defaults: Characterizing and Computing Diagnoses as Coherent Assumption Sets
In: Proceedings of the Third International Workshop on Principles of Diagnosis (DX-92), Rosario, Washington, USA, Oct 12 -14, pp.50-56, 1992.
We define preferred diagnoses as a generalization of minimal diagnoses and characterize them in default logic. Even more important, we show how preferred diagnoses can be computed such that preference checking is interleaved with generation of diagnoses. Moreover, we discuss the use of abductive diagnosis criteria for selecting "explaining" diagnoses among the preferred ones.