几何定理机器证明理论与算法的新进展

摘要：

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

机标关键词：几何定理、机器证明、证明理论、可读证明、计算机、非欧几何、原理与算法、通用程序、自然科学、项目研究、思想、生成程序、人工智能、新原理、主线、运用、效率、手工、人员、批发

所属期刊栏目：6

分类号：TH11

在线出版日期：2004-04-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共1页

页码：24