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

原文链接:http://www.cqvip.com//QK/96579A/199901/3629624.html

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）