首页> 中文期刊> 《周口师范学院学报》 >谓词逻辑描述下的归结推理方法

谓词逻辑描述下的归结推理方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

谓词逻辑下的归结推理方法要比命题逻辑下的推理复杂得多.文章主要论述在一阶谓词逻辑描述下,归结推理的方法和步骤,以及其中主要的定理和定义,最后通过具体例子来说明方法的使用.

著录项

来源
《周口师范学院学报》 |2003年第2期|63-66|共4页
作者
刘云霞; 王迤冉; 宋玉杰;
展开▼
作者单位

周口师范学院,数学系;

周口师范学院,计算机科学系,河南,周口,466000;

周口师范学院,计算机科学系,河南,周口,466000;

展开▼
原文格式 PDF
正文语种 chi
中图分类谓词演算（命题函项演算）;
关键词
谓词; 逻辑; 归结推理;

相似文献

中文文献
外文文献
专利

1. 中介谓词逻辑一种改进的语义解释及λ-归结 [J] . 张胜礼 ,潘正华 . 计算机工程与应用 . 2011,第022期
2. 基于谓词逻辑的归结原理研究 [J] . 敖友云1 . 计算机科学与应用 . 2011,第002期
3. 中介谓词逻辑系统的λ-归结 [J] . 潘正华 . 软件学报 . 2003,第003期
4. 使用XML的一阶谓词逻辑归结原理 [J] . 谢铉洋 ,谢荣传 . 计算机技术与发展 . 2002,第006期
5. 格值语义归结推理方法 [J] . 张家锋 ,徐扬 ,何星星 . 计算机科学 . 2011,第009期
6. 谓词逻辑中有关函数及其部分性质的形式描述 [C] . 陈其楼 ,潘正华 . 第四届全国逻辑系统、智能科学与信息科学学术会议 . 2008
7. 基于谓词逻辑的归结原理 [A] . 杜文静 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号