三值门控与默认拒绝 | 具身空间知识库

为什么是三值

不同约束原生输出不同：物理约束可为实值裕度，任务约束可为自动机状态，规范约束可为规则判定。为使”合取”成为定义良好的运算，每类约束先经求值器 ν_i 映射到强 Kleene 三值域 𝕋₃ = {TRUE, FALSE, UNKNOWN}：

\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} \}

FALSE：已有充分反证或明确禁止
UNKNOWN：关键事实缺失、冲突、超出适用域、置信度不足或规则未覆盖
强 Kleene 合取：任一 FALSE ⇒ 总体 FALSE；无 FALSE 但有 UNKNOWN ⇒ 总体 UNKNOWN；仅全部 TRUE 才允许进入下一环节（V0.2 命题 P11）

二值逻辑强迫系统在”证据不足”时武断二选一。三值逻辑让”不知道”成为可计算、可路由的状态：UNKNOWN 触发人工复核、补充感知或直接拒绝，而不是被静默地当成 TRUE 或 FALSE。

产生 UNKNOWN 的典型来源：

OWL 采用开放世界语义——知识库没有记录许可并不等于禁止。直接用 OWL 推理做作业许可会把”未记录”误判为”可执行”。电网作业必须叠加 SHACL、闭世界规则、三值逻辑和默认拒绝：

\mathrm{Permit}(a) \in \{\mathrm{TRUE}, \mathrm{FALSE}, \mathrm{UNKNOWN}\}, \qquad \mathrm{Permit}(a) \neq \mathrm{TRUE} \Rightarrow \text{不执行}

Permit 的每个输入事实均须带来源、时间戳、适用规范版本与置信度。物理裕度不足、任务自动机状态非法、规范明确禁止均产生 FALSE；证据缺失/冲突、感知置信度不足、规则无覆盖或输入超出 ODD 均产生 UNKNOWN。

默认拒绝只是安全门控性质：

\mathrm{Permit}(T) \neq \mathrm{TRUE} \Rightarrow \mathrm{Execute}(T) = 0