Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Huang, Litian, Yu, Xinguo, Xiong, Feng, He, Bin, Tang, Shengbing, Fu, Jiawen
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911996024193024
author Huang, Litian
Yu, Xinguo
Xiong, Feng
He, Bin
Tang, Shengbing
Fu, Jiawen
author_facet Huang, Litian
Yu, Xinguo
Xiong, Feng
He, Bin
Tang, Shengbing
Fu, Jiawen
contents Solving Algebra Problems with Geometry Diagrams (APGDs) is still a challenging problem because diagram processing is not studied as intensively as language processing. To work against this challenge, this paper proposes a hologram reasoning scheme and develops a high-performance method for solving APGDs by using this scheme. To reach this goal, it first defines a hologram, being a kind of graph, and proposes a hologram generator to convert a given APGD into a hologram, which represents the entire information of APGD and the relations for solving the problem can be acquired from it by a uniform way. Then HGR, a hologram reasoning method employs a pool of prepared graph models to derive algebraic equations, which is consistent with the geometric theorems. This method is able to be updated by adding new graph models into the pool. Lastly, it employs deep reinforcement learning to enhance the efficiency of model selection from the pool. The entire HGR not only ensures high solution accuracy with fewer reasoning steps but also significantly enhances the interpretability of the solution process by providing descriptions of all reasoning steps. Experimental results demonstrate the effectiveness of HGR in improving both accuracy and interpretability in solving APGDs.
format Preprint
id arxiv_https___arxiv_org_abs_2408_10592
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
Huang, Litian
Yu, Xinguo
Xiong, Feng
He, Bin
Tang, Shengbing
Fu, Jiawen
Artificial Intelligence
Computational Geometry
Logic in Computer Science
Solving Algebra Problems with Geometry Diagrams (APGDs) is still a challenging problem because diagram processing is not studied as intensively as language processing. To work against this challenge, this paper proposes a hologram reasoning scheme and develops a high-performance method for solving APGDs by using this scheme. To reach this goal, it first defines a hologram, being a kind of graph, and proposes a hologram generator to convert a given APGD into a hologram, which represents the entire information of APGD and the relations for solving the problem can be acquired from it by a uniform way. Then HGR, a hologram reasoning method employs a pool of prepared graph models to derive algebraic equations, which is consistent with the geometric theorems. This method is able to be updated by adding new graph models into the pool. Lastly, it employs deep reinforcement learning to enhance the efficiency of model selection from the pool. The entire HGR not only ensures high solution accuracy with fewer reasoning steps but also significantly enhances the interpretability of the solution process by providing descriptions of all reasoning steps. Experimental results demonstrate the effectiveness of HGR in improving both accuracy and interpretability in solving APGDs.
title Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
topic Artificial Intelligence
Computational Geometry
Logic in Computer Science
url https://arxiv.org/abs/2408.10592