| 降低广义归结原理空间复杂度方法的研究 |
| |
| 引用本文： | 王树义,袁晓刚.降低广义归结原理空间复杂度方法的研究[J].现代计算机,2001(3):13-15. |
| |
| 作者姓名： | 王树义 袁晓刚 |
| |
| 作者单位： | 大连理工大学计算机科学与工程系 大连116023
(王树义)，大连理工大学计算机科学与工程系 大连116023(袁晓刚) |
| |
| 摘 要： | 本文针对广义归结原理实现时空间复杂度非常大的问题，通过实际分析广义归结方法实现时造成多余归结的实例，提出了几种优化方法，使系统的归结能力显著提高。
|
| 关 键 词： | 广义归结 空间复杂度 定理机器证明 人工智能 |
| 修稿时间： | 2001年3月1日 |
Methods for Reducing the Space Complexity of the Genera Resolution Principle |
| |
| WANG Shu-yi,YUAN Xiao-gang.Methods for Reducing the Space Complexity of the Genera Resolution Principle[J].Modem Computer,2001(3):13-15. |
| |
| Authors: | WANG Shu-yi YUAN Xiao-gang |
| |
| Affiliation: | Department of Computer Science and Engineering Dalian University of Technology Dalian 116023 China |
| |
| Abstract: | For the reason that the space complexity of the general resolution principle is very huge the author puts forward some methods to overcome this disadvantage of the general resolution principle. The resolution ability of the system is improved definitely. |
| |
| Keywords: | General resolution principle Space complexity |
| 本文献已被 CNKI 维普 等数据库收录！ |
