基于复杂推理网络的自动解题方法技术

一种基于复杂推理网络的自动解题方法，包括以下步骤：S1：编写基础规则，S2：归纳总结数学逻辑，提取解题流程，编写规则流，规则流是由多条基础规则组合而成，用于处理数学逻辑中常见的解题模式；S3：针对触发的规则，记录下其规则名，规则的条件和结论，基础规则与规则流分别插入并保存在不同的容器中；S4：利用定时器，每经过一个时间间隔检查容器中事实数目的变化，当工作空间中存在与求解目标等价的事实或容器中的规则数目不再发生变化时，则停机；S5：自动整理并形成推理网络并正向输出。

【技术实现步骤摘要】
基于复杂推理网络的自动解题方法
本专利技术涉及人工智能
，具体涉及一种基于复杂推理网络的自动解题方法。
技术介绍
目前人工智能领域迅速发展，且持续升温，在教育领域的实际应用也逐渐崭露头角。个性化教育一直是K12教育的一大痛点，而人工智能在教育领域的应用则为教育实现由“千人一面”到“千人千面”的转变带来希望。自动解题技术是要实现智能教育的必经之路，自动化解题技术能够在题目推理网络的基础上，获取有关题目题文与解析的全部信息，能够进一步挖掘，一方面可以实现数学题目思路剖析，解题方法总结，考点提取，自动判卷等应用。另一方面，基于题目本身可以进行题目分类与关联，提高个性化推荐的精准度。目前，自动化解题技术并不成熟，仍处于探究和实现阶段。
技术实现思路
本专利技术提出一种基于复杂推理网络的自动解题方法。为便于理解本专利技术，本专利技术涉及到的相关术语包括：推理：指有一个或几个已知的判断(前提)，推导出一个未知结论的思维过程。复杂逻辑推理：指由多种推理方式和策略有机结合而形成的一种复合的推理过程。规则：规则包含数学领域有关概念、定理、方法，技巧。在规则的作用下，由已知的若干知识推理产生其他新知识本文档来自技高网...

【技术保护点】
1.一种基于复杂推理网络的自动解题方法，用于解算数学题目，其特征在于，包括以下步骤：S1：编写基础规则，该基础规则包含数学概念、定理、方法和技巧，其中，基础规则分为功能性规则和逻辑规则，功能性规则用于推理过程的知识转化或连接，不会出现在最终的推理网络中，逻辑规则则是解题的每个步骤，将会最终构成推理网络并输出；S2：归纳总结数学逻辑，提取解题流程，编写规则流，规则流是由多条基础规则组合而成，用于处理数学逻辑中常见的解题模式；S3：针对触发的规则，记录下其规则名，规则的条件和结论，基础规则与规则流分别插入并保存在不同的容器中；S4：利用定时器，每经过一个时间间隔检查容器中事实数目的变化，当工作空间...

【技术特征摘要】
1.一种基于复杂推理网络的自动解题方法，用于解算数学题目，其特征在于，包括以下步骤：S1：编写基础规则，该基础规则包含数学概念、定理、方法和技巧，其中，基础规则分为功能性规则和逻辑规则，功能性规则用于推理过程的知识转化或连接，不会出现在最终的推理网络中，逻辑规则则是解题的每个步骤，将会最终构成推理网络并输出；S2：归纳总结数学逻辑，提取解题流程，编写规则流，规则流是由多条基础规则组合而成，用于处理数学逻辑中常见的解题模式；S3：针对触发的规则，记录下其规则名，规则的条件和结论，基础规则与规则流分别插入并保存在不同的容器中；S4：利用定时器，每经过一个时间间隔检查容器中事实数目的变化，当工作空间中存在与求解目标等价的事实或容器中的规则数目不再发生变化时，则停机；S5：自动整理并形成推理网络并正向输出。2.根据权利要求1所述的一种基于复杂推理网络的自动解题方法，其特征在于，定时器是drools推理引擎中的内部功能timer函数实现的。3.根据权利要求2所述的一种基于复杂推理网络的自动解题方法，其特征在于，所述步骤S4具体包括以下步骤：S41、设置一个变量fact_num，保存规则或规则流容器上一次事实数目；S42、将fact_num初始化为-1；S43、利用timer设置定时器：自推理引擎开始推理，延迟所述时间间隔...

【专利技术属性】
技术研发人员：李巧艳，谢德刚，
申请(专利权)人：上海互教教育科技有限公司，
类型：发明
国别省市：上海,31