审查 aima-4e — 2026-08-27
结论: ISSUES(4 条)
门禁实跑(四条全绿,与写手自报一致):
book-verify: 1 本有拆解、共 1460 处出处、0 处对不上
生面孔配额:段级超额 0 处(上限 1)、节级超额 0 处(上限 5)
book-jargon: 1 本,共 0 处专业词没解释就用了
book-dodged: 1 本,共 0 个词被躲开(阈值:原书出现 ≥15 次)
总体
- 完整性:28 个原书章全覆盖,18 个拆解章的
sourceChapters与 reading-notes 边界表、 书卡readChapters三方一致(逐名 diff 零差异)。附录 A/B 未 拆,书卡如实声明。 - 行号边界表抽核 7 处(ch1/2/3/7/13/22/28 起点)全部落点正确。
- 主走查抽 3 章核数字:01 §3.2(倒灰吸尘器、10^6000000000000/10^150/10^80)、 02 §3.5(A* 罗马尼亚 g/h/f 表,与图 3-16 一致;贪心 450 vs 418=多 32 英里)、 11 §3.2(0.8^5=0.32768、r∈[−0.0850,−0.0273]、9 种策略、i=5 误差 0.51 策略已最优)、 11 §3.4 开关游戏 0.4×0+0.6×30=+18 —— 全部与原书对上。
- 判断块 3 处全带「如果错,会错在」;
TODO(没懂)零命中;总纲 §3 独立成篇、海拔合格; 兑现表抽 3 行(01→11 顺从算术、05→06 4.3 峭壁、06→09 概率 wumpus)均真兑现。 - 差异化裁断成立:搜索(02 松弛问题路线)、逻辑(06 wumpus+SAT 三路线)、MDP(11 从效用 公理推 MEU 再到贝尔曼,与 nndl 的 RL 入门讲法完全不同轨);抽 2 处差异化锚点核实: 11「从 RLHF 回看最该读的三页」、15「RLHF 原型=学徒学习+逆强化学习」——nndl 三书 拆解 grep 无「逆强化学习/辅助博弈/最大期望效用」命中,不重复。
- 首尾章(01 与 18)文风、结构、判断与证据的写法一致。
- 但:出处抽查 6 条脚注中 4 条不属实(见问题 1/2),
book-verify的「0 处对不上」 只保证「短语在该行存在」,不保证「该行真的说了拆解声称的事」。单文件行号锚是本书 唯一的回核手段,这个缺陷必须修。
问题清单
1. [系统性] 56 处锚点落在目录区(10-fm.txt 第 1–426 行) — 违反铁律「目 录不要读、不要引」
全 18 章里 17 章中招(仅 05 纯净)。逐文件计数(锚点出现次数,含脚注与原文地图):
| 文件 | 目录区锚点 | 文件 | 目录区锚点 |
|---|---|---|---|
| 01 | 3 | 11 | 3 |
| 02 | 7 | 12 | 1 |
| 03 | 2 | 13 | 4 |
| 04 | 3 | 14 | 4 |
| 05 | 0 | 15 | 6 |
| 06 | 2 | 16 | 4 |
| 07 | 3 | 17 | 3 |
| 08 | 4 | 18 | 2 |
| 09 | 4 | 10 | 1 |
(合计 56 处。)实例:02 章 [^8]「图 3-15,第 140 段(搜『完备性』)」——L140 是目录里 「8.1 回顾表示……211」一行;15 章「(2,1)/(3,2) 第 14/23 次」锚 L20 搜「14」,命中的是 目录里的页码 14;06 章 [^12]「128 个模型」锚 L56,也是目录。目录行的「第 N 段」 给人看是错的,agent 跳过去也看不到声称的内容。
2. [系统性] 短语撞车导致的正文错位锚(已逐一核实 30 处)
短语在全书多次出现时,锚被「自愈」到了另一章的同词行。已亲自打开 10-fm.txt 核实语义错位的:
| 拆解章:锚 | 声称 | 实际落点 |
|---|---|---|
| 02 地图「抽象」L824 | 右脚 1 厘米/停车场(应为 2645) | ch1「轴突一般长 1 厘米」 |
| 05 [^37] L29246 | CSP 局部搜索「没有任何帮助」 | ch25 图像分类(鸵鸟图片) |
| 06 [^2] L954 | Ask 遵循 Tell | ch1(应 7050 区) |
| 06 [^15] L1255 | 规则 R1 | ch1 专家系统 R1(同名撞车) |
| 09 地图 L4127 | wumpus 概率版 86%(应 13329) | ch4 爬山法「86% 卡住」 |
| 10 [^6] L3392 | 前向-后向算法 | ch3 A* 推导 |
| 10 [^22] L3943 | 概率编程不可判定 | ch3 参考文献(航班定价) |
| 10 地图 L533 | OUPM 存在不确定性(应 16360) | ch1 agent 定义句「在存在不确定性时」 |
| 11 [^7] L826 | VPI「信息只有能改变决策」 | ch1 神经元可塑性 |
| 11 [^11] L40 | 策略≠序列 | 目录 |
| 11 [^14] L4031 | 价值迭代压缩(应 18426 区) | ch3 参考文献(模式数据库压缩) |
| 11 地图 L3946 | 阿罗不可能定理 | ch3 参考文献「阿罗拉(Arora)」(子串撞车) |
| 11 [^15] L14228 | i=5 误差 0.51(应 ~18460) | ch13 似然加权区 |
| 11 [^23] 地图 L31366 | 开关游戏(应 17874–17924) | ch27(搜「日内瓦」) |
| 11 [^26] L14350 | 回形针 θ=0.45(应 ~20075) | ch13 采样区 |
| 11 地图 L12673 | 4×3 世界 0.8/0.1(应 ~18105) | ch12「概率是关于知识状态的断言」区 |
| 11 地图 L16580 | γ=0.9⇔11.1% 利率(应 17.1.1) | ch15 概率编程 |
| 15 [^1] L2376 | 监督学下棋失败 | ch2(「将死」内容相关,但「章名」标成强化学习,实为智能体章) |
| 15 地图 L5141 | ADP 思路 | ch5 双陆棋 |
| 15 [^17] L328 | 逆强化学习 | 目录(22.5 节标题行) |
| 16 地图 L479 | 语音识别 3–5%(23.6) | ch1 图灵测试能力列表 |
| 16 地图 L992 | 多义词 rose(24.5.2) | ch1「Rosenblueth」(英文子串撞车) |
| 16 地图 L1423 | 语音识别 3% | ch1 |
| 17 [^16] L824 | 机器人学引文 | ch1 轴突(同 02 章 L824) |
| 18 地图 L3360 | 哥德尔反驳「不一致」 | ch3 A* 不一致启发式 |
| 18 [^5] L1270 | 领域基准非骗评委 | ch1 自然语言理解程序(标签亦错) |
| 18 [^10] L6066 | Rakakovna spec-gaming 清单 | ch5 MuZero 段 |
| 18 [^15] 地图 L273 | 辅助博弈 | 目录 |
| 18 [^24] L693 | 标准模型→益机 | ch1 功利主义史(标签「人工智能的未来」错) |
| 12 L32 / 03 L75·L89 / 04 L277 等其余目录锚 | —— | 同问题 1 |
根因判断(可证伪):book-verify --fix 按「短语首次出现」自愈行号,原书 28 章合并在
单文件后,章节标题、人名、数字在目录与前章反复出现,--fix 一跑就把锚拉到首个命中行。
建议修法:不许再盲目跑 --fix;对全部越界锚(目录区 56 处 + 约 124 处跨章锚中除合法
互引外者)逐条换用「目标段落独有的长短语」 重新锚定;并给 book-verify 提两条新规则:
(a) 锚点行不得落在 1–426(目录区);(b) 锚点行应落在该文件 sourceChapters 对应的
行号区间内,越界须人工确认是否合法互引。修完重跑本审查的越界扫描脚本复核。
3. [小] 原书章号与拆解章号混用,同一处许诺两套指法
- 05 §4「预告第 7 章会再遇 SAT 的 4.3 峭壁」用的是原书章号(兑现于拆解 06); 01 §3.8「第 11 章会用 0.4×0+0.6×30=+18」用的是拆解章号(原书 16–18 章)。 读者拿着 05 的「第 7 章」去拆解 07 找,找不到。
- 02 章内混用:§1「这是第 3 章的舞台」(原书号)+ §4「这一句是对第 12 章的预告」(拆解号)。
- index §1「『最好的』怎么在不确定与多人博弈下计算(第 9–12 章)」范围不准 (博弈在 11;12 是学习,不属于该句)。
- 修法:正文与总纲一律用拆解章号;指原书章时写「原书第 N 章」。
4. [nit] 两处笔误级
- 11 §3.4「教学与顺从都不是预先写死的,,」——双逗号。
- index 兑现表「11 章第 4 节」:11 章无第 4 节(
##层),实为 3.4 节。
通过项(备查)
- 出处抽查属实样例:01 [^4]/[^8]/[^24]/[^27]、16 L28165(GPT-2 15 亿)、16 L28190 (Aristo 91.6%)、09 L14716(后门准则)、15 L25509(60/(59+n))、11 L18117(0.32768)。
- 台账:页面正文无格式/许可/清洗统计;index §6 判断 3 谈「28 章合并单文件、行号锚 自愈风险」——属影响引用方式的承重信息,判为可留(与本次问题 1/2 直接相关)。
- 越界扫描方法:按 reading-notes 边界表对每个拆解章全量 grep
10-fm.txt:\d+, 区间外即报;目录区(≤426)全部计错;区间外正文锚逐条开原文核语义后计入问题 2。