暂无评论
图文详情
- ISBN:9787522400433
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:16开
- 页数:暂无
- 出版时间:2020-12-01
- 条形码:9787522400433 ; 978-7-5224-0043-3
内容简介
本书全面讲述人工智能的发展史,几乎覆盖人工智能学科的所有领域,包括人工智能的起源、自动定理证明、专家系统、神经网络、自然语言处理、遗传算法、深度学习、强化学习、超级智能、哲学问题和未来趋势等。本书作者和书中诸多人物或为师友或相熟相知,除了详实的考证还有有趣的轶事。
目录
第1章 达特茅斯会议:人工智能的缘起
1.背景
2.达特茅斯会议
3.AI历史的方法论
4.会议之后
5.预测未来:会有奇点吗?
第2章 自动定理证明兴衰纪
1.自动定理证明的起源
2.罗宾逊和归结原理
3.项重写
4.阿贡小组和马库恩
5.符号派的内部矛盾:问答系统和归结原理的失落
6.几何定理证明与计算机代数
7.定理证明系统和竞赛
8.哲学问题
9.现状
10.结语
第3章 从专家系统到知识图谱
1.费根鲍姆和DENDRAL
展开全部
作者简介
尼克,曾任职于哈佛和惠普,后创业投资,2016年创立乌镇智库。无论忙闲不忘读书写字,作品多发表于《上海书评》,并有著作《UNIX SYSTEM V内核剖析》和《哲学评书》。
本类五星书
浏览历史
本类畅销
-
全图解零基础word excel ppt 应用教程
¥15.6¥48.0 -
有限与无限的游戏:一个哲学家眼中的竞技世界
¥37.4¥68.0 -
硅谷之火-人与计算机的未来
¥12.7¥39.8 -
机器学习
¥59.4¥108.0 -
深度学习的数学
¥43.5¥69.0 -
智能硬件项目教程:基于ARDUINO(第2版)
¥37.7¥65.0 -
情感计算
¥66.8¥89.0 -
LINUX企业运维实战(REDIS+ZABBIX+NGINX+PROMETHEUS+GRAFANA+LNMP)
¥48.3¥69.0 -
AI虚拟数字人:商业模式+形象创建+视频直播+案例应用
¥62.9¥89.8 -
LINUX实战——从入门到精通
¥48.3¥69.0 -
UNIX环境高级编程(第3版)
¥164.9¥229.0 -
剪映AI
¥52.8¥88.0 -
数据驱动的工业人工智能:建模方法与应用
¥68.3¥99.0 -
深度学习高手笔记 卷2:经典应用
¥90.9¥129.8 -
纹样之美:中国传统经典纹样速查手册
¥76.3¥109.0 -
UG NX 12.0数控编程
¥24.8¥45.0 -
MATLAB计算机视觉与深度学习实战(第2版)
¥90.9¥128.0 -
UN NX 12.0多轴数控编程案例教程
¥24.3¥38.0 -
微机组装与系统维护技术教程(第二版)
¥37.8¥43.0 -
Go 语言运维开发 : Kubernetes 项目实战
¥38.7¥79.0