共 9 条
- [9] Petri网原理与应用[M]. 电子工业出版社 , 袁崇义著, 2005
一阶谓词逻辑的图形推理法
被引：6
作者：
耿霞
张继军
李蔚妍
机构：
[1] 山东农业大学信息科学与工程学院
来源：
关键词：
一阶谓词逻辑;
谓词/变迁系统;
图形推理;
谓词-与/或图;
反向推理;
目标制导;
D O I：
暂无
中图分类号：
TP301.2 [形式语言理论];
学科分类号：
摘要：
针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。
引用
收藏
页码：148 / 152+156
+156
页数：6
相关论文