| 人工智能与几何证明 |
| |
| 引用本文： | 唐云廷.人工智能与几何证明[J].佳木斯大学学报,1999,17(1):101-104. |
| |
| 作者姓名： | 唐云廷 |
| |
| 作者单位： | 呼兰师范专科学校!呼兰，150500 |
| |
| 摘 要： | 实现人工智能的根本途径是脱离计算机的串行冯·诺依曼体系结构或模拟人类认知活动，机器证明是人工智能的重要研究课题，基于知识的平面几何证明系统—ＥＵＣＬＩＤ是模拟人类几何专家证明的认知过程的知识系统，其基本思想就是组块式构造知识库，利用优越图进行索引，无回溯失败学习
|
| 关 键 词： | 人工智能 机器学习 机器证明 知识系统 基本图 |
ARTIFICIAL INTELLIGENCE AND GEOME-TRICAL PROVING |
| |
| Tang Yuting.ARTIFICIAL INTELLIGENCE AND GEOME-TRICAL PROVING[J].Journal of Jiamusi University(Natural Science Edition),1999,17(1):101-104. |
| |
| Authors: | Tang Yuting |
| |
| Abstract: | |
| |
| Keywords: | artificial intellingence machinelearning machineproving knowlegesystem basicgraphic |
| 本文献已被 CNKI 等数据库收录！ |
