论文部分内容阅读
Reiter presented the first formal framework for model-based diagnosis using logic. However, Reiter’s theory is unimplemented because it suffers from some shortcomings. An extension to Reiter’s diagnostic theory is established to overcome the shortcomings.