Abstract:Reasoning answers to mathematical problems requires machines to think and operate like a human to learn knowledge from mathematical data, which is one of the fundamental tasks for exploring general artificial intelligence. Most solutions focus on mimicking how humans understand problems, which generate the necessary expressions for answers. However, they are still far from enough since they ignore the core ability of humans to acquire knowledge from experience. In this paper, we propose a Cognitive Solver (CogSolver) that is capable of autonomously learning knowledge from scratch to solve mathematical problems, inspired by two cognitive science theories. Specifically, we draw one insight from the dual process theory to establish an intelligent BRAIN-ARM framework, and refer to another information processing theory to summarize the knowledge learning process into Store-Apply-Update steps. In CogSolver, the BRAIN system stores three types of mathematical knowledge, including semantics knowledge, relation knowledge, and mathematic rule knowledge. Then, the ARM system applies the knowledge in BRAIN to answer the problems. Specifically, we design a knowledge-aware module and a commutative module in ARM to improve its reasoning ability, where the knowledge is organically integrated into answer reasoning process. After solving the problems, BRAIN updates the stored knowledge according to the feedback of ARM, where we develop knowledge filters to eliminate the redundant ones and further form a more reasonable knowledge base. Our CogSolver carries out the above three steps iteratively, which behaves more like a human. We conduct extensive experiments on real-world math word problem datasets. The experimental results demonstrate the improvement in answer reasoning and clearly show how CogSolver gains knowledge from the problems, leading to superior interpretability. Our codes are available at https://github.com/bigdata-ustc/CogSolver.

Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation

Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems

Typed Answer Set Programming and Inverse Lambda Algorithms

A Translational Approach to Constraint Answer Set Solving

Answer Set Programming : SAT Based Solver and Phase Transition

Ludii and XCSP: Playing and Solving Logic Puzzles

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

Puzzle Solving using Reasoning of Large Language Models: A Survey

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories

CNL2ASP: converting controlled natural language sentences into ASP

Towards Automatic Composition of ASP Programs from Natural Language Specifications

Abstract Solvers for Computing Cautious Consequences of ASP programs

A Cognitive Solver with Autonomously Knowledge Learning for Reasoning Mathematical Answers

Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming

Solving probability puzzles with logic toolkit

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation

Reliable Natural Language Understanding with Large Language Models and Answer Set Programming

Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge

A solver of single-agent stochastic puzzle: A case study with Minesweeper

Answer Set Networks: Casting Answer Set Programming into Deep Learning

Are Language Models Puzzle Prodigies? Algorithmic Puzzles Unveil Serious Challenges in Multimodal Reasoning