具身智能的哲学与认知基础 | Philosophical and Cognitive Foundations of Embodied Intelligence
第 1 章:具身智能的哲学与认知基础
Philosophical and Cognitive Foundations of Embodied Intelligence
---
开篇:为什么智能不能仅仅是一个孤立的大脑?
Core Question: 当我们谈论人工智能时,常常将"智能"等同于某种抽象的、脱离身体的思维能力——仿佛只要有足够强大的计算资源,任何智能问题都可以在数字世界中解决。然而,如果我们认真审视自然界中的智能生物,会发现一个基本事实:每一种智能都根植于特定的身体结构、与环境的长期交互,以及亿万年进化塑造的感知-运动系统。这引导我们提出一个根本性的问题——为什么智能不能仅仅是一个孤立的大脑?或者说,"拥有身体"究竟为智能带来了什么不可替代的东西?
这个问题的重要性远超哲学思辨。近年来,以"具身智能(Embodied Intelligence)"命名的研究范式正在深刻改变人工智能和机器人学的发展轨迹。从波士顿动力(Boston Dynamics)的机械狗到特斯拉的人形机器人,从DeepMind的物理仿真环境到斯坦福的机器人抓取研究,具身智能已经成为AI领域最活跃的前沿方向之一。但这些实践进展背后,隐藏着一套深刻的思想传统——从现象学的身体理论,到认知心理学的具身转向,再到机器人学的具体实验验证。本章将追溯这条思想脉络,揭示具身智能为何不仅是一种技术路线,更是一种理解智能本质的哲学立场。
我们将从哲学中的具身认知(Embodied Cognition)理论出发,系统分析身体与智能的深层关系。通过Moravec悖论,我们将理解为什么那些对人类而言"毫不费力"的感知-运动技能,实际上蕴含着巨大的计算复杂性。通过Brooks的包容式机器人学(Subsumption Architecture),我们将看到无表征智能如何在没有内部世界模型的情况下产生复杂行为。通过当代神经科学的证据,我们将理解主动感知如何依赖于身体的特殊结构。最后,我们将通过一个简单的强化学习实验,具体展示"拥有身体"如何从根本上改变了学习问题的结构——这也是本书后续内容的核心问题意识所在。
---
1.1 具身认知理论的历史脉络:从现象学到机器人学
From Phenomenology to Robotics: The Historical Trajectory of Embodied Cognition
具身认知作为一股重要的理论思潮,其思想根源可以追溯到20世纪的现象学传统。要理解具身智能的哲学基础,我们有必要回溯这条从胡塞尔、海德格尔到梅洛-庞蒂的思想演进路径。
Edmund Husserl的现象学为具身理论奠定了基础。在《笛卡尔式的沉思》(Cartesian Meditations)中,胡塞尔提出了一种看似矛盾的"先验主体性(transcendental subjectivity)"理论——尽管他继承了笛卡尔的怀疑论传统,试图寻找知识的绝对基础,但胡塞尔很快意识到,纯粹的"我思(cogito)"无法独立存在。意识总是"关于某物的意识(consciousness of something)",而这个"某物"在原初经验中就是身体所触及的世界。胡塞尔引入身体(Leib)与肉体(Körper)的区分:肉体是有广延的物理客体,而身体则是我"寓居"其中、通过它我能动地触及世界的活的主体(lived body)。这一区分奠定了后来具身理论的核心洞见:身体不是心智的容器,而是心智存在的必要条件。
Martin Heidegger的存在论进一步推进了这一思路。在《存在与时间》(Being and Time)中,海德格尔批判了传统西方哲学将人理解为"主体-客体"二分框架中的"现成存在者(present-at-hand)",代之以"此在(Dasein)"的概念——此在的本质在于其存在方式:它"在世界中存在(being-in-the-world)",不是先有一个孤立的自我,然后去认识一个独立的世界,而是从一开始就与世界处于操劳(care, Sorge)的关系中。海德格尔特别分析了"锤子的存在论":当我们用锤子敲打钉子时,我们并不首先感知锤子的物理属性(质量、形状、材质),而是直接"上手(ready-to-hand)"地使用它。锤子消失在使用中,我们直接抵达钉子和墙面。身体在这个意义上是"存在论的枢纽"——它不是在世界之外的旁观者,而是我们嵌入世界的根本方式。
Maurice Merleau-Ponty的知觉现象学(Phenomenology of Perception)将这些洞见整合为一个系统的身体理论。梅洛-庞蒂明确提出,身体不仅是"我在世界中的位置(point of view)",而且是"我的存在方式(modality of my existence)"——它定义了我们在世界中可能有的经验范围和类型。我们无法"看到"紫外光、"听到"超声波,不是因为我们的认知能力有限,而是因为我们的身体根本没有配备相应的接收器。身体的结构决定了世界的意义结构。梅洛-庞蒂还用"意向弧(intentional arc)"概念描述感知-运动系统的整体性:感知不是被动的接收,而是身体主动组织感觉材料、形成连贯情境的整体活动。这一洞见直接指向了后来具身认知的核心主张:认知不是发生在颅内的计算过程,而是身体-环境系统的动力学。
从哲学到认知科学:具身转向的学科背景
现象学的传统需要跨越学科边界,才能进入认知科学的讨论。Hubert Dreyfus的诠释学研究在这一传播中扮演了关键角色。Dreyfus在《计算机不能做什么》(What Computers Can't Do)系列著作中,系统批判了人工智能中的"身心二元论"和"表征主义(representationalism)"假设。他指出,人类专家的技能并非存储在大脑中的规则库,而是体现为身体对情境的"熟练应对(skilled coping)"——一位老司机在驾驶时不会调用"如果车速超过60迈且前方有障碍物则减速"的规则,他"就是"那个情境的一部分,身体直接做出反应。这种对表征主义的批判,为具身认知在人工智能社区的传播铺平了道路。
Francisco Varela, Evan Thompson, 和 Eleanor Rosch在1991年出版的《具身认知:认知科学与人体验》(The Embodied Mind: Cognitive Science and Human Experience)是一个里程碑式的综合。该书明确提出"具身认知"作为认知科学的新范式,主张:
1. 认知依赖机体具有的感知-运动能力(cognitive processes depend upon having a body with various sensorimotor capacities) 2. 认知受机体实际经验约束(sensorimotor capacities are themselves shaped by the organism's body) 3. 认知植根于更广泛的生物和社会情境中(this sensorimotor basis is itself embedded in a more biological, psychological, and cultural context)
这三条原则构成了具身认知的理论骨架,也为我们理解具身智能提供了基本框架。
机器人学的实验回应
哲学理论和认知科学的讨论需要技术系统的验证才能获得实质性推进。机器人学家很快发现,传统的表征主义人工智能(Good Old-Fashioned Artificial Intelligence, GOFAI)路径在处理现实世界的复杂性时遭遇了根本困难——如何为机器人提供一个足够精确、能够应对所有意外情况的世界模型,成为一个几乎无解的问题。正是在这一背景下,Rodney Brooks在1980年代末提出的包容式架构(Subsumption Architecture)代表了一种根本性的范式转换。我们将在下一节详细分析Brooks的工作,因为它不仅是一种工程方法,更是对"智能需要表征"这一默认假设的实验性反驳。
理解具身认知理论的历史脉络,我们获得了第一个关键洞见:身体不是智能的容器或工具,而是智能存在的必要条件。智能不能仅仅是大脑的计算活动,因为它从一开始就是身体-环境系统的涌现特性。这一洞见将贯穿全书,成为我们理解所有后续技术进展的哲学基础。
---
1.2 Moravec悖论:感知-运动技能的低层次复杂性
Moravec's Paradox: The Hidden Complexity of Sensorimotor Skills
当我们比较人类智能与人工智能的能力时,一个令人困惑的现象浮现出来:那些对人类而言最困难的任务——如下棋、进行复杂数学证明——恰恰是传统AI最早攻克的领域;而那些对人类而言毫不费力的任务——如在不平坦的地面上行走、准确地抓握物体、识别模糊图像中的物体——却让最先进的人工智能系统挣扎不已。Hans Moravec在1980年代最早明确表述了这一悖论:
> "用逻辑推理这种高层次、通用的问题解决能力来装备计算机相对容易,而让计算机拥有两岁小孩的感知和移动能力则困难得多——这或许是我们对自身能力来源的最大误解。"
Moravec's Paradox: It is comparatively easy to make computers exhibit adult-level performance on intelligence tests or playing checkers, and difficult or impossible to give them the skills of a one-year-old when it comes to perception and mobility.
这看似矛盾的现象究竟该如何解释?Moravec提出的解释植根于进化史的视角:感知-运动技能是数亿年自然选择精雕细琢的结果,而抽象推理能力是相对晚近的进化产物。这意味着感知-运动系统承载着极其复杂的、近乎最优化的计算,但这种计算是隐性的——它不表现为可表述的规则或算法,而是体现为身体结构、神经回路与环境的精密配合。
为什么感知-运动任务如此困难?
让我们通过几个具体例子来理解感知-运动任务的计算复杂性。
视觉识别看似简单,实际上涉及从视网膜上两亿多个感光细胞的原始信号中重建三维场景的复杂逆问题。人类视觉系统在出生后几个月内就建立了基本的视觉能力,这个过程涉及数千亿神经连接的精细调节。更重要的是,视觉从来不是被动的"拍照"过程,而是主动的探索——眼动、头部转动、身体移动都在不断提供新的视角信息,帮助大脑解决深度遮挡、歧义光照等固有的不适定问题(ill-posed problems)。
运动控制的复杂性同样惊人。一个简单的手臂运动涉及数十块肌肉的精确协调,每块肌肉的特性随疲劳、温度、负荷不断变化。要实现平稳、准确的运动,运动系统需要实时估计手臂的当前位置和速度(本体感觉)、当前负荷对运动的影响(内部模型)、以及运动的预期结果(正向模型)。这种估计不是通过精确的数学计算实现的,而是通过进化形成的神经回路的"本能"实现的。
抓取操作则结合了视觉和运动控制的复杂性。要成功抓住一个物体,机器人需要:识别物体的位置和姿态、估计物体的物理属性(重量、质地、摩擦系数)、根据物体特性规划手部轨迹、处理手指与物体的接触力学、以及应对抓取过程中的意外情况(物体滑动、碰撞等)。每一个环节都是独立的复杂问题,组合起来更是难上加难。
从Moravec悖论看具身智能的核心洞见
Moravec悖论对具身智能理论具有深刻的含义。传统的AI研究假设智能的核心是表征(representation)和推理(reasoning)——只要有足够精确的内部表征和足够强大的推理算法,智能就能实现。基于这一假设,感知-运动问题被简化为"如何从传感器数据构建世界表征"和"如何根据表征规划动作"两个子问题。但Moravec悖论揭示,这种还原主义的思路可能从根本上误解了感知-运动的本质。
具身认知理论提供了另一种理解:感知-运动技能不是通过"表征→推理→动作"这一串行路径实现的,而是直接耦合的身体-环境系统动力学。当人类熟练地伸手抓住一个杯子时,这个动作并不依赖于大脑先构建一个"杯子在空间中处于某种姿态"的表征,然后调用运动规划算法计算手指应采取的轨迹,最后发送执行命令。相反,视觉信息、运动反馈、环境约束在这个过程中是实时耦合的,手指"自然地"落在正确的位置,仿佛被吸引到物体的轮廓上。这种现象学描述有着坚实的神经科学基础:视觉-运动系统的单个神经元就能对特定的"抓取方向"选择性响应,这些神经元不编码抽象的物体属性,而是直接编码与动作相关的视觉特征。
这就解释了为什么感知-运动任务难以编程实现。当我们试图将"抓住杯子"翻译为规则或算法时,我们必须将连续的、依赖于情境的身体经验离散化为有限的符号表述——而这个离散化的过程不可避免地丢失了身体经验的大部分结构。相比之下,一个拥有适当身体的机器人系统,可以通过与环境的直接交互"学会"正确的行为模式,而不依赖于人类的显式编程。
Moravec悖论因此揭示了智能研究中的一个基本认识论问题:我们很难"知道"我们如何做我们所做的。人类的感知-运动技能是"隐性知识(tacit knowledge)",它存在于身体结构、神经回路与环境交互形成的动力学系统中,而不是存在于任何可提取的规则或算法中。这为具身智能的研究提供了深刻的启示:理解智能,可能不是通过分析孤立的大脑,而是通过理解身体-环境系统的整体动力学。
---
1.3 Brooks的包容式架构:无表征智能的实验验证
Brooks' Subsumption Architecture: Empirical Validation of Representation-Free Intelligence
如果说Moravec悖论从进化的角度揭示了感知-运动技能的深层复杂性,那么Rodney Brooks在1986年至1991年间的工作则提供了一种直接的技术回应。Brooks在MIT人工智能实验室开发的包容式架构(Subsumption architecture),不仅是一种工程方法,更是对"智能必须基于内部表征"这一传统假设的系统性实验反驳。
包容式架构的设计哲学
Brooks的起点是一个看似激进的否定:智能行为不需要内部世界模型,不需要中央控制系统,不需要显式的表征和推理。这一立场与传统的"感知-规划-执行(sense-plan-act)"范式形成鲜明对比。在传统范式中,机器人首先通过传感器构建环境的内部表征,然后基于这个表征进行规划,最后将规划转化为动作执行。这个范式在受控的实验室环境中可以工作,但在现实世界的复杂性面前遭遇了根本困难——环境是不可预测的、部分是可观测的,构建精确表征的成本极高,而任何表征的不完美都会导致规划和执行的失败。
Brooks提出了一种完全不同的思路:智能可以通过简单的、并行运作的行为模块的层级叠加来实现。每一层行为模块直接连接感知输入和运动输出,形成感知-动作直接耦合(direct coupling of perception and action)的系统。更高层的模块可以"抑制(inhibit)"或"包容(subsume)"低层模块的行为,从而在需要时接管控制权,但这种接管不是通过替代而是通过调节实现的。
一个具体案例:六足步行机器人Genghis
Brooks用六足步行机器人Genghis展示了包容式架构的能力。Genghis的目标是在不平坦的地形上稳定行走,这对传统方法来说是一个巨大的挑战——需要精确的地形感知、足部位置估计、姿态平衡控制、步态规划等众多子系统协同工作。Brooks的方法是将这个复杂的任务分解为简单的、层次化的行为:
1. 第一层:腿部自主振荡。每条腿独立执行简单的振荡模式,前腿向前摆动,后腿向后摆动,中腿交替。单个腿的行为完全不需要中央控制,也不需要感知地形——它们就像"半自律"的生命一样自主运作。
2. 第二层:行走协调。这一层协调所有腿的振荡相位,使它们形成稳定的步态(如交替三角步态)。协调的规则极其简单:每当一条腿完成摆动并触及地面时,相邻的腿才开始摆动。
3. 第三层:地形适应。这一层响应足部接触力的变化。如果一条腿在摆动过程中意外触及地面(表明有障碍),它立即返回提腿状态,避免绊倒。
4. 第四层:目标导向。这一层接收来自"眼睛"(简单光传感器)的输入,调整机器人朝向光源的方向移动。
每一层都是完全独立设计和测试的,不需要其他层的存在。更重要的是,所有四层可以同时激活,系统自动产生协调的行为——机器人会朝光源行走,同时在不平坦地形上稳定步行,并且当足部遇到障碍时本能地调整步态。
包容式架构的哲学意义
Brooks的包容式架构对具身智能理论具有深远的意义。首先,它证明了无表征智能的可行性。Genghis没有任何"世界模型"、"环境地图"或"物体表征"——它的行为完全由当前感知输入和内部行为状态实时决定。这直接挑战了传统AI中表征不可或缺的核心假设。
其次,它展示了智能的层次性和模块性。复杂的智能行为不需要一个统一的、中央化的"智能"模块,而是可以通过简单模块的层次叠加涌现产生。这与具身认知的另一个核心主张相呼应:智能是身体-环境系统动力学的结果,而不是一个独立于身体和环境的抽象能力。
第三,它引入了"涌现"(emergence)的概念。当Genghis的四层行为同时激活时,系统的整体行为并不简单地等于各层行为的线性组合——地形适应和目标导向的交互产生了新的行为模式,这些模式难以从单层行为预测。这种涌现是系统与环境持续交互的结果,而不是预先设计的产物。
Brooks后来将这一思路发展得更具雄心。在1991年的论文"Elephants Don't Play Chess"中,他明确提出:复杂智能行为(如"智能")不需要符号表征,就像大象不需要下棋来展现智能一样。他主张,真正的智能研究应该从简单的、嵌入环境的实体开始,而不是从抽象的推理任务开始。这一立场从根本上重新定义了人工智能研究的问题域——与其追求构建"会思考的机器",不如先理解"会行动的、会与物理世界交互的系统"。
批评与局限
包容式架构并非没有批评。它的主要局限在于:
1. 可扩展性问题。当需要处理更复杂的行为时,层级结构可能变得臃肿且难以维护。 2. 适应性局限。系统只能处理设计