人工智能与几何证明

• 作者: 唐云廷
• 来源期刊: 佳木斯大学学报(自然科学版)
• 学科: 工学
• 关键词: 人工智能 机器学习 机器证明 知识系统 基本图
• 年，卷（期）: 1999,（1）
• 页码范围: 101
• 页数: 1页
• 分类号: TP18
• 字数: 4573字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-1402.1999.01.026

摘要

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