| 基于MCN和MO启发式策略的扩展规则知识编译方法 |
| |
| 引用本文： | 谷文祥,王金艳,殷明浩.基于MCN和MO启发式策略的扩展规则知识编译方法[J].计算机研究与发展,2011,48(11). |
| |
| 作者姓名： | 谷文祥 王金艳 殷明浩 |
| |
| 作者单位： | 1. 东北师范大学计算机科学与信息技术学院 长春 130117;东北师范大学数学与统计学院 长春 130024
2. 东北师范大学计算机科学与信息技术学院 长春 130117 |
| |
| 基金项目： | 国家自然科学基金项目(60803102,60473042,60573067,61070084) |
| |
| 摘 要： | 在基于扩展规则的知识编译算法的基础上提出了2种启发式策略:MCN策略和MO策略.MCN策略和MO策略利用子句集的信息分别选择相应子句和变量,减少扩展规则的使用次数,进而降低知识编译后目标子句集的规模.在此基础上,设计并实现了MCN_KCER,MO_KCER和MCN_MO_KCER算法.实验结果表明:2种启发式策略都可以大幅度减小编译后的子句集规模,同时使用它们的效果更为明显,经过编译后得到的子句集规模是原算法的1/3～1/39,从而大幅度提高之后的在线推理阶段的效率.
|
| 关 键 词： | 人工智能 自动推理 知识编译 扩展规则 启发式策略 |
Knowledge Compilation Using Extension Rule Based on MCN and MO Heuristic Strategies |
| |
| Gu Wenxiang,Wang Jinyan,Yin Minghao.Knowledge Compilation Using Extension Rule Based on MCN and MO Heuristic Strategies[J].Journal of Computer Research and Development,2011,48(11). |
| |
| Authors: | Gu Wenxiang Wang Jinyan Yin Minghao |
| |
| Affiliation: | Gu Wenxiang1,2,Wang Jinyan1,and Yin Minghao1 1(School of Computer Science and Information Technology,Northeast Normal University,Changchun 130117) 2(School of Mathematics and Statistics,Changchun 130024) |
| |
| Abstract: | The key idea of theorem proving using extension rule is to use the inverse of resolution and the inclusion-exclusion principle to circumvent the problem of space complexity.Knowledge compilation using extension rule,called KCER,is a new method for knowledge compilation,in which both the compilation and the querying are based on the extension rule.So KCER can be considered as a counterpart of other existing methods for knowledge compilation.After deep research on the method,two heuristic strategies MCN and M... |
| |
| Keywords: | artificial intelligence automated reasoning knowledge compilation extension rule heuristic strategy |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
