拆解大纲(人工智能简 史 第3版)
切分原则:按「一条完整推理链一章」与生词密度切,不按字数切。原书 16 章 + 3 前言 → 我们 12 章。合并:原书第3+4章(符号派工程时代的兴起与溃败是一条弧线)、第12+13章 (哲学批评与生死对话都是「思想实验」)、第14+15+16章(都是作者拉远镜头的学科自省与 大历史)。原书第1章吸收三个前言(作者身份、版次动机、NLP四阶段都在前言里)。
总量目标:原书正文章约 232k 字符,拆解目标 ≥ 232k。
章级切分(12 章)
| # | 文件 | 对应原书 | 一句话 |
|---|---|---|---|
| 01 | 01-dartmouth-origins.md | 前言×3 + 第1章 | 达特茅斯会议怎么把一门学科「开」出来,两条路线怎么从一开始就埋下 |
| 02 | 02-theorem-proving.md | 第2章 | 自动定理证明:符号派的理论底座,从希尔伯特纲领到归结原理、王浩、吴文俊、Lean 复兴 |
| 03 | 03-expert-systems-fifth-generation.md | 第3+4章 | 专家系统的黄金期、五代机豪赌与溃败;活下来的遗产(规则引擎、知识图谱) |
| 04 | 04-neural-network-history.md | 第5章 | 神经网络:被一本书打进寒冬,又被物理学家和算力救活,直到 Transformer |
| 05 | 05-learning-from-nature.md | 第6章 | 遗传算法→遗传编程→强化学习:向自然学习的两个流派及其命运 |
| 06 | 06-machine-chess.md | 第7章 | 下棋:从魔术道具到深蓝、AlphaGo,机器棋手如何一步步兑现预言 |
| 07 | 08-nlp.md → 07-nlp.md | 第8章 | 自然语言处理四十年:规则、统计、深度学习到 ChatGPT |
| 08 | 08-language-and-thought.md | 第9章 | 语言等于思维吗:乔姆斯基之问与大语言模型的冲撞 |
| 09 | 09-computation-theory.md | 第10章 | 人是机器吗:图灵机、丘奇-图灵论题、相似性原则、超计算 |
| 10 | 10-learning-as-compression.md | 第11章 | 什么是学习:所罗门诺夫归纳、SKC 复杂性,「压缩是人的本性」 |
| 11 | 11-thought-experiments.md | 第12+13章 | 思想实验:德雷弗斯、中文屋、缸中脑,以及一场关于生死与自我的对话 |
| 12 | 12-big-history.md | 第14+15+16章 | 学科自省与大历史:教科书变迁、三派总结、算力文明测度、O点与超级智能 |
第01章节级大纲(第一节完整走「进来时以为→出去时知道」)
- 这是谁在什么时候写的 — 进来时以为是一本普通科普史 → 出去时知道作者是强化学习 鼻祖巴托的学生,全书带着「内部人写史」的立场和「夹枪带棒」的文风,考据与八卦混讲。
- 1955年的前戏与两条路线 — 进来时以为 AI 起源于 1956 达特茅斯 → 出去时知道 1955 年 学习机讨论会已摆出「模拟神经系统 vs 模拟心智」的对垒,这个对垒贯穿全 书 90 年。
- 六君子与一份建议书 — 进来时以为会议是群英会 → 出去时知道它是一场预算 7500 美元、 十来个人、各怀心思的夏季项目;名字来源至今是悬案。
- 一门学科如何给自己命名 — 进来时以为「人工智能」理所应当 → 出去时知道它击败了 「控制论」「机器智能」「复杂信息处理」三个对手,学科身份靠命名确立。
- 会议上的干货:逻辑理论家 — 进来时以为会议成果是共识 → 出去时知道真正的干货是 纽厄尔-司马贺的定理证明程序,而它 immediately 引发了与逻辑学家(王浩)的世纪梁子。
- 主走查:一条预言的完整生命周期 — 进来时以为预言只是豪言 → 出去时知道预言有固定 生命周期(许诺→落空→被嘲讽→几十年后兑现),可用司马贺 1957→深蓝 1997 这条 40 年链走完。
- 资助的风向 — 进来时以为研究靠好奇驱动 → 出去时知道 ARPA/NSF 两种资助哲学决定 了 AI 的两次寒冬与复兴,利克莱德与海尔梅尔各是一极。
- 作者的判断与边界 — 分清史实(会议记录、预算)与传说(冷冻遗体);作者观点 (AI 像哲学、会不断分娩子学科)单独标出。
自查(两行「出去时知道」是同一件事→合并)
- 04(神经网络)与 05(向自然学习):前者是「吃啥补啥」派,后者是「自然主义」派, 出口不同(深度学习 vs 强 化学习/遗传算法),不合并。
- 09(计算理论)与 10(学习理论):一个管可计算性与效率,一个管学习=压缩, 原书自己也是两章,不合并。
- 07(NLP)与 08(语言=思维):前者是工程史,后者是哲学之问,出口不同(Transformer 与 ChatGPT 怎么来的 vs 语言是不是思维),不合并。
- 11(思想实验)与 09(计算理论):德雷弗斯/塞尔的批评对象是「机器能否理解」, 但出口是「哲学批评的成色」,与可计算性出口不同,不合并。
- 12(大历史)收束全书:教科书(学科怎么记自己)、三派(作者的分类学)、算力与 O 点 (文明尺度)、超级智能(未来之问)——四件事共享「拉远镜头看学科」这一个出口。
各章主走查预案(红线二)
| 章 | 主走查 |
|---|---|
| 01 | 司马贺 1957 预言 → 1965 再预言 → 1968 麦卡锡-列维赌局 → 1996 EQP 证罗宾斯猜想 → 1997 深蓝:一条预言 40 年生命周期,每步带年份与比分 |
| 02 | 用归结原理证明「苏格拉底必死」:具体子句、合一替换、空子句;再加 ANS 谓词取出「约翰」 |
| 03 | MYCIN 式一条规则从匹配到结论(带编造的置信度,当场声明);次走查:Prolog 执行一条 Horn 子句 |
| 04 | 感知机学习规则:二维平面两个样本、权重逐轮更新(编造数声明);XOR 真值表为什么单层无解 |
| 05 | ε-greedy 十臂老虎机:具体步数、拉臂次数、估值的更新(编造数声明);次走查:8 位染色体一代进化 |
| 06 | α-β 剪枝:三层博弈树带具体估分,标出剪掉的两枝;次走查:蒙特卡洛落子胜率 |
| 07 | 乔姆斯基句法树拆「the man hit the ball」;ELIZA 模式匹配走「我男朋友逼我来的」;统计翻译 P(e|f) 用编造的短语概率走一句 |
| 08 | 「John is too stubborn to talk to」两种解读;「合并」操作走「Guess what boys eat」;「金丝雀会飞吗」反应时间实验 |
| 09 | 一台图灵机走「101+1=110」逐步格态;次走查:TSP 一条路线的验证是多项式、求解是指数 |
| 10 | 所罗门诺夫归纳走序列 (3,5,7):奇数程序 vs 素数程序的编码长度对比;次走查:监督→自监督的序列拼接 |
| 11 | 中文屋走一张具体纸条;内化阶梯(眼镜→耳蜗→台式机→入耳);次走查:苏格拉底对话的换器官序列 |
| 12 | 尼尔森五本书与 AIMA 四版的章节变迁表;摩尔/库米放缓的具体倍率;四条增长曲线排序 |
写作红线提醒(给自己)
- 原书轶事密集:凡「江湖传说」「很多人认为」「据说」级材料,拆解里必须降级为轶事并点破。
- 作者自造词(尼克定律、O点、老派实效主义、想啥来啥/吃啥补啥)首次出现必须说明是作者自造、是否公认。
- 「这是谁在什么时候写的」要在 index 与 01 章写清:科普作者、内部人、观点性文风。
- ②类锚候选:what-is-chatgpt-doing(NTP/温度)、reinforcement-learning-sutton-barto(MDP)、 aima-4e(教科书话题)、genius-makers(辛顿收购战)。