| 利用CSP求解极小碰集的方法 |
| |
| 引用本文： | 王艺源,欧阳丹彤,张立明,张永刚.利用CSP求解极小碰集的方法[J].计算机研究与发展,2015(3):588-595. |
| |
| 作者姓名： | 王艺源 欧阳丹彤 张立明 张永刚 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院 长春 130012; 符号计算与知识工程教育部重点实验室 吉林大学 长春 130012 |
| |
| 基金项目： | 国家自然科学基金项目(61133011,61272208,61003101,61170092,61402196);吉林省科技发展计划基金项目(20101501,20140520067JH);中国博士后科学基金项目(2013M541302);浙江师范大学计算机软件与理论省级重中之重学科开放基金项目(ZSDZZZZXK12) |
| |
| 摘 要： | 基于模型诊断是人工智能领域中具有挑战性的问题，包含了很多人工智能中的关键问题，其研究对整个人工智能领域起着重要推动作用。在基于模型诊断中，候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述，求出所有极小碰集是其核心问题之一。提出一种将极小碰集问题转换为约束满足问题的方法，该方法调用成熟的CSP求解器进行求解，扩展了约束可满足问题的应用领域。首次提出hard‐冲突集和sof t‐冲突集的概念，并给出利用所提的方法分别求解具有一些特征的极小碰集：小于固定长度、不含特定元素及包含hard‐冲突集和sof t‐冲突集。实验结果表明，提出的方法易于实现、扩展性强，对于特定类型极小碰集问题的求解效率较高。
|
| 关 键 词： | 极小碰集 约束可满足问题 基于模型诊断 hard-冲突集 soft-冲突集 |
A Method of Computing Minimal Hitting Sets Using CSP |
| |
| Wang Yiyuan
,
Ouyang Dantong
,
Zhang Liming
,
Zhang Yonggang.A Method of Computing Minimal Hitting Sets Using CSP[J].Journal of Computer Research and Development,2015(3):588-595. |
| |
| Authors: | Wang Yiyuan Ouyang Dantong Zhang Liming Zhang Yonggang |
| |
| Affiliation: | Wang Yiyuan;Ouyang Dantong;Zhang Liming;Zhang Yonggang;College of Computer Science and Technology,Jilin University;Key Laboratory of Symbolic Computation and Knowledge Engineering (Jilin University),Ministry of Education; |
| |
| Abstract: | |
| |
| Keywords: | minimal conflict sets constraint satisfaction problem model-based diagnosis (MBD ) hard-conflict set soft-conflict set |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
