%0 Journal Article
%T 一阶谓词逻辑的图形推理法
%A 耿霞？
%A 张继军？
%A 李蔚妍？
%J 计算机科学
%D 2014
%R 10.11896/j.issn.1002-137X.2014.07.030
%X 针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。
%K 一阶谓词逻辑
%K 谓词/变迁系统
%K 图形推理
%K 谓词-与/或图
%K 反向推理
%K 目标制导中图法分类号tp301文献标识码a
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140730&flag=1