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.

Abstract

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.

Download


If you have comments or suggestions, email me at mauss@informatik.tu-muenchen.de
created: Arsineh Keshishian, Aug 21,1997, last updated: Arsineh Keshishian, Aug 21,1997