机器之心发布机器之心编辑部
实现高级别的数学逻辑推理能力一直是通用人工智能追求的目标之一。近日，UCLA联合浙江大学和中山大学的研究者提出了首个基于符号推理的几何数学题求解器Inter-GPS。Inter-GPS将几何题的图片和文字解析为统一的形式语言，运用相关的几何定理，逐步进行符号推理直至预测出最终的答案。Inter-GPS实现了57.5%的准确率，远超神经网络方法的33.0%的准确率。
几十年来，如何让人工智能算法具备复杂的数学推理能力，像人类一样求解各种数学题，一直是科学家们追求的目标。其中，求解几何数学题就是一项非常具有挑战的任务。求解几何题，算法需要理解题目的文字和图形信息，识别丰富的几何元素和关系，运用相关的几何定理，完成一系列的数值计算，直至求解出最终的问题答案。
一道典型的几何数学题。
心理学家和教育家的研究表明，求解几何问题需要符号抽象和逻辑推理的高级思维能力。人类在求解几何题的时候，会抽象出题目的结构化语义，从而完成后续的逻辑推理。形式语言是由基于一套符合特定规则的语句组成，通常用于语言学和数学领域。研究团队认为将几何题目输入解析为形式语言的描述是非常重要的。
来自UCLA、浙江大学和中山大学等机构的联合研究团队提出了一种基于形式语言和符号推理的、具有很强可解释性的几何解题方法：Inter-GPS。
论文链接：
转载请注明：http://www.0431gb208.com/sjszlff/4699.html
