共 1 条
用布尔代数方法计算最小碰集
被引：39
作者：
姜云飞
林笠
机构：
[1] 中山大学软件研究所
[2] 暨南大学数学系 广州
[3] 广州
来源：
基金：
广东省自然科学基金;
广州市科技计划项目;
关键词：
基于模型诊断;
最小冲突集;
最小碰集;
布尔代数式;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ;
0812 ;
0835 ;
1405 ;
摘要：
在基于模型的诊断中 ,模型一般都是用布尔代数来表示 ,而计算碰集 (hittingsets)则采用HS 树或图 ,这就使得诊断系统采用多种不同的数据结构 ,给编程实现带来了不便 .本文用布尔代数变量表示待诊断系统的部件 ,并给出了用布尔代数直接计算最小碰集的算法 .数据结构更为简单 ,只需要布尔表达式 ,相当于字符串 ,效率上比其他的一些研究结果也要好 ,同时可克服丢失正确解的问题 ,具有通用性
引用
收藏
页码：919 / 924
页数：6
相关论文