可用于诊断产生的计算碰集的新方法

被引：7

作者：

赵相福 ^{[1
]}

欧阳丹彤 ^{[2
]}

机构：

[1] 吉林大学计算机科学与技术学院

[2] 吉林大学符号计算与知识工程教育部重点实验室

来源：

基金：

国家自然科学基金重大项目;

关键词：

基于模型诊断; 冲突集; 极小碰集; 集合枚举树;

D O I：

10.13413/j.cnki.jdxblxb.2006.03.016

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

提出一种利用与元素相关联的冲突集个数计算碰集的新方法,并结合带有终止节点的集合枚举树SE-tree形式化地表达计算过程,逐步生成所有的极小碰集.由于在SE-tree中添加了终止节点,因而能够较大提高搜索效率.实验结果表明,该算法程序容易编制,且效率较好,对于复杂的被诊断对象系统可以满足实时性.

引用

页码：385 / 390

页数：6