基于模型诊断是人工智能领域的热门研究课题,弥补了传统诊断方法的多种不足。其理论研究成果丰硕,并广泛应用于实际生产中,加快了人工智能的发展速度。通常分两步对其求解:首先,求解给定电路系统的全部极小冲突集;然后,求解全部极小冲突集的全部极小碰集,即为给定电路系统的全部极小诊断解。可满足问题(SAT)是经典的NP问题,其理论研究及技术应用发展成熟。很多问题都可以转化为可满足问题求解。国际上定期举办的SAT问题竞赛,使SAT求解器得到了快速的发展。因此,把极小冲突集求解问题转化为SAT问题是一个很好的研究方向。CSRDSE方法是一种结合SAT问题求解极小冲突集的方法。根据枚举树结构特点及冲突集相关推论,对枚举树中非冲突集的真子集节点及冲突集的真超集节点进行剪枝,减少访问节点数量,加快了问题的求解。本文在深度研究CSRDSE方法的基础上,根据对电路结构的分析,发现每个元件异常时对异常输出的影响程度不同,与电路系统异常输出端相关联的元件对异常输出的影响程度更大,且对异常输出影响较大的元件之间的组合更可能是冲突集。根据上述发现,提出了基于异常概率的极小冲突集求解方法(CSABP)。首先,给出了异常概率的定义,并给出了计算元件异常概率的算法SolveABP;然后,按照元件异常概率由大到小的顺序生成枚举树,能够先遍历对异常输出影响较大的元件构成的节点,以至于尽快的找到冲突集,减少对冲突集超集节点的判断。实验结果表明,与CSRDSE方法相比,CSABP方法提高了问题求解效率。在CSABP方法的基础上,结合枚举树的结构特性和冲突集的子集更可能是极小冲突集的原理发现:将冲突集中的元件在枚举树第一层的节点连同其子树一起向左移动,提前搜索这些子树,有利于提早找到极小冲突集。在判断后续节点时,先将当前访问节点同已找到的冲突集作对比,若是某个冲突集的超集,可免去对该节点进行判断;否则,调用求解器判断该节点的冲突性。基于上述想法,提出了位置标记的概念,用来调整枚举树状态的变化。最后,将异常概率与位置标记方法结合在一起,提出了基于异常概率和位置标记的极小冲突集求解方法(CSABPPM)。实验结果表明,CSABPPM方法减掉了更多的冗余节点,更好的解决了极小冲突集求解问题。