类人答题系统中立体几何问题自动求解的研究及实现
发布时间：2020-12-10 20:29
数学,是所有自然学科的基础以及连通技术领域与科学领域的重要通道。对于信息技术的研究,其本质是对数学的研究。随着信息技术的逐渐发展和数学学科体系的不断完善,越来越多的数学研究领域被提出。而对于数学问题的机器自动求解则是其中的一个热门研究领域。机器自动求解是指通过计算机对于由自然语言文本及图像等相关元素所表示的数学领域上的一些具体问题进行模式识别、认知、逻辑推理、计算证明等自动化处理过程。机器自动求解是以数学原理为基础,计算机信息技术为载体的综合性研究领域。机器自动求解的研究对推动机器化数学表示及机器智能的发展有非常大的意义。而基于机器自动求解技术的类人答题系统则在智慧教育行业有着广泛的应用前景。立体几何领域相关问题求解一直以来都是初等数学领域中的重点和难点,而寻求一种类人答题系统下立体几何问题自动求解的设计及实现则更具挑战性。本文的主要研究方向是通过知识及逻辑的表示和构建各推理流程模块所实现的类人答题环境下立体几何自动求解系统。本文的研究内容主要由以下四部分构成:1.立体几何知识的表示对立体几何领域知识体系中常见的几何实体及其关系和概念定义进行统一建模与表示,实现其机器数字化的翻译及映射...
【文章来源】：电子科技大学四川省 211工程院校 985工程院校 教育部直属院校
【文章页数】：92 页
【学位级别】：硕士
【文章目录】：
摘要
abstract
第一章 绪论
1.1 研究背景及意义
1.2 研究现状
1.3 研究内容
1.4 论文组织结构
第二章 相关理论与技术
2.1 类人答题系统
2.2 自动推理技术
2.2.1 产生式规则
2.2.2 Drools推理引擎
2.3 知识库技术
2.4 本章小结
第三章 初等数学立体几何的研究及认知建模
3.1 知识的表示
3.1.1 实体
3.1.2 关系
3.1.3 规则
3.2 初等数学常见立体几何问题体系结构
3.2.1 常见立体几何问题分类
3.2.2 常见立体几何求解方法分类
3.3 辅助线与向量在立体几何问题中的应用
3.3.1 辅助线在立体几何问题中的应用
3.3.2 坐标系及向量在立体几何问题中的应用
3.4 立体几何问题求解认知模型
3.5 本章小结
第四章 类人答题系统中立体几何自动求解的研究
4.1 初等数学领域类人答题系统的研究
4.2 立体几何自动求解的关键技术
4.2.1 立体几何知识的具体表示
4.2.2 立体几何定理及求解方法的具体表示
4.2.3 立体几何图例的表示
4.3 自动推理技术的分类
4.3.1 常规推理
4.3.2 辅助推理
4.4 辅助线及向量坐标系的自动添加
4.4.1 辅助线的自动添加
4.4.2 向量及坐标系的自动添加
4.5 自动求解的停机技术
4.6 本章小结
第五章 类人答题系统中立体几何自动求解的设计与实现
5.1 系统需求分析
5.2 系统总体架构
5.3 数据库设计
5.4 系统详细设计与实现
5.4.1 立体几何模型和规则的设计与实现
5.4.2 辅助推理模块的设计与实现
5.4.3 自动推理模块的设计与实现
5.4.4 类人答题模块的设计与实现
5.5 本章小结
第六章 系统测试与分析
6.1 系统测试
6.2 系统分析
6.3 本章小结
第七章 总结与展望
7.1 总结
7.2 展望
致谢
参考文献
攻读硕士学位期间取得的研究成果
【参考文献】：
期刊论文
[1]INCON-FIDPS系统故障诊断专家知识搭建[J]. 卞金来,刘水,张鹏明. 电子世界. 2017(16)
[2]Special issue on artificial intelligence 2.0[J]. Yun-he PAN. Frontiers of Information Technology & Electronic Engineering. 2017(01)
[3]一种面向初高中英语单选题的类人答题系统[J]. 陈志刚,刘青文,林伟,汪洋,陈小平. 中国科学技术大学学报. 2016(03)
[4]任务型人机对话系统中的认知技术——概念、进展及其未来[J]. 俞凯,陈露,陈博,孙锴,朱苏. 计算机学报. 2015(12)
[5]点、直线、平面之间的位置关系常见考题类型分析[J]. 马艳飞. 中学生数理化(高一版). 2013(10)
[6]基于概念图策略的解剖学教学模式探索[J]. 崔文胜. 四川解剖学杂志. 2012(01)
[7]人工智能及其发展应用[J]. 邹蕾,张先锋. 信息网络安全. 2012(02)
[8]语言真值直觉模糊命题逻辑系统的推理规则[J]. 刘德山,殷明娥,邹丽. 计算机工程与应用. 2011(33)
[9]Drools规则引擎在现代物流信息平台的应用[J]. 陆歌皓,李仕金,吴超凡. 计算机科学. 2011(S1)
[10]推理在学习与认知中的作用[J]. 蔡曙山,白晨,衣新发,韩旭. 重庆理工大学学报(社会科学). 2011(08)
博士论文
[1]本体映射的若干方法研究[D]. 王茹娟.吉林大学 2012
[2]基于仿人脑认知计算模型的机器人视觉学习方法[D]. 瞿心昱.浙江工业大学 2012
硕士论文
[1]高考中立体几何解答题的研究与思考[D]. 李莹莹.河北师范大学 2017
[2]辅助线（点）自动添加的研究及在立体几何中的应用[D]. 胥亮.电子科技大学 2017
[3]基于规则引擎的平面几何推理系统的设计与实现[D]. 温金彪.电子科技大学 2016
[4]初等数学问题题意理解关键技术研究及其应用[D]. 李周.电子科技大学 2016
[5]初中数学错误模型研究及其在自动判卷系统中的应用[D]. 陈显玲.电子科技大学 2016
[6]基于句模的初等数学问题题意理解方法研究及应用[D]. 吴宣乐.电子科技大学 2016
[7]复句关系词自动标识中规则引擎的实现策略研究[D]. 徐涛.华中师范大学 2013
[8]基于语义网的几何自动推理研究及其应用[D]. 孙媛媛.电子科技大学 2013
[9]基于Drools的信息管理与决策系统的研究与实现[D]. 朱会兵.武汉理工大学 2012
[10]海量非结构化数据分布式分析与检索[D]. 余斌.浙江大学 2012
本文编号：2909323
【文章来源】：电子科技大学四川省 211工程院校 985工程院校 教育部直属院校
【文章页数】：92 页
【学位级别】：硕士
【文章目录】：
摘要
abstract
第一章 绪论
1.1 研究背景及意义
1.2 研究现状
1.3 研究内容
1.4 论文组织结构
第二章 相关理论与技术
2.1 类人答题系统
2.2 自动推理技术
2.2.1 产生式规则
2.2.2 Drools推理引擎
2.3 知识库技术
2.4 本章小结
第三章 初等数学立体几何的研究及认知建模
3.1 知识的表示
3.1.1 实体
3.1.2 关系
3.1.3 规则
3.2 初等数学常见立体几何问题体系结构
3.2.1 常见立体几何问题分类
3.2.2 常见立体几何求解方法分类
3.3 辅助线与向量在立体几何问题中的应用
3.3.1 辅助线在立体几何问题中的应用
3.3.2 坐标系及向量在立体几何问题中的应用
3.4 立体几何问题求解认知模型
3.5 本章小结
第四章 类人答题系统中立体几何自动求解的研究
4.1 初等数学领域类人答题系统的研究
4.2 立体几何自动求解的关键技术
4.2.1 立体几何知识的具体表示
4.2.2 立体几何定理及求解方法的具体表示
4.2.3 立体几何图例的表示
4.3 自动推理技术的分类
4.3.1 常规推理
4.3.2 辅助推理
4.4 辅助线及向量坐标系的自动添加
4.4.1 辅助线的自动添加
4.4.2 向量及坐标系的自动添加
4.5 自动求解的停机技术
4.6 本章小结
第五章 类人答题系统中立体几何自动求解的设计与实现
5.1 系统需求分析
5.2 系统总体架构
5.3 数据库设计
5.4 系统详细设计与实现
5.4.1 立体几何模型和规则的设计与实现
5.4.2 辅助推理模块的设计与实现
5.4.3 自动推理模块的设计与实现
5.4.4 类人答题模块的设计与实现
5.5 本章小结
第六章 系统测试与分析
6.1 系统测试
6.2 系统分析
6.3 本章小结
第七章 总结与展望
7.1 总结
7.2 展望
致谢
参考文献
攻读硕士学位期间取得的研究成果
【参考文献】：
期刊论文
[1]INCON-FIDPS系统故障诊断专家知识搭建[J]. 卞金来,刘水,张鹏明. 电子世界. 2017(16)
[2]Special issue on artificial intelligence 2.0[J]. Yun-he PAN. Frontiers of Information Technology & Electronic Engineering. 2017(01)
[3]一种面向初高中英语单选题的类人答题系统[J]. 陈志刚,刘青文,林伟,汪洋,陈小平. 中国科学技术大学学报. 2016(03)
[4]任务型人机对话系统中的认知技术——概念、进展及其未来[J]. 俞凯,陈露,陈博,孙锴,朱苏. 计算机学报. 2015(12)
[5]点、直线、平面之间的位置关系常见考题类型分析[J]. 马艳飞. 中学生数理化(高一版). 2013(10)
[6]基于概念图策略的解剖学教学模式探索[J]. 崔文胜. 四川解剖学杂志. 2012(01)
[7]人工智能及其发展应用[J]. 邹蕾,张先锋. 信息网络安全. 2012(02)
[8]语言真值直觉模糊命题逻辑系统的推理规则[J]. 刘德山,殷明娥,邹丽. 计算机工程与应用. 2011(33)
[9]Drools规则引擎在现代物流信息平台的应用[J]. 陆歌皓,李仕金,吴超凡. 计算机科学. 2011(S1)
[10]推理在学习与认知中的作用[J]. 蔡曙山,白晨,衣新发,韩旭. 重庆理工大学学报(社会科学). 2011(08)
博士论文
[1]本体映射的若干方法研究[D]. 王茹娟.吉林大学 2012
[2]基于仿人脑认知计算模型的机器人视觉学习方法[D]. 瞿心昱.浙江工业大学 2012
硕士论文
[1]高考中立体几何解答题的研究与思考[D]. 李莹莹.河北师范大学 2017
[2]辅助线（点）自动添加的研究及在立体几何中的应用[D]. 胥亮.电子科技大学 2017
[3]基于规则引擎的平面几何推理系统的设计与实现[D]. 温金彪.电子科技大学 2016
[4]初等数学问题题意理解关键技术研究及其应用[D]. 李周.电子科技大学 2016
[5]初中数学错误模型研究及其在自动判卷系统中的应用[D]. 陈显玲.电子科技大学 2016
[6]基于句模的初等数学问题题意理解方法研究及应用[D]. 吴宣乐.电子科技大学 2016
[7]复句关系词自动标识中规则引擎的实现策略研究[D]. 徐涛.华中师范大学 2013
[8]基于语义网的几何自动推理研究及其应用[D]. 孙媛媛.电子科技大学 2013
[9]基于Drools的信息管理与决策系统的研究与实现[D]. 朱会兵.武汉理工大学 2012
[10]海量非结构化数据分布式分析与检索[D]. 余斌.浙江大学 2012
本文编号：2909323
本文链接：https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/2909323.html
