Learning of human-like algebraic reasoning using deep feedforward neural networks

Loading...
Thumbnail Image
File version

Accepted Manuscript (AM)

Author(s)
Cai, Cheng-Hao
Xu, Yanyan
Ke, Dengfeng
Su, Kaile
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2018
Size
File type(s)
Location
Abstract

Human-like rewriting, which is an algebraic reasoning system imitating human intelligence of problem solving, is proposed in this work. In order to imitate both learning and reasoning aspects of human cognition, a deep feedforward neural network learns from algebraic reasoning examples produced by humans and then uses learnt experiences to guide other reasoning processes. This work shows that the neural network can learn human’s behaviours of solving mathematical problems, and it can indicate suitable directions of reasoning, so that intelligent and heuristic reasoning can be performed. Moreover, human-like rewriting bridges the gap between symbolic reasoning and biologically inspired machine learning. To enable the neural network to recognise patterns of symbolic expressions with non-deterministic sizes, the expressions are reduced to partial tree representations and then vectorised as numeric features. Further, the centralisation method, symbolic association vectors and rule application records are used to improve the vectorised features. With these approaches, human-like rewriting shows satisfactory performance on the tasks of solving linear equations and computing derivations and indefinite integrals.

Journal Title

Biologically Inspired Cognitive Architectures

Conference Title
Book Title
Edition
Volume

25

Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

© The Author(s) 2018. This is an Open Access article distributed under the terms of the Creative Commons Attribution 4.0 International (http://creativecommons.org/licenses/by/4.0/) which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Item Access Status
Note
Access the data
Related item(s)
Subject

Medical microbiology not elsewhere classified

Persistent link to this record
Citation
Collections