作　　者： ; ;

机构地区： 河南大学软件学院

出　　处： 《计算机时代》 2012年第7期26-27,30,共3页

摘　　要： 针对几何定理自动证明的前推法实现方式,结合面向对象编程工具的特点,实现了一个原型系统。该系统结构简单、清晰,可扩展性强,并能产生可读证明过程。实例分析说明了该原型的有效性。 The automatic proof system of geometric theorems is a popular topic at present. In this paper, a procedure of forward reasoning is discussed, and a prototype of automatic proof system of geometric theorems is proposed based on object-oriented programming. The prototype structure is simple, clear, and easy to extend. The system can generate a readable proof procedure. The analysis of examples shows the effectiveness of the prototype.

关 键 词： 面向对象 几何定理自动证明 前推法 原型

领　　域： [自动化与计算机技术] [自动化与计算机技术]