基于模型的诊断中产生所有极小冲突集的新方法  

New methods for deriving all minimal conflict sets in model-based diagnosis

作　　者：赵相福[1] 欧阳丹彤[1] 

机构地区：[1]吉林大学计算机科学与技术学院

出　　处：《吉林大学学报（工学版）》2007年第2期413-418,共6页Journal of Jilin University:Engineering and Technology Edition

基　　金：国家自然科学基金资助项目(60496320;60496321);'863'国家高技术研究发展计划项目(2003AA118020);新世纪优秀人才支持计划项目;吉林省科技发展计划项目(20060532)

摘　　要：首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree)。然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree)。最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选产生阶段,即产生所有的极小冲突集的极小碰集,还可用于计算本原蕴涵/蕴涵式。Firstly, an SE-tree based method （CSSE-tree） for deriving all minimal conflict sets （MCSs） was proposed. Then the concept of inverse SE-tree （ISE-tree） was put forward, and an ISE-tree based method （CSISE-tree） for deriving all MCSs was presented as well. Finally, several methods proposed in this paper were compared, and they can all be used to generate all minimal hitting sets, and compute both prime implicants and prime implicates.

关 键 词：计算机应用 基于模型的诊断 冲突集 碰集 集合枚举树 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]