Abstract:Abstract This paper presents a relation-centric algorithm for solving arithmetic word problems (AWPs) by synergizing a syntax-semantics extractor for extracting explicit relations, and a neural network miner for mining implicit relations. This is the first algorithm that has a specific component to acquire implicit knowledge items for solving AWPs. This paper proposes a three-phase scheme to decompose the challenging task of designing an algorithm for solving AWPs into three smaller tasks. The first phase proposes a state-action paradigm; the second phase instantiates the paradigm into a relation-centric approach; and the third phase implements a relation-centric algorithm for solving AWPs. There are two main steps in the proposed algorithm: problem understanding and symbolic solver. By adopting the relation-centric approach, problem understanding becomes a task of relation acquisition. For conducting the task of relation acquisition, a relaxed syntax-semantics method first extracts a group of explicit relation candidates. In parallel, a neural network miner acquires implicit relation candidates. The miner computes the vectors encoded by BERT to determine which implicit relations should be added. Thus, problem understanding can acquire both explicit relations and implicit relations, which addresses the challenge of building a problem understanding method that can acquire all the knowledge items to find the solution. In the subsequent step of symbolic solver, a fusion procedure forms a distilled set of relations from all the candidates by discarding unnecessary relations. Experimentation on nine benchmark datasets validates the superiority of the proposed algorithm that outperforms the state-of-the-art algorithms.

A Theoretical Review on Solving Algebra Problems

Local and Global Behavior for Algorithms of Solving Equations

Specialized Mathematical Solving by a Step-By-Step Expression Chain Generation

The Gap of Semantic Parsing: A Survey on Automatic Math Word Problem Solvers

Cognitive Processes and Task Features of Algebra Story Problems for Item Generation

Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches

Solving arithmetic word problems by synergizing syntax-semantics extractor for explicit relations and neural network miner for implicit relations

Algebraic Thinking in Arithmetic:Quasi ?variable Expressions

A New Algebraic Modelling Approach to Distributed Problem-Solving in Mas

Mathematics education research on algebra over the last two decades: quo vadis?

Solving Math Word Problems by Combining Language Models With Symbolic Solvers

A survey of SAT solver

An Incremental Algorithm for Algebraic Program Analysis

A Review of The Algorithm Visualization Field

Advances in Satisfiability Solving Techniques

Automated Generation of Geometry Proof Problems Based on Point Geometry Identity

Review of Algorithms of Structural Optimization with Discrete Variables

A model for scaffolding mathematical problem-solving: From theory to practice

A Survey on Theoretical Combination Techniques of SMT Solvers

Hyper-Distributed Hyper-Parallel Algebraic Approach To Mas Problem-Solving