摘要
针对几何定理自动证明的前推法实现方式,结合面向对象编程工具的特点,实现了一个原型系统。该系统结构简单、清晰,可扩展性强,并能产生可读证明过程。实例分析说明了该原型的有效性。
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.
出处
《计算机时代》
2012年第7期26-27,30,共3页
Computer Era
关键词
面向对象
几何定理自动证明
前推法
原型
object-oriented programming
automatic proof system of geometric theorems
forward reasoning
prototype
