Towards knowledge compilation for automated diagnosis: A qualitative, model-based approach with constraint programming

Abstract

The main idea of Consistency-Based Diagnosis rests in generation of diagnostic hypotheses stating which components of the system may be faulty, so that assuming them faulty explains the observations in a consistent way. Such diagnostic process is analyzed from qualitative perspective. Qualitative diagnostic inference, qualitative conflicts and qualitative diagnoses are presented in detail. Finally, we examine how qualitative knowledge can contribute to refinement of diagnostic inference and how compilation of diagnostic knowledge can be approached.