人工智能简史

(副标题)：无 ;

(作者): 尼克, 51epub.cc ;

内容简介：

​ 封面

本书由“”整理， 提供最新最全的优质电子书下载！！！
前言.....

目录预览：

​ 人工智能简史
封面
前言
第1章 达特茅斯会议：人工智能的缘起

1. 背景
2. 达特茅斯会议
3. AI历史的方法论
4. 会议之后
5. 预测未来：会有奇点吗？
   参考文献指南
   第2章 自动定理证明兴衰纪
6. 自动定理证明的起源
7. 罗宾逊和归结原理
8. 项重写
9. 阿贡小组和马库恩
10. 符号派的内部矛盾：问答系统和归结原理的失落
11. 几何定理证明与计算机代数
12. 定理证明系统和竞赛
13. 哲学问题
14. 现状
    ........