Technical University of Munich, Department of Computer Science
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.


If you have comments or suggestions, email me at
created: Arsineh Keshishian, Aug 21,1997, last updated: Arsineh Keshishian, Aug 21,1997