-
题名演绎数据库推理冗余的产生和一个新的处理算法
- 1
-
-
作者
王海洋
董继润
-
机构
山东大学计算机科学系
-
出处
《山东大学学报（自然科学版）》
CSCD
1992年第2期185-189,共5页
-
文摘
对演绎数据库推理过程中出现的推理冗余问题,给出了一种新的解决算法,与其它算法此较,能极大地消除重复推理。
-
关键词
演绎数据库
推理冗余
结点状态
-
Keywords
deductive database
reasoning duplication
node status
reasoning tree
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于等价类推理的几何自动推理网
被引量：2
- 2
-
-
作者
江建国
张景中
-
机构
中国科学院成都计算机应用研究所
-
出处
《模式识别与人工智能》
EI
CSCD
北大核心
2006年第5期617-622,共6页
-
基金
国家973计划资助项目(No.2004CB318000)
-
文摘
为了提高推理引擎的推理效率,将 Rete 算法和等价类推理技术整合到基于规则的几何自动推理系统中,构造一种新的推理引擎,即基于等价类推理的几何自动推理网.采用 Lisp 语言实现该推理引擎,并做了50多个非平凡几何定理的实验,实验结果表明该推理引擎具有更高的推理效率.
-
关键词
RETE算法
冗余推理
等价类推理
几何等价谓词
等词
-
Keywords
Rete Algorithm, Redundancy Reasoning, Equivalent Class Reasoning, Geometry Equivalent Prediction, Equality
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
