GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry
Abstract
Automated Theorem Proving (ATP) is an established branch of Artificial Intelligence. The purpose of ATP is to design a system which can automatically figure out an algorithm either to prove or disprove a mathematical claim, on the basis of a set of given premises, using a set of fundamental postulates and following the method of logical inference. In this paper, we propose GraATP, a generalized framework for automated theorem proving in plane geometry. Our proposed method translates the geometric entities into nodes of a graph and the relations between them as edges of that graph. The automated system searches for different ways to reach the conclusion for a claim via graph traversal by which the validity of the geometric theorem is examined.
Cite
@article{arxiv.1412.5980,
title = {GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry},
author = {Mohammad Murtaza Mahmud and Swakkhar Shatabda and Mohammad Nurul Huda},
journal= {arXiv preprint arXiv:1412.5980},
year = {2014}
}
Comments
The 8th International Conference on Software, Knowledge, Information Management and Applications (SKIMA 2014)