| 用布尔代数方法计算最小碰集 |
| |
| 引用本文： | 姜云飞,林笠. 用布尔代数方法计算最小碰集[J]. 计算机学报, 2003, 26(8): 919-924 |
| |
| 作者姓名： | 姜云飞 林笠 |
| |
| 作者单位： | 1. 中山大学软件研究所,广州,510275
2. 中山大学软件研究所,广州,510275;暨南大学数学系,广州,510632 |
| |
| 基金项目： | 国家自然科学基金 (60 173 0 3 9,60 2 0 3 0 15 )，国家教育部博士点基金(2 0 0 10 5 5 80 0 6)，广东省自然科学基金 (0 11162 )，教育部科学技术研究重点项目，广州市科技计划项目资助 |
| |
| 摘 要： | 在基于模型的诊断中，模型一般都是用布尔代数来表示，而计算碰集(hitting sets)则采用HS-树或图，这就使得诊断系统采用多种不同的数据结构，给编程实现带来了不便．本文用布尔代数变量表示待诊断系统的部件，并给出了用布尔代数直接计算最小碰集的算法．数据结构更为简单，只需要布尔表达式，相当于字符串，效率上比其他的一些研究结果也要好，同时可克服丢失正确解的问题，具有通用性．
|
| 关 键 词： | 人工智能 布尔代数方法 计算 最小碰集 模型诊断 最小冲突集 |
| 修稿时间： | 2001-10-17 |
The Computation of Hitting Sets with Boolean Formulas |
| |
| JIANG Yun-Fei ) LIN Li ),) ). The Computation of Hitting Sets with Boolean Formulas[J]. Chinese Journal of Computers, 2003, 26(8): 919-924 |
| |
| Authors: | JIANG Yun-Fei ) LIN Li ) ) ) |
| |
| Affiliation: | JIANG Yun-Fei 1) LIN Li 1),2) 1) |
| |
| Abstract: | |
| |
| Keywords: | model-based diagnosis minimal conflict set minimal hitting set Boolean formula |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
