导读:本文包含了推理求解论文开题报告文献综述及选题提纲参考文献，主要关键词:分支推理,初等数学,知识表示,知识库
推理求解论文文献综述
王权威[1]（2019）在《初等数学问题自动求解中的分支推理架构及实现》一文中研究指出随着人工智能研究的深入和现代计算机技术的发展,其对人们的生活方式和社会的组织结构都将产生深远的影响。在人工智能给人们日常生活带来便捷的同时,其在科研与教育领域也将产生变革。人工智能的发展将推进科研与教育向纵深方向发展。正是基于上述背景,本文主要研究了初等数学问题自动求解中的分支推理架构,设计和实现了一个基于分支推理的初等数学问题自动求解系统。本文的主要内容包括以下几个方面:1.初等数学问题的知识表示初等数学问题的知识表示包括初等数学中相关的实体表示、实体之间的关系表示和推理依据的表示。在本文中,我们将初等数学中所涉及的概念分类进行抽象,用面向对象的方法来表示。用Data表示原子知识,用Relation去表示多个Data或多个Relation之间的关系。推理依据的表示包括初等数学问题中的一些常识、公理、定理和推论的表示。我们为这些公理、定理、推论等数学理论建立结构一致的模型,以便计算机能够运用这些模型进行推理产生出新的知识,从而达到解题的目的。在系统中主要以编写规则的方式来实现此类模型。2.基于知识库的分支推理架构的研究在问题求解过程中,往往会涉及到一些分类讨论的情况。我们通过建立分支知识库,实现拆分“或”关系为各个单独关系,让它们分别在各自独立的知识库中进行无干扰的推理;然后再利用矛盾检测机制检验推理产生的知识,逐步减少分支或推导出分支并对分支进行合并;最终求解出问题,同时得到完整的问题求解过程。这就是分支推理。在研究分支推理架构时,我们分别对分支架构中的关键技术进行了研究与探索,包括分支的具体知识表示、分支推理架构的模块组成、分支推理策略和外部分支技术。3.基于分支推理的问题自动求解系统的实现系统中的初等数学知识以对象的方式来表示和存储,通过自然语言理解、预处理、主知识库、外部知识库、控制器、分支推理和符号计算等模块的相互配合,形成一个具有类人答题功能的完整的初等数学问题自动求解系统。并且在该系统中创造性地设计和实现了一题多解模块,使系统具有能够用多种方法求解初等数学问题中一些典型问题的功能。(本文来源于《电子科技大学》期刊2019-03-27）
潘静[2]（2019）在《解题教学讲“推理” 更需讲“道理”——由一道函数的值域求解谈如何进行解题教学》一文中研究指出(本文来源于《中学数学研究》期刊2019年01期）
高慧明[3]（2018）在《归纳、类比、演绎推理问题求解策略——高中数学解题基本方法系列讲座(12)》一文中研究指出推理是根据一个或几个已知的判断来确定一个新的判断的思维过程,它包括合情推理与演绎推理,合情推理又包括归纳推理和类比推理,归纳推理是由某类事物的部分对象具有某些特征,推出该类事物的全部对象都具有这些特征的推理,或者由个别事实概括出一般结论的推理,由部分到整体、归纳推理由个别到一般的推理类比;推理是由两类对象具有某些类似特征和其中一类对象的某些已知特征,推出另一类对象也具有这些特征的推理,它是由特殊到特殊的推理;演(本文来源于《广东教育(高中版)》期刊2018年09期）
施裕豪[4]（2018）在《一个基于推理的高考地理简答题求解系统的设计与实现》一文中研究指出国家863项目“开放域知识关联、推理与检索关键技术”研究以求解高考地理试题为目标的自动问答技术,初步研究表明部分高考地理简答题需要借助推理进行求解。高考地理简答题具有提问形式标准、题干中包含与答题相关的事实信息等特点,其难点在于题目的答案非直接可得,需要结合问题给定的答题方向、题干中给定的事实和高中地理知识推理得到,其中具有代表性的是发展条件类题目,占历年北京地区高考地理简答题的百分之二十。本文分析了历年发展条件类简答题,围绕该类简答题的题干信息和问题的表达模型、题干信息提取,以及基于人工智能推理技术求解等开展研究,探索了一个高考地理简答题求解系统的设计和实现方案,以期为相关研究提供借鉴。本文的主要工作包括:1)分析了北京历年高考地理简答题的题目类型、求解过程和答题模式2)分析并设计了用于理解发展条件类简答题的问题理解模型,并基于回答集编程语言(ASP),设计了面向发展条件类题目的题干信息表达模型(QSIRM);3)设计并实现了基于抽象语义表示体系(AMR)和题干信息表达模型的题干事实抽取算法,该算法将题干信息转换成ASP事实的形式;4)基于溯因推理,设计并实现了一种面向知识图谱和外部查询库的知识拓展方法;5)设计并实现了一种基于模板的自然语言答案生成方法;6)设计并实现了一个基于推理的高考地理问答系统AMRR;本文以2010年到2016年北京高考地理题中的发展条件类简答题作为测试用例,依据高考地理答案解析评分,AMRR对高考地理发展优势类问题的解答能够达到4.6分,测试结果表明,本文提出的基于推理的高考地理简答题求解方案对解答高考地理题具有参考价值。(本文来源于《东南大学》期刊2018-06-07）
邓衍晨[5]（2018）在《求解分布式约束优化问题的推理算法研究》一文中研究指出分布式约束优化问题(DCOP)是多智能体系统(MAS)的基本框架,是对分布式问题解决、多智能体协作的重要建模方式,现已成功应用于任务调度、电力系统等领域。非对称分布式约束优化问题(ADCOP)在DCOP的基础上增加了Agent的私有偏好,具有更强的建模的能力和更大的应用前景。以最大和算法(Max-sum)为代表的推理算法作为求解DCOP/ADCOP的重要手段,广泛地应用于各种实际场景中。然而,现有的非完备推理算法普遍存在着难以收敛、解的质量较差的问题。此外,由于ADCOP对隐私性的要求,传统用于求解DCOP的完备推理算法无法直接用于ADCOP,而现有的求解ADCOP的完备搜索算法普遍存在着求解问题规模较小、隐私性较差等问题。针对以上问题,本文拟从求解DCOP的非完备推理算法和求解ADCOP的完备算法开展研究。具体研究内容如下:(1)深入分析了值传播机制Max-sum类算法的影响。本文从理论上证明了虽然值传播可以极大地提高算法的性能,但是其同时阻碍了Max-sum类算法的信念传播。特别地,本文证明了当在换向有向无环图上连续执行值传播机制时,智能体将完全无法利用全局累加的信念,因此算法将等价于一个顺序的贪心局部搜索算法。由此,提出了在值传播机制下如何有效地平衡探索与利用这一重要的科学问题。(2)为了解决上述问题,本文提出了一系列基于非连续值传播的Max-sum类算法,包括基于单向值传播的Max-sum_AD算法(Max-sum_ADSSVP),基于混合信念/值传播的Max-sum算法(Max-sum_HBVP)和基于概率值传播的Max-sum_AD算法。这些算法通过打破在有向无环图上反复执行值传播这一桎梏,使得智能体在作出决策时可以同时兼顾个体利益和全体利益。本文还从理论上说明了上述算法不会等价于贪心的局部搜索算法,并分析了其时空复杂度。实验结果表明,上述算法显着优于传统的非完备推理算法,且对值传播机制开始启用的时机不敏感。(3)充分考虑了ADCOP的特点,针对ADCOP对隐私性的要求,创新性地提出了一种基于搜索-推理混合的完备算法PT-ISBB。该算法利用完备推理算法速度较快这一优势,预先求解一面的约束,并将推理结果存储;在搜索阶段,利用伪树中不同分支间相互独立这一事实,不断将问题划分为更小的子问题。在每一个节点上,都使用子树的推理结果作为取值的下界,以实现高效率的剪枝。本文同时在理论上证明了其完备性,并分析了其复杂度。实验结果表明,PT-ISBB在多个测试问题上均优于传统的搜索算法。(本文来源于《重庆大学》期刊2018-04-01）
陈青山[6]（2018）在《基于矛盾体分离的命题逻辑动态自动演绎推理求解系统研究》一文中研究指出SAT问题是一类特殊的约束满足问题(CSP),也是信息科学领域一个着名的决策问题。在理论应用领域,许多经典的可计算问题,诸如覆盖问题、打包问题、路由选择问题、排序问题等都可以转换为SAT问题求解;在实际应用领域,诸如模型检验、软件形式化验证、硬件形式化验证、智能规划、知识编译以及其他组合优化领域的问题也可以转换为SAT问题求解。因此,研究高效的SAT求解算法有着重要的理论价值和应用价值。由于SAT问题是NP完全的,迄今为止没有发现哪一个SAT求解器长期处于领先地位。针对主流的CDCL SAT求解算法的不足,本文基于徐扬教授提出的基于矛盾体分离的演绎自动推理理论,在构建动态、多元的矛盾体分离的演绎算法核心方面进行了深入的研究,并开发了独立的基于矛盾体分离的命题逻辑动态自动演绎推理求解器和基于矛盾体分离的命题逻辑动态自动演绎推理核心与CDCL融合的求解器。实现了基于矛盾体分离的命题逻辑动态自动演绎推理求解基础算法,并针对CDCL求解算法规避潜在搜索冲突的机制进行了研究,提出了基于矛盾体重构的子句学习算法。利用CDCL求解器冲突分析给出的回溯层与当前冲突层之间的决策信息,在子句集中选择合适子句重新构造矛盾体,并生成新的学习子句。重构过程与CDCL冲突分析过程同步化进行,解决了矛盾体构造中的演绎子句不确定性问题、演绎文字不确定性问题和演绎深度不确定性问题。同时,使得CDCL求解器每次可以得到两个学习子句,分别代表两个不同的冲突搜索空间,增强了CDCL求解器规避冲突的能力。针对CDCL求解算法单一分支决策机制决策效率不高的问题,提出了基于矛盾体分离的扩充求解算法。该算法以CDCL求解器给出的决策文字为起步文字,在剩余未满足子句中构造矛盾体,并生成一组局部可满足赋值序列,引导求解器优先搜索赋值序列所在解空间。通过不断地构造矛盾体并将被满足的子句成组地从剩余子句中分离,逐渐减小问题规模。对于可满足公式,可以通过迭代调用演绎过程,将局部可满足解成组地扩充为全局可满足解;对于不可满足公式,如果演绎结果出现空子句,则可以直接判定。局部可满足赋值序列是矛盾体构造得出的结论,本身反映了潜在搜索冲突,相比每次仅给出一个分支决策文字的决策机制,具有更高的决策效率。研究了CDCL启发式分支决策策略,在分析了已有启发式分支决策算法不能有效选择下一个分支变元之后,提出了基于活跃度综合评估的启发式分支文字选择算法。在冲突分析过程中,当变元出现在冲突子句和学习子句中时,其活跃度增量与变元所在决策层和被赋值时的总冲突次数均紧密有关。变元所在决策层体现了局部搜索对应子空间的划分关系,变元被赋值时的总冲突次数体现了全局搜索中的冲突变化趋势。本文算法综合考虑变元所在决策层和被赋值时的总冲突次数之间的关系,给出了决策层和冲突次数的作用调节因子。实验表明,该算法比经典的EVSIDS评估方式更加科学合理。研究了学习子句删除算法,在分析了已有学习子句删除算法随意性大且保留的子句利用率不高的问题之后,提出了基于冲突分析频率的学习子句删除算法和基于动态趋势评估的学习子句删除算法。基于冲突分析频率的学习子句删除算法通过强制删除被使用次数较少的子句,保留(或随机保留)次数较多的子句,能够显着改善求解性能。基于动态趋势评估的演绎结果删除算法给出了学习子句趋势强度的量化方法和轻量级的实现算法。通过建立学习子句状态趋势转移模型可将随机的、离散的时序信息转换为连续的累积趋势强度。在删除周期到达时,强制删除累积趋势强度小于设定阈值的学习子句。该算法总体性能显着优于学习子句活跃度评估算法,与LBD算法性能基本相当。研究了重复演绎路径识别问题,在分析了现有重启算法与搜索过程联系不太紧密、触发条件随意性大的问题后,提出了基于向量空间模型的搜索路径识别算法。该算法借助Luby序列触发延时重启判断,将当前搜索路径和已搜索路径转换为向量空间模型,通过计算向量空间相似度识别重复搜索路径,综合评估是否需要重启。一旦向量空间相似度达到设定阈值,则触发重启,否则延迟重启。对比结果表明,该算法能够有效规避重复搜索空间,并在一定程度上提高求解效率。(本文来源于《西南交通大学》期刊2018-03-03）
谭文倩[7]（2018）在《数形辅助推理,讨论严谨求解——以初中几何新型题为例》一文中研究指出几何新定义题是近年来中考的一道独特风景,其解法也具有独特的综合性.对于新定义题,首先要结合图像理解图形结构,挖掘隐含信息,然后利用数形结合的方式分析问题,并结合分类讨论思想来严谨推理.本文将结合考题简要讲解几何新定义题的解题策略,与读者交流探讨.(本文来源于《数学教学通讯》期刊2018年02期）
肖利全[8]（2017）在《巧妙转换思维方式 灵活求解推理计算》一文中研究指出化学推理题更加注重对学生推理能力以及解决实际问题能力的考查,而并非单纯的考查学生对简单的化学概念、原理等掌握情况.推理能力是高中生的必备能力,通过提高学生的化学计算推理能力,不仅可以开拓学生视野,同时可以提高学生理论联系实际的能力.那么,如何才能提高学生分析、推理、综合应用能力呢?一、把握题间关系,逐步渗透分析根据问题完成推理计算是对化学推理的综合考查,学生需要结合上下题之间的分析来完成整道题(本文来源于《中学生理科应试》期刊2017年11期）
陈兴[9]（2017）在《江西省推理公式求解小流域设计洪峰流量的优化算法》一文中研究指出根据2010年版《江西省暴雨洪水查算手册》推荐的江西省暴雨洪水推理公式,一般对小流域的设计洪峰流量采用图解法进行求解.图解法虽然求解直观、易理解,但在找两条曲线交点时也容易出现读数误差,且不易利用计算机语言编程实现.本文根据当前水文手册中采用的图解法,将其计算方法进行优化,使得原有的曲线方程组转化为线性方程组,提出一种可行的、易编程实现的优化算法,可供水文设计人员参考.(本文来源于《江西水利科技》期刊2017年01期）
查家泰[10]（2017）在《运用叁种推理方法求解第一宇宙速度》一文中研究指出高中阶段的物理知识有着基础性作用,其原理与各个学科的结合促进了科技的不断进步。本文首先了解人造卫星的发射蓝图,进而从物理学理论的角度介绍了如何运用叁种推理第一宇宙速度的求解方法,最后从习题方面对牛顿地球发展蓝图设想进行拓展。(本文来源于《科学中国人》期刊2017年05期）
推理求解论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
推理求解论文参考文献
[1].王权威.初等数学问题自动求解中的分支推理架构及实现[D].电子科技大学.2019
[2].潘静.解题教学讲“推理”更需讲“道理”——由一道函数的值域求解谈如何进行解题教学[J].中学数学研究.2019
[3].高慧明.归纳、类比、演绎推理问题求解策略——高中数学解题基本方法系列讲座(12)[J].广东教育(高中版).2018
[4].施裕豪.一个基于推理的高考地理简答题求解系统的设计与实现[D].东南大学.2018
[5].邓衍晨.求解分布式约束优化问题的推理算法研究[D].重庆大学.2018
[6].陈青山.基于矛盾体分离的命题逻辑动态自动演绎推理求解系统研究[D].西南交通大学.2018
[7].谭文倩.数形辅助推理,讨论严谨求解——以初中几何新型题为例[J].数学教学通讯.2018
[8].肖利全.巧妙转换思维方式灵活求解推理计算[J].中学生理科应试.2017
[9].陈兴.江西省推理公式求解小流域设计洪峰流量的优化算法[J].江西水利科技.2017
[10].查家泰.运用叁种推理方法求解第一宇宙速度[J].科学中国人.2017