2.4 基于模型的诊断
基于模型诊断（Model-Based Diagnosis, MBD）是为了克服传统基于规则诊断方法的严重缺陷而兴起的智能诊断方法，避免了基于规则诊断方法对被诊断问题进行规则提取及其带来的不完备性问题。 MBD 依据被诊断问题的拓扑结构和逻辑行为知识将诊断问题建模为可满足问题（Satisfiability Problem, SAT），随后利用智能推理技术进行完备性诊断求解。MBD 智能诊断方法一经提出，就引起了国际人工智能和故障诊断领域众多专家和学者的赞誉。人工智能领域著名学者 De Kleer 将其称为是故障诊断领域理论和方法上的重大技术性革命[147] 。著名 MBD 学者Struss 称基于推理技术的 MBD 方法是 AI 研究发展的试金石和重大挑战[148] 。著名人工智能学者 Dressler 和 Console 在 IJCAI-99 会议上特邀报告中指出：MBD 求解方法和理论的进一步研究，不仅是 AI 基础理论研究的需要，对整个 AI 领域研究的发展起着进一步深化和推动的作用[149] 。