Abstract:
A general method for model-based diagnosis is developed, which can handle multiple faulty modes, and will enable users to analyze the completeness of the system model, and to choose the observation subset appropriately, in order to have small diagnostic space with the right solutions in. The existent consistency-based diagnosis and abductive diagnosis are special cases of this method. The relationship between the diagnostic procedure and corresponding prime implication is analyzed for implementation.
