几何推理在人工智能中的应用

几何学是一门古老的,严密的和形式化的数学分支,在我们对现实世界理解中起着重要解色,本文介绍了几何推理在人工智能应用中的最新进展,并讨论几何推理的前景。     

人工智能与几何证明

实现人工智能的根本途径是脱离计算机的串行冯·诺依曼体系结构或模拟人类认知活动,机器证明是人工智能的重要研究课题,基于知识的平面几何证明系统—ＥＵＣＬＩＤ是模拟人类几何专家证明的认知过程的知识系统,其基本思想就是组块式构造知识库,利用优越图进行索引,无回溯失败学习     

演绎推理可以得到新知

演绎能否得出新知?这是逻辑史上长期未获得解决的问题.并且认为新知智能通过归纳和类比获得,剖析了人们对演绎推理的误解,用事实说明演绎推理可以得到新知.