智能教育物理平台中基于前向推理的解题子系统的研究
| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 第一章 绪论 | 第8-14页 |
| 1.1 本文工作的背景和意义 | 第8-9页 |
| 1.2 CAI技术概述 | 第9-11页 |
| 1.2.1 CAI国外发展简史 | 第9-10页 |
| 1.2.2 CAI国内发展简史 | 第10页 |
| 1.2.3 ICAI研究概况 | 第10-11页 |
| 1.3 智能教育物理平台的研究现状 | 第11-13页 |
| 1.4 本文的主要工作和组织结构 | 第13页 |
| 1.5 本章小结 | 第13-14页 |
| 第二章 知识表示的研究 | 第14-27页 |
| 2.1 推理子系统中知识的分类 | 第14-16页 |
| 2.2 物理事实的表示 | 第16-24页 |
| 2.2.1 使用谓词逻辑表示物理事实 | 第17-21页 |
| 2.2.2 使用框架表示物理事实 | 第21-23页 |
| 2.2.3 物理事实库的建立 | 第23-24页 |
| 2.3 物理规则的表示 | 第24-26页 |
| 2.3.1 产生式方法表示的物理规则 | 第24-26页 |
| 2.3.2 物理规则库的组织 | 第26页 |
| 2.4 本章小结 | 第26-27页 |
| 第三章 自动推理关键技术的研究 | 第27-38页 |
| 3.1 推理方法的选择 | 第27-28页 |
| 3.1.1 自动推理技术基础 | 第27页 |
| 3.1.2 前向推理方法 | 第27-28页 |
| 3.2 推理策略的分析 | 第28-30页 |
| 3.3 自动求解搜索算法 | 第30-32页 |
| 3.4 生成可读证明算法 | 第32-37页 |
| 3.5 本章小结 | 第37-38页 |
| 第四章 自动推理子系统的实现 | 第38-51页 |
| 4.1 系统实现的基础 | 第38-39页 |
| 4.1.1 程序语言的选择 | 第38页 |
| 4.1.2 与其他子系统的对接 | 第38-39页 |
| 4.2 自动推理过程 | 第39-41页 |
| 4.3 自动推理子系统的实现 | 第41-44页 |
| 4.3.1 物理事实类的定义 | 第41-42页 |
| 4.3.2 物理规则类的定义 | 第42页 |
| 4.3.3 物理规则计算类的定义 | 第42-43页 |
| 4.3.4 推理类的定义 | 第43-44页 |
| 4.4 系统功能演示 | 第44-50页 |
| 4.5 本章小结 | 第50-51页 |
| 第五章 总结 | 第51-52页 |
| 5.1 本文的总结 | 第51页 |
| 5.2 今后的工作方向 | 第51-52页 |
| 参考文献 | 第52-55页 |
| 致谢 | 第55-56页 |
| 附录 | 第56-60页 |
