首页> 中文会议>第十四届全国Petri 网理论与应用学术年会 >一阶谓词逻辑的图形推理法

一阶谓词逻辑的图形推理法

页面导航

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

摘要

针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法.定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示了谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法.该方法推理效率高,较已有的推理方法具有一定的优越性.

著录项

来源
《第十四届全国Petri 网理论与应用学术年会》|2013年|1-6|共6页
会议地点西安
作者
GENG Xia; 耿霞; ZHANG Ji-jun; 张继军; LI Wei-yan; 李蔚妍;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类理论、方法;
关键词
Prtri网; 一阶谓词逻辑; 图形推理法; 目标制导;
入库时间 2022-08-17 10:42:31

相似文献

中文文献
外文文献
专利

1. 一阶谓词逻辑的图形推理法 [J] . 耿霞 ,张继军 ,李蔚妍 . 计算机科学 . 2014,第007期
2. 基于一阶谓词逻辑的智能操作票一体化系统 [J] . 徐尧燚 ,朱思婷 ,刘奇 . 电气自动化 . 2021,第001期
3. 一阶谓词逻辑反驳演算自然推理系统 [J] . 杜国平 ,赵曼 . 重庆理工大学学报 . 2013,第009期
4. 一阶谓词逻辑反驳演算自然推理系统 [J] . 杜国平 ,赵曼 . 重庆理工大学学报（社会科学版） . 2013,第009期
5. PHVB:基于GEP的一阶谓词逻辑规则挖掘算法 [J] . 左劼 ,唐常杰 ,陈瑜 . 四川大学学报（工程科学版） . 2008,第006期
6. 一阶谓词逻辑反驳演算自然推理系统 [C] . DU Guo-ping ,杜国平 ,ZHAO Man . 2013年全国应用逻辑学术年会 . 2013
7. 一阶谓词逻辑下子句型信念的非修正推理方法 [A] . 张嵩 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号