结合故障逻辑关系的极小冲突集求解方法

• 作 者: 欧阳丹彤 高菡 徐旖旎 张立明
• 机 构: 吉林大学软件学院,吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）
• 出 处: 计算机研究与发展
• 发表日期: 2020年7期
• 关键词: 基于模型诊断 非极小冲突 集合枚举树 故障输出相关元件集 有解剪枝 model-based diagnosisnon-minimum conflictset e
• 基金项目: 国家自然科学基金项目(61872159,61672261,61502199)

基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set enumeration tree, SE-Tree),然后针对故障输出无关元件的组合进行剪枝.在MCS-SFFO方法的基础上,结合电路的故障逻辑关系提出求解极小冲突集的进一步剪枝方法MCS-FL