| 摘要 | 第5-7页 |
| abstract | 第7-8页 |
| 第一章 绪论 | 第11-16页 |
| 1.1 研究背景及意义 | 第11-12页 |
| 1.2 研究现状 | 第12-13页 |
| 1.3 研究内容 | 第13-14页 |
| 1.4 论文组织结构 | 第14-16页 |
| 第二章 相关理论与技术 | 第16-23页 |
| 2.1 类人答题系统 | 第16-17页 |
| 2.2 自动推理技术 | 第17-21页 |
| 2.2.1 产生式规则 | 第17-18页 |
| 2.2.2 Drools推理引擎 | 第18-21页 |
| 2.3 知识库技术 | 第21页 |
| 2.4 本章小结 | 第21-23页 |
| 第三章 初等数学立体几何的研究及认知建模 | 第23-36页 |
| 3.1 知识的表示 | 第23-26页 |
| 3.1.1 实体 | 第23-24页 |
| 3.1.2 关系 | 第24-25页 |
| 3.1.3 规则 | 第25-26页 |
| 3.2 初等数学常见立体几何问题体系结构 | 第26-30页 |
| 3.2.1 常见立体几何问题分类 | 第27-29页 |
| 3.2.2 常见立体几何求解方法分类 | 第29-30页 |
| 3.3 辅助线与向量在立体几何问题中的应用 | 第30-33页 |
| 3.3.1 辅助线在立体几何问题中的应用 | 第30-31页 |
| 3.3.2 坐标系及向量在立体几何问题中的应用 | 第31-33页 |
| 3.4 立体几何问题求解认知模型 | 第33-35页 |
| 3.5 本章小结 | 第35-36页 |
| 第四章 类人答题系统中立体几何自动求解的研究 | 第36-52页 |
| 4.1 初等数学领域类人答题系统的研究 | 第36-38页 |
| 4.2 立体几何自动求解的关键技术 | 第38-43页 |
| 4.2.1 立体几何知识的具体表示 | 第38-40页 |
| 4.2.2 立体几何定理及求解方法的具体表示 | 第40-41页 |
| 4.2.3 立体几何图例的表示 | 第41-43页 |
| 4.3 自动推理技术的分类 | 第43-48页 |
| 4.3.1 常规推理 | 第43-46页 |
| 4.3.2 辅助推理 | 第46-48页 |
| 4.4 辅助线及向量坐标系的自动添加 | 第48-50页 |
| 4.4.1 辅助线的自动添加 | 第48-49页 |
| 4.4.2 向量及坐标系的自动添加 | 第49-50页 |
| 4.5 自动求解的停机技术 | 第50-51页 |
| 4.6 本章小结 | 第51-52页 |
| 第五章 类人答题系统中立体几何自动求解的设计与实现 | 第52-79页 |
| 5.1 系统需求分析 | 第52-53页 |
| 5.2 系统总体架构 | 第53-55页 |
| 5.3 数据库设计 | 第55-59页 |
| 5.4 系统详细设计与实现 | 第59-78页 |
| 5.4.1 立体几何模型和规则的设计与实现 | 第59-65页 |
| 5.4.2 辅助推理模块的设计与实现 | 第65-74页 |
| 5.4.3 自动推理模块的设计与实现 | 第74-75页 |
| 5.4.4 类人答题模块的设计与实现 | 第75-78页 |
| 5.5 本章小结 | 第78-79页 |
| 第六章 系统测试与分析 | 第79-87页 |
| 6.1 系统测试 | 第79-85页 |
| 6.2 系统分析 | 第85-86页 |
| 6.3 本章小结 | 第86-87页 |
| 第七章 总结与展望 | 第87-89页 |
| 7.1 总结 | 第87-88页 |
| 7.2 展望 | 第88-89页 |
| 致谢 | 第89-90页 |
| 参考文献 | 第90-92页 |
| 攻读硕士学位期间取得的研究成果 | 第92页 |