Diamon: a model-based troubleshooter based on qualitative reasoning

Diamon, a diagnosis and monitoring system for troubleshooting dynamic systems, is discussed. The Diamon algorithm combines consistency-based diagnosis with model-based monitoring by integrating technological parameter-based monitoring models and repair-oriented device-based diagnosis models. It uses an extension of Qsim to represent qualitative system models. Diamon can detect and localize a broad range of nonpermanent faults and thus extends traditional diagnosis, which deals exclusively with permanent faulty behavior.<
>