A Framework for Solving Explicit Arithmetic Word Problems and Proving Plane Geometry Theorems

doi:10.1142/s0218001419400056

A Framework for Solving Explicit Arithmetic Word Problems and Proving Plane Geometry Theorems

2019-06-07

0

PRE

AI

DOI：10.1142/s0218001419400056

原文链接

原文求助

摘要

En 中文

This paper presents a framework for solving math problems stated in a natural language (NL) and applies the framework to develop algorithms for solving explicit arithmetic word problems and proving plane geometry theorems. We focus on problem understanding, that is, the transformation of a NL description of a math problem to a formal representation. We view this as a relation extraction problem, and adopt a greedy algorithm to extract the mathematical relations using a syntax-semantics model, which is a set of patterns describing how a syntactic pattern is mapped to its formal semantics. Our method yields a human readable solution that shows how the mathematical relations are extracted one at a time. We apply our framework to solve arithmetic word problems and prove plane geometry theorems. For arithmetic word problems, the extracted relations are transformed into a system of equations, and the equations are then solved to produce the solution. For plane geometry theorems, these extracted relations are input to an inference system to generate the proof. We evaluate our approach on a set of arithmetic word problems stated in Chinese, and two sets of plane geometry theorems stated in Chinese and English. Our algorithms achieve high accuracies on these datasets and they also show some desirable properties such as brevity of algorithm description and legibility of algorithm actions.

A Framework for Solving Explicit Arithmetic Word Problems and Proving Plane Geometry Theorems

摘要

AI总结

期刊

机构

引用论文