人工智能简史
第1章 达特茅斯会议：人工智能的缘起 1
1. 背景 1
2. 达特茅斯会议 6
3. AI历史的方法论 9
4. 会议之后 14
5. 预测未来：会有奇点吗？ 19
第2章 自动定理证明兴衰纪 24
1. 自动定理证明的起源 24
2. 罗宾逊和归结原理 32
3. 项重写 34
4. 阿贡小组和马库恩 35
5. 符号派的内部矛盾：问答系统和归结原理的失落 37
6. 几何定理证明与计算机代数 39
7. 定理证明系统和竞赛 44
8. 哲学问题 46
9. 现状 49
10. 结语 51
第3章 从专家系统到知识图谱
资源链接
人工智能简史.pdf: http://545c.com/file/14872774-309507133标签
发布日期
2018-09-18
擦亮日期
2018-09-18