10. 具身 AI 与机器人认知
第 10 章 · 具身 AI 与机器人认知
"身体不只是执行命令——身体本身是智能的一部分。"
学习目标
完成本章后,读者应能够:
- 复述 Brooks subsumption 架构的核心思想
- 解释 Pfeifer"形态决定智能"原理
- 描述 embodied foundation models (PaLM-E, RT-2, Octo) 的设计
- 评估 embodied AI 与 LLM Agent 的关系
- 区分物理机器人 Agent 与软件 LLM Agent 的关键差异
先修知识
- 第 7 章 · 4E Cognition 简史
- 第 8 章 · Enactivism 与自创生
- 第 9 章 · Extended Mind 与延展心智
章节地图
- 10.1 经典 AI 的身体缺失
- 10.2 Brooks:subsumption 架构与"无表征智能"
- 10.3 Pfeifer:形态学与智能
- 10.4 Embodied Foundation Models:PaLM-E、RT-2、Octo
- 10.5 Embodied AI 与 LLM Agent 的关系
- 10.6 本章小结与第 11 章预告
10.1 经典 AI 的身体缺失
经典 AI(1950s–1990s)几乎完全忽视了身体。研究者专注于符号操作和启发式搜索——心灵被等同于"在颅骨内运行的算法"。这种"离身认知"假设的后果是:
- 符号接地问题(Searle, Harnad):机器人能"理解"符号吗?还是只是"无意义的字符串操作"?
- 框架问题:智能体如何在变化的环境中高效地决定"什么是不变的、什么是变化的"?
- Moravec 悖论(Moravec's Paradox):让计算机下棋容易,让计算机像 1 岁小孩一样感知和运动却极难。
Moravec 悖论(1988)揭示了一个深刻的事实:对人类简单的事(走路、看东西、说话),对机器极其困难。原因不是算法问题——而是身体问题。智能不是抽象的符号操作,而是深深根植于身体与环境的交互中。
这正是 4E Cognition 运动的认知科学根源——具身 AI(Embodied AI) 在 1990 年代应运而生,主张:要让机器智能,必须给 AI 一个真实的身体——让 AI 经历与人类相似的感知-运动耦合。
关键点:经典 AI 的"离身"假设是 Moravec 悖论的根源。要解决 AI 的"难"问题,必须从身体入手。
10.2 Brooks:subsumption 架构与"无表征智能"
Rodney Brooks 是具身 AI 运动的开创者。他在 1991 年的里程碑论文《Intelligence Without Representation》中提出 subsumption 架构(Subsumption Architecture)——一种完全抛弃符号表征的机器人控制架构。
图 10.1 · subsumption 架构的层级结构
┌─────────────────────────────────────┐
│ Level 4: 推理 (Reasoning) │ ← 可选,从未实现
│ - 长期规划、抽象思考 │
└────────────────┬────────────────────┘
│ subsumes
┌────────────────▼────────────────────┐
│ Level 3: 规划 (Planning) │ ← 可选,从未实现
│ - 短期路径规划 │
└────────────────┬────────────────────┘
│ subsumes
┌────────────────▼────────────────────┐
│ Level 2: 探索 (Exploration) │ ← 部分实现
│ - 主动观察环境、识别目标 │
└────────────────┬────────────────────┘
│ subsumes
┌────────────────▼────────────────────┐
│ Level 1: 运动 (Locomotion) │ ← 完全实现
│ - 避障、趋向目标 │
└────────────────┬────────────────────┘
│ subsumes
┌────────────────▼────────────────────┐
│ Level 0: 避障 (Avoid) │ ← 完全实现
│ - 撞墙、撞人立刻停下 │
└─────────────────────────────────────┘
关键点:subsumption 架构中,每个层级都是独立的行为模块,高层级"覆盖"(subsume)低层级的行为。机器人不需要"中央表征"——它的智能是所有层级行为的涌现。
subsumption 架构的 4 个核心原则:
- 情境化(Situatedness):机器人处于真实世界,而非符号世界。
- 具身化(Embodiment):机器人有物理身体,必须与物理世界交互。
- 智能涌现(Intelligence from Emergence):智能不是被设计出来的,而是从底层行为中涌现。
- 无表征(No Representation):不需要中央符号数据库——行为是分布式的。
Brooks 用他的机器人 Herbert(收集空可乐罐)和 Genghis(六足机器人)验证了 subsumption 架构。这些机器人在没有中央表征的情况下,能完成"感知-运动"耦合任务,震惊了当时的 AI 界。
Brooks 的代表名言:
"The world is its own best model."(世界是它自己的最佳模型。)
这意味着:与其在机器人脑中建立"世界模型",不如让机器人直接通过传感器感知世界。世界本身比任何内部模型都更准确、更实时、更完整。
subsumption 架构对 LLM Agent 的启示是颠覆性的:
- LLM Agent 不应该把所有信息塞进 context window 作为"世界模型"
- Agent 应该通过工具调用直接感知环境——世界是 Agent 的最佳模型
- Agent 的"智能"应该从行为中涌现,而不是从"中央决策"中产生
复述框 · 10.2 节要点
- Brooks 是具身 AI 运动的开创者。
- Subsumption 架构:4 个独立行为层级,高层覆盖低层,无中央表征。
- 4 个核心原则:情境化、具身化、涌现、无表征。
- "世界是它自己的最佳模型":不要建立内部模型,直接感知世界。
10.3 Pfeifer:形态学与智能
Rolf Pfeifer 是苏黎世大学的人工智能教授,他在《How the Body Shapes the Way We Think》(2007)中提出 "形态学假设(Morphology Hypothesis)":
身体的物理形态(形态学、感觉系统、运动系统)不仅承载认知,而且决定认知的内容和结构。
Pfeifer 用大量生物学例子证明这一点:
- 大象的鼻子:大象的认知能力(精细操作、记忆)部分来自它那长而灵活的鼻子。
- 蝙蝠的回声系统:蝙蝠的"图像"概念来自它发出的超声波回声。
- 章鱼的触手:章鱼的"决策"是分布式的——每条触手都有自己的"神经节",不需要中央大脑。
图 10.2 · 形态学决定认知的三个机制
┌────────────────────────────────────────┐
│ 形态学决定认知的三个机制 │
│ │
│ 1. 形态学简化感知 (Morphology Simplifies Sensing)
│ - 形状决定"看到什么" │
│ - 例:眼睛的形状决定视野范围 │
│ │
│ 2. 形态学影响控制 (Morphology Affects Control)
│ - 关节数量决定运动自由度 │
│ - 例:人手 27 个自由度 = 灵活操作 │
│ │
│ 3. 形态学提供 affordance (Morphology Provides Affordance)
│ - 物理形态 afford 特定行为 │
│ - 例:球形 afford 滚动 │
└────────────────────────────────────────┘
关键点:形态学不是"实现认知的工具"——"形态学是认知的一部分"。
Pfeifer 的"形态学假设"对 LLM Agent 设计的启示:
- LLM Agent 的"形态学"是它的工具集(P, T, M, C)
- 工具集的设计决定了 Agent 能"感知什么"(工具的 affordance)
- 工具集的设计决定了 Agent 能"做什么"(工具的控制能力)
- 工具集的设计决定了 Agent 的"认知范围"——这是操作形态学的认知基础
具体而言: - 一个只有搜索工具的 Agent "看到"的是搜索结果的世界 - 一个有代码执行工具的 Agent "看到"的是可编程的世界 - 一个有数据库工具的 Agent "看到"的是结构化查询的世界
复述框 · 10.3 节要点
- Pfeifer 的形态学假设:身体形态决定认知内容和结构。
- 3 个机制:形态学简化感知、影响控制、提供 affordance。
- 对 LLM Agent:工具集 = Agent 的形态学;工具集设计 = 认知范围设计。
10.4 Embodied Foundation Models:PaLM-E、RT-2、Octo
2023–2025 年间,Embodied Foundation Models 爆发——把 LLM 与机器人控制结合,形成 "VLA(Vision-Language-Action)" 模型。
表 10.1 · 3 个代表性 Embodied Foundation Model
| 模型 | 时间 | 核心思想 | 关键创新 | 开源 |
|---|---|---|---|---|
| PaLM-E | 2023-03 | 562B 参数多模态 LLM,可输出机器人控制 | 把图像+文本作为输入,连续 token 作为输出 | 否 |
| RT-2 | 2023-07 | 把机器人动作当作"语言 token" | 视觉-语言-动作统一在文本生成中 | 部分 |
| Octo | 2024-04 | 开源通用机器人策略 | 27M 训练样本、8 种机器人本体 | 是 |
图 10.3 · RT-2 的统一 token 框架
┌────────────────────────────────────────┐
│ 输入: 图像 + 文本指令 │
│ - 图像 → ViT 编码为视觉 token │
│ - 文本 → 文本 tokenizer │
└────────────────┬───────────────────────┘
│
▼
┌────────────────────────────────────────┐
│ 统一 Transformer (PaLI-X) │
│ - 处理视觉 + 文本 + 历史 token │
└────────────────┬───────────────────────┘
│
▼
┌────────────────────────────────────────┐
│ 输出: 机器人动作 token │
│ - 6D 末端执行器位姿 │
│ - 离散化为 256 词表 │
│ - "把动作当作另一种语言" │
└────────────────────────────────────────┘
关键点:RT-2 的革命性创新是"把动作当作语言"——机器人控制变成"输出特定的文本 token"。
Embodied Foundation Models 的 4 个共同特征:
- 多模态输入:图像 + 文本 + 历史(可选)
- 大规模预训练:基于已有的 LLM/VLM 权重
- 动作输出统一:把控制视为"另一种语言"
- 少样本泛化:能泛化到训练时没见过的任务
Embodied Foundation Models 对 LLM Agent 的启示是双向的:
- 从 VLA 到 LLM Agent:LLM Agent 的工具调用可以"标准化"为统一的"动作接口"
- 从 LLM Agent 到 VLA:LLM Agent 的推理能力可以"赋予"机器人,让机器人具备抽象推理
复述框 · 10.4 节要点
- Embodied Foundation Models:VLA(Vision-Language-Action)统一架构。
- 3 个代表:PaLM-E(多模态 LLM)、RT-2(动作=语言)、Octo(开源通用)。
- 4 个特征:多模态输入、大规模预训练、统一动作、少样本泛化。
10.5 Embodied AI 与 LLM Agent 的关系
最后,我们对比物理 embodied AI 与软件 LLM Agent,明确两者的关系。
表 10.2 · 物理 embodied AI vs 软件 LLM Agent
| 维度 | 物理 embodied AI | 软件 LLM Agent |
|---|---|---|
| 身体 | 物理机器人(关节、传感器) | 软件工具集(P, T, M, C) |
| 感知 | 视觉、触觉、力觉 | 文本、API 返回 |
| 行动 | 物理动作(移动、抓取) | 工具调用、文本生成 |
| 认知 | 分布式(每条触手都有"神经节") | 中心化(LLM 单点) |
| autopoietic | 真正自创生 | 依赖外部服务(不是自创生) |
| 4E 体现 | 完全(Embodied + Embedded + Enacted + Extended) | 部分(Extended + Embedded,缺真正的 Embodied) |
| 认知地位 | 真正的认知主体(Varela 立场) | 认知模拟器(本书立场) |
两者在 4E 框架下的关系是:
- Embodied AI 是 4E 的"完整实现"——所有 4 个 E 都在物理上实现
- LLM Agent 是 4E 的"部分实现"——Extended(工具延展)和 Embedded(环境参与)实现,但 Embodied(物理身体)缺失
- LLM Agent 可以通过 VLA 框架扩展为 Embodied AI
这给出本书核心主张之一:
LLM Agent 与 Embodied AI 不是竞争关系,而是层级关系——LLM Agent 是 Embodied AI 的"认知层",Embodied AI 是 LLM Agent 的"物理层"。两者的结合(即 VLA)才是"完整"的智能体。
复述框 · 10.5 节要点
- 物理 embodied AI vs 软件 LLM Agent:4E 实现程度不同。
- LLM Agent 是认知模拟器,Embodied AI 是真正的认知主体。
- 两者是层级关系:LLM Agent = 认知层,Embodied AI = 物理层。
- VLA 是统一两者的框架。
10.6 本章小结与第 11 章预告
本章从认知科学(4E Cognition)转向人工智能(Embodied AI)。经典 AI 的身体缺失催生了具身 AI 运动。Brooks 的 subsumption 架构主张"无表征智能",提出"世界是它自己的最佳模型"。Pfeifer 的形态学假设主张身体形态决定认知内容。Embodied Foundation Models(PaLM-E、RT-2、Octo)把 LLM 与机器人控制结合,形成 VLA 统一框架。Embodied AI 与 LLM Agent 是层级关系——LLM Agent 是认知层,Embodied AI 是物理层,VLA 是统一两者的框架。
常见误区
- ❌ 把"具身"理解为"有身体":具身是 4E 的综合,不只是"有身体"——还包括 affordance、enaction、extension。
- ❌ 把 Brooks 误读为"反对表征":Brooks 反对的是"中央表征",不是"所有表征"。现代 subsumption 仍允许局部表征。
- ❌ 把 VLA 误读为"机器人+LLM 简单组合":VLA 是统一的多模态架构,不是叠加——动作 token 与语言 token 共享词表。
- ❌ 把"形态学决定智能"理解为"形态决定一切":Pfeifer 的形态学是认知的一部分,不是全部。
- ❌ 把 LLM Agent 当作"完整智能体":LLM Agent 缺真正的 Embodied,必须与 VLA 结合才是完整形态。
第 11 章将进入操作形态学形式化。第 7-10 章我们从 4E Cognition 走向 Embodied AI,建立了"身体塑造认知"的认识论基础;第 11 章将把这套哲学框架形式化为 B = {P, T, M, C} + 元控制器 U + 5 个可证伪假设——这是全书的理论中枢。
本章小结
- 经典 AI 的身体缺失:Moravec 悖论揭示身体的根本性。
- Brooks subsumption:4 层行为、无表征、世界是最佳模型。
- Pfeifer 形态学假设:身体形态决定认知。
- Embodied Foundation Models:PaLM-E、RT-2、Octo 把 LLM 与机器人控制结合。
- Embodied AI vs LLM Agent:层级关系,VLA 是统一框架。
- LLM Agent 是认知模拟器,Embodied AI 是真正认知主体。
推荐阅读
- 📖 Brooks《Intelligence Without Representation》(1991):subsumption 架构的开创性论文。$TRAE_REF
- 📖 Pfeifer & Bongard《How the Body Shapes the Way We Think》(2007):形态学假设的代表著作。$TRAE_REF
- 📖 Pfeifer, Lungarella, Iida《Self-Organization, Embodiment, and Biologically Inspired Robotics》(Science, 2007):自组织与具身的科学综述。$TRAE_REF
- 📖 PaLM-E [Driess et al., 2023]:把多模态 LLM 应用于机器人控制的开创性工作。$TRAE_REF
- 📖 RT-2 [Brohan et al., 2023]:把动作当作语言 token 的 VLA 模型。$TRAE_REF
练习题
- 概念题:用一段话解释 Moravec 悖论为何指向了具身 AI 的必然性。
- 分析题:选一个真实机器人系统(如波士顿动力的 Spot、特斯拉的 Optimus),分析它是否实现了 Brooks 的 subsumption 架构。具体说:它有中央表征吗?高层覆盖低层吗?涌现智能吗?
- 设计题:为一个 LLM Agent 设计"形态学"——Agent 应该有哪 5 个工具?这 5 个工具的组合 afford 哪些能力?形态学如何影响 Agent 的"认知"?
- 批判题:Pfeifer 的"形态学决定认知"主张是否适用于 LLM Agent?工具集的设计能否"塑造"Agent 的认知?请举例说明。
- 工程题:把 RT-2 的"动作=语言 token"思想应用到 LLM Agent——把工具调用统一为"action token",给出完整的数据流设计。
- 哲学题:Brooks 的"世界是它自己的最佳模型"是否适用于 LLM Agent?LLM Agent 是否有"自己的世界"?还是说 LLM Agent 永远在"重建世界模型"?
参考文献(本章内)
- Brooks, R. A. (1991). Intelligence Without Representation. Artificial Intelligence, 47(1-3), 139-159. $TRAE_REF
- Pfeifer, R., & Bongard, J. (2007). How the Body Shapes the Way We Think: A New View of Intelligence. MIT Press. $TRAE_REF
- Pfeifer, R., Lungarella, M., & Iida, F. (2007). Self-Organization, Embodiment, and Biologically Inspired Robotics. Science, 318(5853), 1088-1093. $TRAE_REF
- Driess, D., et al. (2023). PaLM-E: An Embodied Multimodal Language Model. arXiv:2303.03378. $TRAE_REF
- Brohan, A., et al. (2023). RT-2: Vision-Language-Action Models Transfer Web Knowledge to Robotic Control. arXiv:2307.15818. $TRAE_REF
- Team, O., et al. (2024). Octo: An Open-Source Generalist Robot Policy. RSS. $TRAE_REF
- Moravec, H. (1988). Mind Children: The Future of Robot and Human Intelligence. Harvard University Press.
- Moravec, H. (1999). Robot: Mere Machine to Transcendent Mind. Oxford University Press.
- Clark, A. (1997). Being There: Putting Brain, Body, and World Together Again. MIT Press.
- Ziemke, T. (2001). Are Robots Embodied? In CogSci-2001 Workshop on Epistemological Issues in Embodied AI.
本章进度:10.1–10.6 节全部完成(约 5,500 字,含 3 张图 + 2 张表 + 10 篇引用 + 6 题 + 5 误区 + 5 推荐),达到 26 页计划。
status: final。Part II 进度:4/5 章完结(Ch 7, 8, 9, 10)。下一章是全书理论中枢:第 11 章 · 操作形态学形式化。