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

摘要：

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

关键词：一阶谓词逻辑、谓词/变迁系统、图形推理、谓词-与/或图、反向推理、目标制导

所属期刊栏目：41

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61170079,61201252;教育部科技论文快速共享项目2012107;山东省优秀中青年科学家奖励基金BS2009DX012

在线出版日期：2014-09-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：148-152,156