| 一阶谓词逻辑的图形推理法 |
| |
| 引用本文： | 耿霞,张继军,李蔚妍.一阶谓词逻辑的图形推理法[J].计算机科学,2014,41(7):148-152,156. |
| |
| 作者姓名： | 耿霞 张继军 李蔚妍 |
| |
| 作者单位： | 山东农业大学信息科学与工程学院 泰安271018;山东农业大学信息科学与工程学院 泰安271018;山东农业大学信息科学与工程学院 泰安271018 |
| |
| 基金项目： | 本文受国家自然科学基金(61170079,2),教育部科技论文快速共享项目(2012107),山东省优秀中青年科学家奖励基金(BS2009DX012)资助 |
| |
| 摘 要： | 针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。
|
| 关 键 词： | 一阶谓词逻辑 谓词/变迁系统 图形推理 谓词-与/或图 反向推理 目标制导 |
| 收稿时间： | 2013/4/17 0:00:00 |
| 修稿时间： | 2013/5/22 0:00:00 |
Graphical Reasoning Method to First-order Predicate Logic |
| |
| GENG Xi,ZHANG Ji-jun and LI Wei-yan.Graphical Reasoning Method to First-order Predicate Logic[J].Computer Science,2014,41(7):148-152,156. |
| |
| Authors: | GENG Xi ZHANG Ji-jun and LI Wei-yan |
| |
| Affiliation: | College of Information Science and Engineering,Shandong Agricultural University,Taian 271018,China;College of Information Science and Engineering,Shandong Agricultural University,Taian 271018,China;College of Information Science and Engineering,Shandong Agricultural University,Taian 271018,China |
| |
| Abstract: | |
| |
| Keywords: | First-order predicate logic Predicate/transition system Graphical reasoning Predicate-and/or graph Backward reasoning Goal guiding |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
