基于产生式规则的几何证明知识库设计.docxVIP

研 究 生 课 程 论 文(2012-2013学年第二学期)基于产生式的几何证明知识库研究生：乐柱提交日期： 2013年8月20日 研究生签名：×××学 号201220122835学 院理学院课程编号S0001001课程名称数据库与知识库学位类别硕士任课教师田翔 副教授教师评语： 成绩评定： 分 任课教师签名： 年 月 日基于产生式规则的几何证明知识库乐柱摘要：本文介绍产生式规则系统的基本概念，结合几何证明的特点，设计一个基于产生式规则的几何证明推理知识库。包含对几何证明的事实库表示与设计、规则库表示与设计、正向推理和解释机制。支持用户自定义事实库和增改规则库，并通过解释机制来表示推理的过程。关键词：产生式规则、几何证明、知识库、解释器需求分析知识库的设计与应用对现代的医学诊断、智能化逻辑推理等方面的应用的发展有着重要的意义。常用的知识库表示方法有谓词逻辑、产生式知识库、框架表示法、语义网络表示法、面向对象表示法。这些知识库表示方法都有独自的特征和缺点。产生式规则表示法是依据人类大脑记忆模式中的各种知识之间的大量存在的因果关系,并以“IF-THEN”的形式,即产生式规则表示出来的。这种形式与几何证明的推理过程有很好的类似。在几何证明中过程，我们不断结合已知条件和几何证明的知识（几何证明中的性质和定理等），当已知条件与某个知识匹配的时候，则能得到新的结论。直到得出我们要证得的结果为止