In logic-based diagnosis, the consistency-based method is used to determine the possible sets of faulty devices. If the fault models of the devices are incomplete or nondeterministic, then this method does not necessarily yield abductive explanations of system behavior. Such explanations give additional information about faulty behavior and can be used for prediction. Unfortunately, system descriptions for the consistency-based method are often not suitable for abductive diagnosis. Methods for completing the fault models for abductive diagnosis have been suggested informally by Poole and by Cox et al. Here we formalize these methods by introducing a standard form for system descriptions. The properties of these methods are determined in relation to consistency-based diagnosis and compared to other ideas for integrating consistency-based and abductive diagnosis.
展开▼