目录
[1.1 具身智能的定义与范畴](#1.1 具身智能的定义与范畴)
[1.1.1 具身性假设的历史演进](#1.1.1 具身性假设的历史演进)
[1.1.1.1 从笛卡尔身心二元论到具身认知革命](#1.1.1.1 从笛卡尔身心二元论到具身认知革命)
[1.1.1.2 Varela 的生成认知理论](#1.1.1.2 Varela 的生成认知理论)
[1.1.1.3 Clark 的延展心智假说](#1.1.1.3 Clark 的延展心智假说)
[1.1.2 具身智能的形式化定义](#1.1.2 具身智能的形式化定义)
[1.1.2.1 物理身体-环境耦合的数学描述](#1.1.2.1 物理身体-环境耦合的数学描述)
[1.1.2.2 感知-行动循环的信息论刻画](#1.1.2.2 感知-行动循环的信息论刻画)
[1.1.2.3 涌现智能的复杂系统视角](#1.1.2.3 涌现智能的复杂系统视角)
[1.2 具身智能与离身智能的对比](#1.2 具身智能与离身智能的对比)
[1.2.1 符号主义 AI 的局限性分析](#1.2.1 符号主义 AI 的局限性分析)
[1.1.1.1 框架问题与符号接地问题](#1.1.1.1 框架问题与符号接地问题)
[1.2.1.2 常识推理的瓶颈](#1.2.1.2 常识推理的瓶颈)
[1.2.2 联结主义的补充与不足](#1.2.2 联结主义的补充与不足)
[1.2.2.1 分布式表征的优势](#1.2.2.1 分布式表征的优势)
[1.2.2.2 缺乏物理交互的缺陷](#1.2.2.2 缺乏物理交互的缺陷)
[1.2.3 具身范式的独特价值](#1.2.3 具身范式的独特价值)
[1.2.3.1 通过行动理解世界](#1.2.3.1 通过行动理解世界)
[1.2.3.2 形态计算的节能优势](#1.2.3.2 形态计算的节能优势)
1.1 具身智能的定义与范畴
1.1.1 具身性假设的历史演进
1.1.1.1 从笛卡尔身心二元论到具身认知革命
笛卡尔在《第一哲学沉思集》中确立的身心二元论将认知活动视为独立于物理身体的纯粹思维过程。20世纪80年代，具身认知（Embodied Cognition）作为对该传统的批判性回应应运而生。Lakoff 与 Johnson 在《肉身中的哲学》中论证了抽象概念根植于感知运动模式，标志着研究范式从"计算机隐喻"向"生物体隐喻"的过渡。
1.1.1.2 Varela 的生成认知理论
Varela 等人提出了生成认知（Enactivism）框架，将认知定义为生物体通过行动生成的世界建构过程。数学上，这种组织稳定性（操作闭合）可通过微分同胚映射描述：
A_t : S \\times E \\rightarrow S \\times E
其中 S 表示生物体状态空间，E 表示环境状态空间，映射 A_t 刻画了时刻 t 的耦合动力学。认知分布于整个身体-环境系统的时空演化轨迹之中。
1.1.1.3 Clark 的延展心智假说
Clark 与 Chalmers 提出了延展心智论题（Extended Mind Thesis），认为当外部工具以可靠方式运作时，其功能等价于生物记忆系统。Clark 进一步结合预测加工理论指出，生物体通过主动推理最小化自由能，将身体边界视为贝叶斯推理的调节变量。
1.1.2 具身智能的形式化定义
1.1.2.1 物理身体-环境耦合的数学描述
具身系统的物理形态与环境之间存在非线性耦合。考虑具有广义坐标 q \\in \\mathbb{R}\^n 的物理代理，其运动方程为：
M(q)\\ddot{q} + C(q, \\dot{q})\\dot{q} + G(q) = \\tau + J_e\^T(q)F_e
其中 M(q) 为质量矩阵，C(q, \\dot{q}) 表示科氏力与离心力项，G(q) 为重力向量，\\tau 为执行器扭矩，F_e 为环境接触力，J_e 为接触雅可比矩阵。这种耦合代之以连续的动力学纠缠。
1.1.2.2 感知-行动循环的信息论刻画
感知与行动的循环可用信息论工具刻画。根据 Ashby 的必要多样性定律：
V(E) \\ge V(D)
其中 V(E) 为环境扰动变异度，V(D) 为系统响应变异度。在主动推理框架下，变分自由能 F 定义为：
F(q) = \\mathbb{E}_{q(\\theta)}\[\\ln q(\\theta) - \\ln p(o, \\theta)\] = D_{KL}\[q(\\theta) \|\| p(\\theta \| o)\] - \\ln p(o)
行动选择通过最小化预期自由能 G(\\pi) 实现：
G(\\pi) = \\mathbb{E}_{q(o, \\theta \| \\pi)}\[\\ln q(\\theta \| o) - \\ln p(o, \\theta)\] + \\mathbb{E}_{q(o \| \\pi)}\[C(o)\]
1.1.2.3 涌现智能的复杂系统视角
具身智能是涌现现象。基于协同学（Synergetics）理论，序参量 \\xi 支配宏观行为：
\\dot{\\xi} = \\lambda\\xi - \\beta \|\\xi\|\^2 \\xi + F(t)
其中 \\lambda 为控制参数，F(t) 为涨落力。序参量（如步态模式）自组织于身体-环境的非线性相互作用。
1.2 具身智能与离身智能的对比
1.2.1 符号主义 AI 的局限性分析
1.1.1.1 框架问题与符号接地问题
框架问题指出逻辑系统无法高效确定动作后的不变命题。形式化表述中，状态更新需考虑：
Frame(A) = \\{P \\mid P \\in KB \\wedge \\neg Affects(A, P)\\}
符号接地问题则揭示了纯符号系统缺乏将标记映射到物理客体的因果机制，导致语义的无限倒退。
1.2.1.2 常识推理的瓶颈
莫拉维克悖论（Moravec's Paradox）显示，逻辑推理易而感知运动难。Dreyfus 指出人类的"流畅应对"无法被产生式系统捕获。McCarthy 估计完全表征物理世界需 10\^6 条以上公理，推理面临组合爆炸。
1.2.2 联结主义的补充与不足
1.2.2.1 分布式表征的优势
联结主义通过神经网络实现了亚符号处理，支持统计学习。反向传播算法通过下式更新权重：
\\Delta w_{ij} = -\\eta \\frac{\\partial E}{\\partial w_{ij}} = \\eta \\delta_j o_i
深度学习通过多层非线性变换提取特征：
h\^{(l)} = f(W\^{(l)}h\^{(l-1)} + b\^{(l)})
1.2.2.2 缺乏物理交互的缺陷
标准神经网络仍具"离身性"，输入为预处理特征，缺乏闭环耦合。传统 AI 的串行架构（感知-建模-规划-执行）导致延迟。纯网络方法未能利用形态计算（Morphological Computation），且无法处理非平稳分布下的因果干预。
1.2.3 具身范式的独特价值
1.2.3.1 通过行动理解世界
具身智能主张"行动即认知"。感觉运动偶联理论将知觉定义为掌握规律性：
P = f(s_1, s_2, \\dots, s_n; m_1, m_2, \\dots, m_n)
其中 s_i 为感觉刺激，m_j 为运动命令。物理交互为符号接地提供了所需的因果耦合。
1.2.3.2 形态计算的节能优势
形态计算指身体结构本身执行计算。在弹性腿式行走中，弹簧-质量系统生成稳定步态：
m\\ddot{x} + c\\dot{x} + kx = F_{ext}(t)
通过选择合适的被动参数 c, k，系统可匹配自然共振频率，将控制复杂度降低数个数量级。软体机器人通过材料粘弹性实现适应性抓取，实现了控制的"分流"。