| 谓词逻辑描述下的归结推理方法 |
| |
| 引用本文： | 刘云霞,王迤冉,宋玉杰. 谓词逻辑描述下的归结推理方法[J]. 周口师范学院学报, 2003, 20(2): 63-66 |
| |
| 作者姓名： | 刘云霞 王迤冉 宋玉杰 |
| |
| 作者单位： | 1. 周口师范学院,数学系
2. 周口师范学院,计算机科学系,河南,周口,466000 |
| |
| 摘 要： | 谓词逻辑下的归结推理方法要比命题逻辑下的推理复杂得多．文章主要论述在一阶谓词逻辑描述下，归结推理的方法和步骤，以及其中主要的定理和定义，最后通过具体例子来说明方法的使用。
|
| 关 键 词： | 谓词逻辑 归结推理 命题逻辑 推理方法 推理步骤 归结法 逻辑推理 |
| 文章编号： | 1671-9476(2003)02-0063-04 |
| 修稿时间： | 2002-10-20 |
Method of resolution under predicate logic |
| |
| LIU Yun xia ,WANG Yi ran ,SONG Yu jie. Method of resolution under predicate logic[J]. Journal of Zhoukou Normal University, 2003, 20(2): 63-66 |
| |
| Authors: | LIU Yun xia WANG Yi ran SONG Yu jie |
| |
| Affiliation: | LIU Yun xia 1,WANG Yi ran 2,SONG Yu jie 2 |
| |
| Abstract: | The method of resolution under predicate logic is more complicated than that under proposibional logic.This article offers the method,step of resolution,some theorems and definitions.In the end ,two examplesare taken to illustrate the method.. |
| |
| Keywords: | predicate logic resolution |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
