Progenes: solving mathematical problems that involve reasoning and calculations

摘要

In this paper we describe PROGENES, an automatic problem solver in mathematics that aims at problems at the level of high school or first year college courses, and a general heuristic, the Goal-based reasoning, for the automatic resolution of mathematical problems where an object that satisfies certain conditions is searched for. PROGENES integrates an enhanced inference engine, that provides deductive capabilities, with techniques of algebracic manipulation, that make the system particularly effective when mathematical computations have to be dealt with. The Goal-Based Reasoning Heuristic is a common solving strategy among mathematicians, and its applicability extends to a wide variety of problems