| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 第一章 绪论 | 第11-16页 |
| 1.1 选题背景 | 第11-12页 |
| 1.2 论文研究意义 | 第12页 |
| 1.3 国内外研究现状 | 第12-13页 |
| 1.4 本文主要研究内容 | 第13-15页 |
| 1.4.1 知识表示 | 第13-14页 |
| 1.4.2 知识推理 | 第14-15页 |
| 1.5 论文组织结构 | 第15-16页 |
| 第二章 知识表示与知识推理理论 | 第16-28页 |
| 2.1 知识表示的基本概念 | 第16-17页 |
| 2.1.1 什么是知识 | 第16页 |
| 2.1.2 知识表示的特征 | 第16-17页 |
| 2.1.3 知识表示方法 | 第17页 |
| 2.2 谓词逻辑表示法 | 第17-19页 |
| 2.2.1 谓词逻辑 | 第17-18页 |
| 2.2.2 谓词逻辑表示法的特点和问题 | 第18-19页 |
| 2.3 产生式规则表示法 | 第19页 |
| 2.4 知识推理的基本概念 | 第19-22页 |
| 2.4.1 知识推理的相关概念 | 第19-20页 |
| 2.4.2 知识推理的分类 | 第20-22页 |
| 2.5 专家系统 | 第22-24页 |
| 2.5.1 专家系统的结构 | 第22-24页 |
| 2.6 产生式系统 | 第24-27页 |
| 2.6.1 产生式系统的结构 | 第24-26页 |
| 2.6.2 产生式系统的推理方式 | 第26-27页 |
| 2.7 本章小结 | 第27-28页 |
| 第三章 平面几何推理系统的设计 | 第28-47页 |
| 3.1 平面几何知识的表示 | 第28-38页 |
| 3.1.1 知识的分类 | 第28-31页 |
| 3.1.2 知识的谓词表示 | 第31-38页 |
| 3.2 平面几何推理系统的架构设计 | 第38-46页 |
| 3.2.1 Drools规则引擎 | 第38-41页 |
| 3.2.2 推理规则 | 第41-43页 |
| 3.2.3 平面几何推理系统架构 | 第43-46页 |
| 3.3 本章小结 | 第46-47页 |
| 第四章 平面几何推理系统的实现 | 第47-73页 |
| 4.1 平面几何知识谓词的实现 | 第47-65页 |
| 4.1.1 几何谓词类结构 | 第48-61页 |
| 4.1.2 代数谓词类结构 | 第61-65页 |
| 4.2 基于Drools规则引擎的平面几何推理系统的实现 | 第65-72页 |
| 4.2.1 推理规则的实现 | 第65-69页 |
| 4.2.2 推理系统的结构 | 第69-72页 |
| 4.3 本章小结 | 第72-73页 |
| 第五章 平面几何推理系统的测试 | 第73-84页 |
| 5.1 单题推理测试 | 第73-78页 |
| 5.2 多题推理测试 | 第78-83页 |
| 5.3 本章小结 | 第83-84页 |
| 第六章 总结与展望 | 第84-86页 |
| 6.1 研究总结 | 第84页 |
| 6.2 工作展望 | 第84-86页 |
| 致谢 | 第86-87页 |
| 参考文献 | 第87-89页 |
| 攻读硕士学位期间取得的成果 | 第89-90页 |