HP Labs Technical Reports
A Tractable Approach to Analogue Circuit Diagnosis
Abstract: In designing any practical Model-Based system, it is essential to make simplifying assumptions in order to render the problem tractable. This paper discusses the choices that were made in designing the knowledge base and inference process for the ROSALIND system, which diagnoses problems with analog in-circuit tests. We argue that given the completeness implications of qualitative abstractions, the diagnostic process is best modeled with a hybrid abductive/consistency-based approach.
Back to Index