首页> 中文期刊>安庆师范学院学报（自然科学版） >谓词逻辑推理与机器证明

谓词逻辑推理与机器证明

开具论文收录证明 >>

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

页面导航

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

摘要

基于应用层面,探讨谓词逻辑推理规则的逻辑有效性,并透过示例,对一类问题用编程方式实现逻辑推断,以拓宽机器证明的方式方法.

著录项

来源
《安庆师范学院学报（自然科学版）》|2005年第4期|106-108|共3页
作者
林尚垣;
展开▼
作者单位

龙岩学院,计算机科学系,福建,龙岩,364000;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算;
关键词
谓词逻辑; 推理; 编程; 推断;
入库时间 2023-07-25 18:25:46

相似文献

中文文献
外文文献
专利

1. 命题逻辑及谓词逻辑推理证明中的化归法 [J] . 张锦华 . 福建电脑 . 2009,第009期
2. 谓词逻辑推理中证明方法的判定 [J] . 潘美芹 ,丁志军 ,王永丽 . 山东科技大学学报（自然科学版） . 2005,第004期
3. 一阶谓词演算定理机器证明的余式方法 [J] . 吴尽昭 ,刘卓军 . 计算机学报 . 1996,第010期
4. 利用谓词/变迁网证明的一阶谓词逻辑命题 [J] . 方欢 ,印玉兰 ,徐誉尹 . 计算机工程 . 2006,第023期
5. 非精确谓词逻辑推理 [J] . 潘文全 . 逻辑学研究 . 2019,第004期
6. 基于大数据、云计算、谓词逻辑推理的推荐系统研究 [C] . Shuxi Wang ,王树西 ,AnYu Lee . 第八届中国智能计算大会暨国际电子商务联合会中国分会第三届年会 . 2014
7. 谓词逻辑推理中的Petri网应用 [A] . 耿霞 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号