一种基于多项式约化的初等数列问题自动求解技术制造技术

本发明专利技术公开了一种基于多项式约化的初等数列问题自动求解技术。其包括以下步骤：1、拿到高中数学大纲中规定的等差等比数列试题；2、把试题的内容直译为一阶谓词逻辑语句；3、按照MAPLE软件平台的输入规则，按照事先设定好的格式，将有关数列问题的一阶谓词逻辑语句转化为MAPLE标准输入格式；4、在MAPLE软件平台上导入编写的自动答题程序；5、在MAPLE软件平台上输入由步骤3中得到的高考数列问题的MAPLE标准输入格式，并调用自动答题程序进行求解过程。本发明专利技术不仅可以解答已经发布的各省历年相关题目，而且可以自动解答相似题型的未知试题。

An automatic solution technique for elementary series problems based on polynomial reduction

The invention discloses an automatic solving technique for elementary sequence problems based on polynomial reduction. It includes the following steps: 1, get the required high school mathematics in the outline of the arithmetic geometric progression test; 2, the content of literal translation questions into first-order predicate logic statements; 3, in accordance with the rules of the input MAPLE software platform, according to the preset format, the first-order predicate logic statements related to the series of problems into MAPLE standard input format; 4, on the platform of MAPLE software into the prepared automatic answer program; the input format of MAPLE standard 5, MAPLE software platform in the input sequence by 3 steps in the college entrance examination obtained, and call the automatic answer program for solving process. The present invention can not only solve the related questions of the published provinces over the years, but also can automatically answer the unknown questions of similar questions.

【技术实现步骤摘要】
一种基于多项式约化的初等数列问题自动求解技术
本专利技术涉及的是人工智能领域，具体涉及一种基于多项式约化的初等数列问题自动求解技术。
技术介绍
一般对于初等数列问题求解都是通过人工进行求解，对于现有的高中教学大纲要求的等差、等比数列问题。包括高中课堂提问、课后作业、平时测验考试和各省高考真题及模拟题中所出现的选择题、填空题和计算题。上述这些问题都没有自动求解的方法，也不能很好地帮助学生对题目进行分析理解。综上所述，本专利技术设计了针对初等数列问题的自动求解技术。
技术实现思路
针对现有技术上存在的不足，本专利技术目的是在于提供一种初等数列问题求解技术,对给定题型的问题，无视所解题目是否曾经出现在真实试卷上,不仅可以解答已经发布的各省历年相关题目，而且可以自动解答相似题型的未知试题。为了实现上述目的，本专利技术是通过如下的技术方案来实现：一种基于多项式约化的初等数列问题自动求解技术，包括以下步骤：1、拿到高中数学大纲中规定的等差等比数列试题。2、把试题的内容直译为一阶谓词逻辑语句。3、按照MAPLE软件平台的输入规则，按照事先设定好的格式，将有关数列问题的一阶谓词逻辑语句转化为MAPLE标本文档来自技高网...

【技术保护点】
一种基于多项式约化的初等数列问题自动求解技术，其特征在于，包括以下步骤：(1)、拿到高中数学大纲中规定的等差等比数列试题；(2)、把试题的内容直译为一阶谓词逻辑语句；(3)、按照MAPLE软件平台的输入规则，按照事先设定好的格式，将有关数列问题的一阶谓词逻辑语句转化为MAPLE标准输入格式；(4)、在MAPLE软件平台上导入编写的自动答题程序；(5)、在MAPLE软件平台上输入由步骤3中得到的高考数列问题的MAPLE标准输入格式，并调用自动答题程序进行求解过程；(6)、如果自动答题程序可以把问题求解出来，在MAPLE软件平台上显示所求问题的结果；(7)、如果自动答题程序没有能力求解出来，在MA...

【技术特征摘要】
1.一种基于多项式约化的初等数列问题自动求解技术，其特征在于，包括以下步骤：(1)、拿到高中数学大纲中规定的等差等比数列试题；(2)、把试题的内容直译为一阶谓词逻辑语句；(3)、按照MAPLE软件平台的输入规则，按照事先设定好的格式，将有关数列问题的一阶谓词逻辑语句转化为MAPLE标准输入格式；(4)、在MAPLE软件...

【专利技术属性】
技术研发人员：黄雷，李洪波，邵长鹏，
申请(专利权)人：中国科学院数学与系统科学研究院，
类型：发明
国别省市：北京,11