具身空间 ES

本页是全站 ES 定义的唯一真源（V0.2，2026-07-23 重写）。历史版本曾以”三层耦合流形的生成空间（ $\mathcal{M}_{phy} \times \mathcal{M}_{per} \times \mathcal{M}_{act}$ ）“为核心叙事，该表述已废止——乘积不产生耦合，感知与行动结构不满足流形条件（见修订说明）。

工作定义

“具身空间”中的”空间”是领域组织术语，不主张新的拓扑或几何空间。若替换为”具身任务执行域”，多数结论仍成立：

具身空间 ES：面向特定受控具身主体与任务，将任务判定所需的异质状态、观测、动作、可供关系、交互动力学及约束组织起来，并据此计算允许、安全和可到达行为的任务执行域。

\mathrm{ES}(a,T,t) = (X_T,\ Y_T,\ U_a,\ \mathcal{A}_T,\ \mathcal{C}_T,\ F_T,\ H_T)

符号	含义
a	受控具身主体（机器人或无人系统）
T	当前任务及其目标、对象和阶段
X_T	由任务判定变量及其动力学—观测依赖闭包确定的异质状态域
Y_T	传感器和外部信息源形成的观测域
U_a	主体能力范围内可执行的动作
𝒜_T	主体—对象—动作—效果的可供关系
𝒞_T	物理、任务、规范和能力约束
F_T	主体、对象与环境的状态演化和交互动力学
H_T	状态到观测的模型，表达部分可观测与感知误差

三个基本特征

主体相关：同一环境对无人机、机器狗、导线机器人和人提供不同感知与动作可能
任务相关：同一机器人执行巡检、防振锤更换和销钉插拔时形成不同 ES
动态相关：ES 随环境状态、主体能力、任务阶段、许可状态和认知结果而变化

历史版本用”给定空间 vs 生成空间”表达第三点——那个直觉是对的（任务执行域确实随行动演化），但把它包装成”空间被行动生成”的本体论主张超出了建模需要。V0.2 的表达：ES 是带时间参数的建模对象，其动态性由 F_T、H_T 与许可状态承载。

X_T 的闭包判据：从”相关”到可计算

为避免”任务相关状态”的循环定义，先在选定的系统模型、变量库与任务规格下确定初始变量集：

V_0 = V_{pre} \cup V_{eff} \cup V_{goal} \cup V_{con}

（分别是判定任务前置条件、动作效果、目标和约束所需的变量。）随后按动力学 F 与观测模型 H 的因果依赖递推闭包：

V_{k+1} = V_k \cup \mathrm{Dep}_F(V_k) \cup \mathrm{Dep}_H(V_k)

当 $V_{k+1} = V_k$ 时得到不动点 $V_T^*$ ，定义 $X_T = \mathrm{Proj}_{V_T^*}(X)$ 。

适用域：给定模型、变量库、依赖图与任务规格
假设：依赖关系被正确建模
失效条件：存在等价变量或模型选择不同时，绝对最小性与唯一性不成立
证据状态：【建模约定】，需依赖审计与变量消融检验（见开放问题第 1 条）

异质状态：各用合适的数学

X_0 = X_{phy} \times X_{cyb} \times X_{task} \times X_{norm}

物理位姿和构型用欧氏空间、SO(3)/SE(3) 和配置流形（这部分用流形是恰当的）；离散任务用自动机或任务网络；语义用本体和知识图谱；不确定性用概率空间；规范用规则、契约和时序逻辑。

乘积只是先验联合域，不产生耦合。 真实作业只能处于联合空间的一部分，真正承重的是三个集合：

\nu_i : C_i \to \mathbb{T}_3, \qquad Z_{adm} = \{ (x,u) \mid \textstyle\bigwedge^K_i \nu_i(C_i(x,u)) = \mathrm{TRUE} \}

可行集 Z_adm：全部约束经强 Kleene 三值合取为 TRUE 的状态—动作对（→ 三值门控）
安全集：不可接受状态的补集，由控制层维持（CBF/可达性）
可达集 $\mathrm{Reach}_{adm}(x_0, T)$ ：由许可且安全的动作从 x₀ 可到达的状态

“空间性”由这三个集合承载，不由名称承载。

三个层次不可混编

\mathrm{ES}_{real} \neq \mathrm{ES}_{obs} \neq \mathrm{ES}_{adm}^{v}

层次	含义	载体
ES_real	客观任务环境	现实世界
ES_obs	系统基于观测形成的信念/估计	Bel_T = Δ(X_T)，经 μ_t 语义接地
ES_adm^v	规范版本 v 下允许进入的状态—动作域	签署编译产物 + 门控

规范与物理世界版本周期不同，ES_adm^v 是作用于观测模型的规范化结果，不是现实本体的一部分。

与相近概念的边界

概念	主要描述	与 ES 的关系
物理空间	位置、尺寸和几何关系	构成 ES 的几何基础，不含完整任务语义
配置空间	机器人的全部可能构型	描述主体自身几何与运动状态
状态空间	系统状态变量集合	ES 使用任务相关子集并增加对象、动作和约束
工作空间	末端执行器可到达区域	只是 ES 中动作能力的一部分
世界模型	主体对环境的内部表示	是主体对 ES 的认知模型
数字孪生	实体及过程的数字映射	可作 ES 的实现与验证载体
约束型 POMDP	部分可观测约束决策	ES 与其高度重叠；ES 是领域组织层选择并连接它

ES 不取代成熟模型。它的价值在于面向电网机器人的领域组织与集成（V0.2 命题 P2、P9）。

具身空间的稳定性条件

三篇系列论文检验的三个条件，全部为 A ⇒ P 条件命题（成立假设见假设集清单）：

条件 I：语义层覆盖性

规范任务词汇对操作指令的 τ-邻域覆盖（SEC 及其本体化扩展 SEC⁺ = C_lexical ∧ C_ontological ∧ C_normative）。前提：词汇集固定、嵌入模型固定、τ 依 reach 条件选定（→ 第三讲）。

条件 II：认知层对齐性

$d_{Sem} \leq \varepsilon_0$ ：LLM 嵌入空间与领域语义结构的对齐距离有界。前提：对齐度量的代理有效性（→ Paper-02 语境）。

条件 III：行动层不变性

CBF 前向不变集：控制律使系统不逸出安全集。前提：模型误差与扰动在设计界内、安全函数定义完整（→ CBF）。

三个条件不构成”稳定可靠”的充分证明——它们是分层保证结构中三个可独立检验的环节，与默认拒绝、降级、接管共同构成条件化保证。

后续工作

ES 的公理化（三层结构的正式数学关系）、可达关系精度选择（符号/概率/混杂/控制可达）、ES_real/obs/adm 接口与版本切换机制——均列入开放问题，将按 167 首个任务的最小充分结构逐项冻结。

→ 从 EST 到 ES：概念演进 · 任务状态闭包示例 · 规范编译链 · 保证与边界