几何定理机器证明理论与算法的新进展 |
| |
作者单位: | |
| |
摘 要: | 国家自然科学二等奖 1.创立计算机生成几何定理可读证明的原理与算法 用计算机产生几何定理的可读证明(即人容易理解和检验的证明),是人工智能领域的一大难题.该项目研究人员提出以消点思想为主线的新原理,给出了世界上第一个能够自动产生几何定理可读证明的算法和程序,不仅给出的证明简短可读,效率也比已知其它算法高得多,随即将消点思想运用于非欧几何,给出世界上第一个非欧几何可读证明自动生成程序,从而开创了靠计算机通用程序成批发现非平凡新定理的先例.这一成果使得机器证明的研究从以判定为主的阶段进入机器产生的证明与人的手工证明竞相媲美的阶段.
|
本文献已被 万方数据 等数据库收录! |
|