【摘要】 结合不等式的证明及可读证明的自动生成这两个问题,以初等不等式及部分三角形不等式为研究对象,运用人工智能的技术,对目标不等式、条件及证明方法分类模型化的方法,实现了一个基于规则的逆向演绎系统,它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程,该系统可以移植到智能教育软件中。更多还原

【Abstract】 A rulebased backward system for proof of elementary inequality and triangular inequality is set up using the technology of artificial intelligence and the method of modeling to classify the inequalities by conditions,proving method and expressions.The system can not only tell part of the elementary inequality and part of triangular inequality are true or false, but also can produce automatically the readable proof similar to what the human give. The system can be part of intelligent educational software with a little transformation. 更多还原