| 基于模型的诊断中产生所有极小冲突集的新方法 |
| |
| 引用本文： | 赵相福,欧阳丹彤. 基于模型的诊断中产生所有极小冲突集的新方法[J]. 吉林大学学报(工学版), 2007, 37(2): 413-0418 |
| |
| 作者姓名： | 赵相福 欧阳丹彤 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院,长春130012;吉林大学符号计算与知识工程教育部重点实验室,长春130012;吉林大学计算机科学与技术学院,长春130012;吉林大学符号计算与知识工程教育部重点实验室,长春130012 |
| |
| 基金项目： | 国家自然科学基金 , 国家高技术研究发展计划(863计划) , 吉林省科技发展计划 |
| |
| 摘 要： | 首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree)。然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree)。最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选产生阶段,即产生所有的极小冲突集的极小碰集,还可用于计算本原蕴涵/蕴涵式。
|
| 关 键 词： | 计算机应用 基于模型的诊断 冲突集 碰集 集合枚举树 |
| 文章编号： | 1671-5497（2007）02-0413-06 |
| 收稿时间： | 2006-06-02 |
| 修稿时间： | 2006-06-02 |
New methods for deriving all minimal conflict sets in model-based diagnosis |
| |
| Zhao Xiang-fu,Ouyang Dan-tong. New methods for deriving all minimal conflict sets in model-based diagnosis[J]. Journal of Jilin University:Eng and Technol Ed, 2007, 37(2): 413-0418 |
| |
| Authors: | Zhao Xiang-fu Ouyang Dan-tong |
| |
| Affiliation: | 1. College of Computer Science and Technology, J ilin University, Changchun 130012, China 2. Key Laboratory of Symbolic Computation arid Knowledge Engineering of Ministry of Education, J ilin University, Changchun 130012, China |
| |
| Abstract: | 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. |
| |
| Keywords: | computer application model-based diagnosis conflict set hitting set SE-tree(set enumeration tree) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(工学版)》浏览原始摘要信息 |
|
点击此处可从《吉林大学学报(工学版)》下载全文 |
