| 人工智能与几何证明 |
| 唐云廷 |
| 关键词：人工智能,机器学习,机器证明,知识系统,基本图 |
| 主要内容：实现人工智能的根本途径是脱离计算机的串行冯·诺依曼体系结构或模拟人类认知活动，机器证明是人工智能的重要研究课题，基于知识的平面几何证明系统—ＥＵＣＬＩＤ是模拟人类几何专家证明的认知过程的知识系统，其基本思想就是组块式构造知识库，利用优越图进行索引，无回溯失败学习 |
| 《佳木斯大学学报(自然科学版),1999年 01期》 1999年 01期 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号