%0 Journal Article
%T 基于等价类推理的几何自动推理网*
%A 江建国
%A 张景中
%J 模式识别与人工智能
%P 617-628
%D 2006
%X 为了提高推理引擎的推理效率,将Rete算法和等价类推理技术整合到基于规则的几何自动推理系统中,构造一种新的推理引擎,即基于等价类推理的几何自动推理网.采用Lisp语言实现该推理引擎,并做了50多个非平凡几何定理的实验,实验结果表明该推理引擎具有更高的推理效率.
%K Rete算法
%K 冗余推理
%K 等价类推理
%K 几何等价谓词
%K 等词
%U http://manu12.magtech.com.cn/Jweb_prai/CN/abstract/abstract10694.shtml