| 一种基于ATMS的求解所有极小冲突集的新方法 |
| |
| 引用本文： | 张立明,欧阳丹彤,赵相福.一种基于ATMS的求解所有极小冲突集的新方法[J].计算机工程与科学,2007,29(11):127-130. |
| |
| 作者姓名： | 张立明 欧阳丹彤 赵相福 |
| |
| 作者单位： | 1. 吉林大学计算机科学与技术学院,吉林 长春,130012
2. 吉林大学符号计算与知识工程教育部重点实验室,吉林 长春,130012 |
| |
| 基金项目： | 国家自然科学基金
,
国家高技术研究发展计划(863计划)
,
教育部跨世纪优秀人才培养计划
,
吉林省科技发展计划 |
| |
| 摘 要： | 在Reiter算法的基础上，本文提出一种基于ATMS的求解所有极小冲突集的新方法。其中，对每个元件模型最多调用一次就可求出所有的极小冲突集，防止了ATMS的多次调用，因而能够提高效率。本文提出了极小依赖集的概念，并据此对ATMS求得的极小冲突集进行了分类；分析了算法的复杂度，并将新方法与相关工作进行了比较。该算法程序容易编制，而且效率高。
|
| 关 键 词： | 基于模型的诊断 极小冲突集 ATMS |
| 文章编号： | 1007-130X（2007）11-0127-04 |
| 收稿时间： | 2007-03-29 |
| 修稿时间： | 2007-07-09 |
A New ATMS-Based Method for Deriving All Minimal Conflict Sets |
| |
| ZHANG Li-ming,OUYANG Dan-tong,ZHAO Xiang-fu.A New ATMS-Based Method for Deriving All Minimal Conflict Sets[J].Computer Engineering & Science,2007,29(11):127-130. |
| |
| Authors: | ZHANG Li-ming OUYANG Dan-tong ZHAO Xiang-fu |
| |
| Abstract: | A new method for deriving all minimal conflict sets based on ATMS is proposed in this paper. All minimal conflict sets can be derived with every component model calculated at most once, thus ATMS is avoided to be called more frequently, and the efficiency is improved as well. A concept of minimal dependence set is put forward, as a result of which, all minimal conflict sets based on ATMS can be sorted by two classes. Then, the complexity is analyzed. Finally, the related methods for deriving all conflict sets are compared with the method. The program is easy-to-implement and efficient. |
| |
| Keywords: | model-based diagnosis minimal conflict set ATMS |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
