智能教育物理平台中基于前向推理的解题子系统的研究

发布时间：2017-06-12 16:01

  本文关键词：智能教育物理平台中基于前向推理的解题子系统的研究，由笔耕文化传播整理发布。

【摘要】：随着定理机器证明的发展,自动推理技术在智能教育领域的应用日趋频繁。本文以智能教育物理平台为基础,结合前人已有的研究成果,在智能教育物理平台已有的动态构图子系统和问题自动动态生成子系统的基础上,研究了基于产生式规则的前向推理方法在物理问题自动求解领域的应用,并在问题自动求解的基础上设计了可读求解过程的生成算法。以初中物理范围内力和机械知识为例,设计和实现了基于前向推理方法的智能教育物理平台解题子系统。本文的主要工作和研究成果如下:(1)设计了谓词逻辑和框架知识表示相结合的物理知识表示体系。(2)设计了基于产生式规则的物理规则表示体系。(3)以面向对象程序设计技术为基础,运用前向推理方法理论,分析、设计、实现了智能教育物理平台解题子系统。(4)以动态链接技术为基础,解决了智能教育物理平台各子系统间的对接问题。使物理教育智能平台成为一个有机整体。
【关键词】：智能教育物理平台 前向推理 自动解题 可读解自动生成
【学位授予单位】：四川师范大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：O4-4;G434
【目录】：

• 摘要4-5
• Abstract5-8
• 第一章 绪论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

【相似文献】

中国期刊全文数据库 前1条

1 冯山,许毅,朱大勇;ICAI智能物理平台中动态液体场景的实现研究[J];四川师范大学学报(自然科学版);2004年02期

中国重要报纸全文数据库 前1条

1 记者 张立东;充分利用先进“物理平台” 催生最大效应“化学反应”[N];四川日报;2011年

中国硕士学位论文全文数据库 前1条

1 罗太柏;智能教育物理平台中基于前向推理的解题子系统的研究[D];四川师范大学;2015年

  本文关键词：智能教育物理平台中基于前向推理的解题子系统的研究，，由笔耕文化传播整理发布。

本文编号：444367