论文部分内容阅读
可持续发展的几何自动推理平台(SGARP)支持用户发展多种多样基于规则的机器自动推理或人机交互推理方法,但缺乏处理符号计算的模块,其解题能力仍有待加强.质点法是最近发展的继面积法之后又一个能对可构造型几何命题生成可读机器证明的具有完全性的算法.基于一种在SGARP中快捷实现符号计算功能的方法,对质点法机器证明算法进行了新的实现.新添加的质点法模块使得用户能更便捷地验证更多的几何定理,从而使SGARP能更好地满足用户学习与发展几何机器推理的需求.
The Sustainable Geometry Automated Reasoning Platform (SGARP) enables users to develop a wide range of rules-based methods for machine reasoning or human-computer interaction, but the lack of modules to deal with symbolic computation still needs to be improved. Following the succession area method developed, another complete algorithm for generating readable machine proofs of configurable geometry propositions is based on a new method of symbolic computation in SGARP, . The newly added particle point method module makes it easier for users to validate more geometric theorems so that SGARP can better meet users’ needs of learning and developing geometric machine reasoning.