基于等价类推理的几何自动推理网

The Automated Geometry Reasoning Network Based on Equivalent Class Reasoning

为了提高推理引擎的推理效率,将 Rete 算法和等价类推理技术整合到基于规则的几何自动推理系统中,构造一种新的推理引擎,即基于等价类推理的几何自动推理网.采用 Lisp 语言实现该推理引擎,并做了50多个非平凡几何定理的实验,实验结果表明该推理引擎具有更高的推理效率.

To improve the reasoning efficiency of the inference engine, a new inference engine, namely automated geometry reasoning network is presented , into which the Rete pattern matching algorithm and the equivalent class reasoning technique are integrated. The new inference engine is implemented with Lisp and tested with more than 50 nontrivial geometry theorems. The experimental results show that it is more efficient.