可由用户持续发展的几何自动推理平台的推理算法

摘要

目前的几何定理证明器都不具有可持续性.提出一种结构具有一般性的知识表示和能够统一处理所有规则的推理算法,初步实现了可由用户持续发展的几何自动推理平台.该推理平台允许用户添加几何知识,如几何对象、谓词和规则,并可以综合使用多种推理算法,如前推搜索法和一部分面积法,它将更适合用于几何教学.%All the available geometry theorem provers are not sustainable.A knowledge representation with the general structure and a reasoning algorithm which could deal with all the rules were proposed.According to these ideas, a geometry automatic reasoning platform that could be sustainably developed by the user had been initially implemented.This platform allows the user to add geometric knowledge such as geometric objects, predicates and rules, and provides multiple reasoning algorithms such as forward search method and a part of area method, so it will be more suitable for geometry teaching.