人工智能与几何证明

ARTIFICIAL INTELLIGENCE AND GEOME—TRICAL PROVING

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

The fundamentical way to realize AI is break away from series system structure of computer or simulation of thought processes Machine proving is the importance task of AI, EUCLID—a plane geometrical proving system based on knowledge is a knowledge system to simulate the thought processes geometrical experter proving geometrical problem Basic idea is that knowledge base are built with block, knowledge index with superior graphic and no-backtracking machine learning from failure