| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| 主要符号对照表 | 第12-13页 |
| 第1章 绪论 | 第13-19页 |
| 1.1 研究背景与意义 | 第13-15页 |
| 1.2 研究现状 | 第15-17页 |
| 1.2.1 基于实例模型的推理 | 第15-16页 |
| 1.2.2 机器阅卷 | 第16-17页 |
| 1.3 主要研究内容 | 第17页 |
| 1.4 论文组织结构 | 第17-19页 |
| 第2章 相关理论与技术 | 第19-28页 |
| 2.1 基于实例的推理（CBR） | 第19-21页 |
| 2.2 知识表示 | 第21-23页 |
| 2.2.1 知识表示的概念 | 第21页 |
| 2.2.2 知识表示方法 | 第21-23页 |
| 2.3 实例检索 | 第23-25页 |
| 2.3.1 实例的索引 | 第23-24页 |
| 2.3.2 相似性度量 | 第24-25页 |
| 2.4 适应性修改 | 第25页 |
| 2.5 数学中的推理树与基本单位 | 第25-27页 |
| 2.6 本章小结 | 第27-28页 |
| 第3章 初中数学的知识表示 | 第28-50页 |
| 3.1 数学理论的公理化与形式化方法 | 第28-30页 |
| 3.2 数理逻辑简介 | 第30-32页 |
| 3.3 本论文的知识表示方法 | 第32-35页 |
| 3.3.1 面向对象的知识表示 | 第34页 |
| 3.3.2 基于XML的知识表示 | 第34-35页 |
| 3.3.3 初中数学知识的分层表示 | 第35页 |
| 3.4 初中数学中的个体的形式化与表示 | 第35-41页 |
| 3.4.1 初中数学中的个体 | 第35-36页 |
| 3.4.2 初中数学基本元素的表示 | 第36-40页 |
| 3.4.2.1 点类型的表示 | 第37页 |
| 3.4.2.2 三角形类型的知识表示 | 第37-40页 |
| 3.4.3 可计算个体的运算 | 第40-41页 |
| 3.5 初中数学中的原子命题的表示 | 第41-45页 |
| 3.5.1 谓词模型类 | 第41-42页 |
| 3.5.2 abstract Relation | 第42页 |
| 3.5.3 三角形相似在推理系统中的表示 | 第42-45页 |
| 3.6 初中数学中的实例的表示 | 第45-48页 |
| 3.6.1 霍恩子句 | 第45-46页 |
| 3.6.2 初中数学中的实例及其表示 | 第46-48页 |
| 3.7 本章小结 | 第48-50页 |
| 第4章 初中几何基于实例模型的反向推理 | 第50-88页 |
| 4.1 推理方法 | 第50-53页 |
| 4.1.1 正向推理 | 第50-51页 |
| 4.1.2 反向推理 | 第51-52页 |
| 4.1.3 归结法则 | 第52-53页 |
| 4.1.4 总结 | 第53页 |
| 4.2 实例库的构建与检索 | 第53-58页 |
| 4.2.1 实例与总数据库的索引 | 第53-55页 |
| 4.2.2 相似性度量 | 第55-56页 |
| 4.2.3 面向反向推理的检索机制与实例库的构建 | 第56-58页 |
| 4.3 适应性修改——同一化 | 第58-69页 |
| 4.3.1 同一化 | 第58-60页 |
| 4.3.2 点和变量映射的获得 | 第60-65页 |
| 4.3.2.1 点映射的获得 | 第61-63页 |
| 4.3.2.2 变量映射的获得 | 第63-65页 |
| 4.3.3 点和变量映射获得方法的局限和解决 | 第65-69页 |
| 4.4 应用同一化的实例 | 第69-72页 |
| 4.4.1 验证条件 | 第69-71页 |
| 4.4.2 执行结论与给出解释 | 第71页 |
| 4.4.3 当前环境的实例化 | 第71-72页 |
| 4.4.4 总结 | 第72页 |
| 4.5 反向多步推理 | 第72-82页 |
| 4.5.1 反向多步推理 | 第72-75页 |
| 4.5.2 反响推理的并行化计算 | 第75-80页 |
| 4.5.3 实例表示的进一步说明 | 第80-82页 |
| 4.6 正向推理简介 | 第82页 |
| 4.7 实例库与实例的获取 | 第82-87页 |
| 4.7.1 实例的获取 | 第84-85页 |
| 4.7.2 一种改进的实例获取方法 | 第85-87页 |
| 4.8 本章小结 | 第87-88页 |
| 第5章 初中数学自动阅卷系统 | 第88-105页 |
| 5.1 初中数学的阅卷系统的总体结构 | 第88-90页 |
| 5.2 机器批阅的具体实现 | 第90-97页 |
| 5.2.1 封装成实例与初始化 | 第91-92页 |
| 5.2.2 与标准答案比对(Std Answer Mark) | 第92-93页 |
| 5.2.3 几何与代数类型的分类 | 第93页 |
| 5.2.4 基于CBR的判断(CBRMark) | 第93-94页 |
| 5.2.5 基于gr?ebner基的判断(Groebner Mark) | 第94-96页 |
| 5.2.6 几何错误类型分析(Geo Error Analyse Mark) | 第96页 |
| 5.2.7 基于符号计算的判断(Sym Compute Mark) | 第96页 |
| 5.2.8 代数错误类型分析(Alge Error Analyse Mark) | 第96-97页 |
| 5.3 成果展示 | 第97-104页 |
| 5.3.1 形式等价与代数等价的成果展示 | 第97-98页 |
| 5.3.2 推理系统的推理过程示例与分析 | 第98-103页 |
| 5.3.3 机器阅卷成果展示 | 第103-104页 |
| 5.4 本章小结 | 第104-105页 |
| 第6章 总结与展望 | 第105-107页 |
| 6.1 总结 | 第105-106页 |
| 6.2 展望 | 第106-107页 |
| 致谢 | 第107-108页 |
| 参考文献 | 第108-111页 |
| 附录A 初中数学个体与谓词模型类继承图 | 第111-113页 |
| 附录B 一个关于推理有效性的定理 | 第113-114页 |
| 攻读硕士期间取得的成果 | 第114-115页 |
