复杂逻辑与计算推理引擎的设计及其在函数问题的应用

发布时间：2021-07-11 03:56

　　近年来,随着人工智能技术的飞速发展,许许多多专家学者开始将注意力集中在人工智能技术与教育的结合上。利用人工智能技术定义全新的教育模式,实现计算机自动求解、自动辅导等功能,为学生提供快速、公平、系统并且量身定制的教育资源。这对提升教育质量,降低教育成本和创新教育模式有着十分重要的意义。本论文的研究内容是仅在输入原始初等数学题目的基础上,对题目进行自动类人求解,简称“高考机器人”。它主要包含如下几点:1)复杂逻辑与计算推理引擎的研究和构建主要研究复杂逻辑与计算引擎的组织结构与核心算法设计,针对出现问题给出相应解决方案。从复杂逻辑推理引擎研究与构建,复杂逻辑与计算推理和类人求解三个方面分析了复杂逻辑与计算推理引擎的结构和组成等内容。其中以引擎搭建部分为重点,讲述了三种不同的复杂逻辑推理组织方式,并采用“先正后逆”推理方式构建推理引擎。随后研究了推理引擎与符号计算平台之间的联系,通过符号计算提供的计算服务为具体的问题的计算推理打下支撑。类人求解中,在推理的基础上,设计基于DFS的搜索算法,重构类人求解过程。2)初等数学函数问题的知识表示在自然语言处理（Nature Language Proce... 

【文章来源】：电子科技大学四川省 211工程院校 985工程院校 教育部直属院校

【文章页数】：94 页

【学位级别】：硕士

【部分图文】：

Drools结构图

第二章 相关理论与技术算法由 Charles Forgy 博士发明的一种针对规则匹配的高效在博士论文《On the efficient implementation of productie 算法可以分为规则编译和规则执行两部分。在 D用的是 rete 算法的改进算法，效率更加高效，这一小节法和 Drools 的具体实现详细讲解 Drools 中最核心的算法主要描述如何处理生产内存(Production Memory)中络。以非技术术语讲，辨别网络用于在数据通过网络orgy 的论文中，描述了 4 种基本节点[44]，分别是：根节点和终端节点。辨别网络顶部以根节点(起始节点)为开更多的匹配，随着网络不断地向下扩展，匹配将越来以终端节点作为网络的结束。下图 2-3 列举了 Drools

第五章 系统测试与分析第五章 系统测试与分析5.1 系统测试5.1.1 系统展示基于本论文所设计的复杂逻辑与计算推理引擎所实现的类人求解系统，在初等数学函数问题中表现出较为不错的效果。1) 例 1 为一道函数选择题，题目描述为：若函数 f(x)是 R 上周期为 5 的奇函数，且满足 f(1)=1,f(2)=2，则 f(3)-f(4)=( )A. -1 B. 1 C. -2 D. 2该题目经过自然语言处理，识别成的关系如下图 5-1 所示。

【参考文献】：
期刊论文
[1]人工智能的研究现状及发展趋势[J]. 孙晔,吴飞扬.  价值工程. 2013(28)
[2]基于A*的路径规划算法研究[J]. 李淑霞.  福建电脑. 2013(03)
[3]A*进路搜索算法的研究与实现[J]. 梁艺凡,谭丽,冯挺.  铁道标准设计. 2013(02)
[4]一阶谓词逻辑在人工智能知识表示中的应用[J]. 王湘云.  重庆工学院学报(社会科学版). 2007(09)
[5]语义网、语义网格和语义网络[J]. 李洁,丁颖.  计算机与现代化. 2007(07)
[6]知识表示方法研究与应用[J]. 年志刚,梁式,麻芳兰,李尚平.  计算机应用研究. 2007(05)
[7]三角函数表达式的计算机自动化简[J]. 符红光,钟秀琴,曾振柄.  计算机学报. 2006(10)
[8]Java规则引擎——Drools的介绍及应用[J]. 刘伟.  微计算机应用. 2005(06)
[9]产生式系统分析和应用[J]. 孙成存,李凯,赵克.  电子科技. 2004(09)
[10]本体论研究综述[J]. 李善平,尹奇韡,胡玉杰,郭鸣,付相君.  计算机研究与发展. 2004(07)

硕士论文
[1]初中数学错误模型研究及其在自动判卷系统中的应用[D]. 陈显玲.电子科技大学 2016
[2]基于实例模型的知识推理及其在自动阅卷系统中的应用[D]. 汪洪臣.电子科技大学 2015
[3]在智能搜索中A*算法的应用与研究[D]. 郝向荣.西安建筑科技大学 2007



本文编号：3277286