摘要
针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。
Traditional reasoning methods to first-order predicate logic have some problems such as inference inefficient, so a graphical reasoning method based on predicate/transition system was presented. The concept of predicate-and/or graph describing the and/or relation among predicates was presented, and several pre-and/or graph representations of predicate/transition system were defined. Finaly, a goal guiding graphical reasoning method adopting backward rea- soning way was put forward. This method has high efficiency and some advantages compared with other present reason- ing methods.
出处
《计算机科学》
CSCD
北大核心
2014年第7期148-152,156,共6页
Computer Science
基金
国家自然科学基金(61170079
61201252)
教育部科技论文快速共享项目(2012107)
山东省优秀中青年科学家奖励基金(BS2009DX012)资助
关键词
一阶谓词逻辑
谓词
变迁系统
图形推理
谓词-与
或图
反向推理
目标制导
First-order predicate logic, Predicate/transition system, Graphical reasoning, Predicate-and/or graph, Back-ward reasoning,Goal guiding