首页> 中文期刊> 《计算机工程》 >利用谓词/变迁网证明的一阶谓词逻辑命题

利用谓词/变迁网证明的一阶谓词逻辑命题

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩阵证明法.举出一个实际的例子来说明证明思路.

著录项

来源
《计算机工程》 |2006年第23期|191-192198|共3页
作者
方欢; 印玉兰; 徐誉尹;
展开▼
作者单位

安徽理工大学数理系;

淮南;

232001;

山东科技大学信息与工程学院;

青岛;

266510;

安徽理工大学数理系;

淮南;

232001;

山东科技大学信息与工程学院;

青岛;

266510;

山东科技大学信息与工程学院;

青岛;

266510;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
网逻辑; 谓词/变迁网; 一阶谓词逻辑; 命题证明;

相似文献

中文文献
外文文献
专利

1. 命题逻辑及谓词逻辑推理证明中的化归法 [J] . 张锦华 . 福建电脑 . 2009,第009期
2. 基于一阶谓词逻辑的智能操作票一体化系统 [J] . 徐尧燚 ,朱思婷 ,刘奇 . 电气自动化 . 2021,第001期
3. 一阶谓词逻辑的图形推理法 [J] . 耿霞 ,张继军 ,李蔚妍 . 计算机科学 . 2014,第007期
4. 一阶谓词逻辑反驳演算自然推理系统 [J] . 杜国平 ,赵曼 . 重庆理工大学学报 . 2013,第009期
5. 一阶谓词逻辑反驳演算自然推理系统 [J] . 杜国平 ,赵曼 . 重庆理工大学学报（社会科学版） . 2013,第009期
6. 一阶谓词逻辑的图形推理法 [C] . GENG Xia ,耿霞 ,ZHANG Ji-jun . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 一阶谓词逻辑下子句型信念的非修正推理方法 [A] . 张嵩 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号