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

摘要：

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

关键词： Prtri网 一阶谓词逻辑 图形推理法 目标制导

作者: 耿霞 张继军 李蔚妍

作者单位: 山东农业大学信息科学与工程学院 山东泰安 271018

会议类型: 国内会议

会议名称: 第十四届全国Petri 网理论与应用学术年会

会议地点: 西安

会议语种:中文

页码: 1-6

在线出版日期: 2013-08-23（万方平台首次上网日期，不代表论文的发表时间）