| 广义RUE-NRF归结 |
| |
| 引用本文： | 刘叙华. 广义RUE-NRF归结[J]. 吉林大学学报(理学版), 1993, 0(1) |
| |
| 作者姓名： | 刘叙华 |
| |
| 作者单位： | 吉林大学计算机科学系 长春 |
| |
| 基金项目： | 国家自然科学基金，国家教委博士点基金，国家863计划，国家攀登计划项目资助课题 |
| |
| 摘 要： | 本文将RUE-NRF归结使用在广义子句集上,提出了广义RUE-NRF归结方法,并证明了这一方法对于一阶逻辑的完备性;将1型、2型删除策略引入广义RUE-NRF归结.
|
| 关 键 词： | 广义归结 调解 RUE-NRF归结 |
Generalized RUE-NRF Resolution |
| |
| Liu Xuhua. Generalized RUE-NRF Resolution[J]. Journal of Jilin University: Sci Ed, 1993, 0(1) |
| |
| Authors: | Liu Xuhua |
| |
| Abstract: | The present paper covers the application of RUE-NRF resolution to a set of generalized clauses by proposing a generalized RUE-NRF resolution method, and a proof of the completeness of this method in first order logic. Furthermore, 1-model and 2-model deletion strategies are introduced into generalized RUE-NRF resolution. |
| |
| Keywords: | generalized resolution paramodulation RUE-NRF resolution |
| 本文献已被 CNKI 等数据库收录！ |
