首页> 中文期刊>模式识别与人工智能 >基于等价类推理的几何自动推理网

基于等价类推理的几何自动推理网

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为了提高推理引擎的推理效率,将Rete算法和等价类推理技术整合到基于规则的几何自动推理系统中,构造一种新的推理引擎,即基于等价类推理的几何自动推理网.采用Lisp语言实现该推理引擎,并做了50多个非平凡几何定理的实验,实验结果表明该推理引擎具有更高的推理效率.

著录项

来源
《模式识别与人工智能》|2006年第5期|617-622|共6页
作者
江建国; 张景中;
展开▼
作者单位

中国科学院成都计算机应用研究所,成都,610041;

辽宁师范大学,数学学院,大连,116029;

中国科学院成都计算机应用研究所,成都,610041;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
Rete算法; 冗余推理; 等价类推理; 几何等价谓词; 等词;

相似文献

中文文献
外文文献
专利

1. 基于超级画板的平面几何自动推理 [J] . 王峰 ,刘海江 . 教育教学论坛 . 2012,第020期
2. 基于Rete算法的几何自动推理系统 [J] . 江建国 ,张景中 . 四川大学学报（工程科学版） . 2006,第003期
3. 可由用户持续发展的几何自动推理平台的推理算法 [J] . 郑焕 ,张景中 . 计算机应用 . 2011,第008期
4. 创新平面几何试题并能自动推理的《数学实验室--平面几何》 [J] . 段敏 . 合肥学院学报（社会科学版） . 2002,第002期
5. 几何自动推理系统发展研究 [J] . 刘颖奇 ,黄勇 . 山西广播电视大学学报 . 2010,第003期
6. 基于矩阵运算的基于归结原理的自动推理算法 [C] . . 中国人工智能学会第10届全国学术年会 . 2003
7. 基于语义网的几何自动推理研究及其应用 [A] . 孙媛媛 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号