The Automated Geometry Reasoning System Based on Rete Algorithm

The automated geometry reasoning system based-on forward chaining is used as the reasoning engine in the intelligent geometry teaching system.The reasoning engine spends much time match geometry information to rules in the reasoning process and then decreases the reasoning efficiency of the system seriously.In order to improve the efficiency of the reasoning engine,a new geometry theorem proving method,named automated geometry reasoning network was put forward,in which the Rete pattern matching algorithm is integrated into the reasoning engine.The reasoning efficiency can be improved by eliminating redundancy computation on matching geometry information to rules in the reasoning process.The reasoning program based on the automated geometry reasoning network method,named iGeo,was implemented in Lisp.The iGeo was tested with more than 50 nontrivial geometry theorems.The experimental results demonstrated that the iGeo is very efficient.