文件名称：二次函数的问题求解器
文件大小：236KB
文件格式：PDF
更新时间：2024-07-19 12:02:13
学术 论文
二次函数问题求解器 二次函数问题求解器 Tsuyoshi Murata, 1 Ran Hosoya, 2 Shingo Kawabe, 2 和 Masamichi Shimura 3 1 群马大学计算机科学系，Kiru，376-8515 日本 2 Sony Corporation，东京，141 -0001 日本 3 东京科学大学科学技术学院，Noda，278-0022 日本 摘要 已经对数学和算术问题求解器进行了多项研究，试图构建执行人类智力活动的系统。 然而，大多数这样的系统只支持简单的问题。 为了解决更复杂的问题，例如大学入学考试中出现的问题，需要在使用给定的约束和数据的同时结合前向推理和后向推理。 在本文中，我们介绍了 MAP-Q，这是一种用于解决涉及二次函数的问题的系统。 MAP-Q 系统将二次函数问题表示为扩展语义网络，并通过应用规则在网络上传播约束和数据来找到解决方案。 实验结果表明，MAP-Q 能够解决入学考试中出现的实际问题。 许多数学问题包括多个问题。 在这种情况下，MAP-Q 仅从扩展语义网络中提取给定问题所需的那些部分。 系统将每一道题的解题过程分开，一道题所得的