开放问题

V0.2 明确列出的待推敲问题(第十三章)。公开列出未解决的问题是研究工作台的一部分: 这些问题的答案将通过 167 闭环实践与后续版本逐项冻结,而不是靠修辞回避。

  1. 01

    任务状态闭包在不同模型、变量库和等价表示下如何比较,并给出可重复的依赖审计和消融准则?

    ES 形式化
  2. 02

    ES 的可达关系需要何种精度:符号可达、概率可达、混杂可达还是控制可达?应按首个任务选取最小充分结构。

    ES 形式化
  3. 03

    人作为不可完全控制动态因素、授权者、监督者和接管者时,各角色如何进入混杂模型与责任链?

    人机协同
  4. 04

    ES_real、ES_obs 与 ES_adm^v 的接口、时间同步和规范版本切换如何实现?

    架构
  5. 05

    世界模型、ES 本体和数字孪生之间采用何种接口和更新机制?

    架构
  6. 06

    SEC/PCA 的覆盖半径检验如何与本体类型检查、规则校验和统计验证组合?

    语义闭合
  7. 07

    标准条款如何从自然语言可靠转化为规则、HTN 前置条件和连续控制约束?

    规范编译
  8. 08

    EvidencePack 应包含哪些最小证据,才能支持工程验收和安全复盘?

    证据
  9. 09

    面向不同电网机器人,哪些本体和任务模型可以复用,哪些必须按主体能力专门化?

    复用性
  10. 10

    网络攻击、感知欺骗与知识投毒如何进入假设集合、风险模型和运行时监测?

    安全

来源:《EICPS 与具身空间 ES 理论阶段性梳理 V0.2》第十三章 · 2026-07-23。 问题被解决后移入对应栏目并在 修订说明 记录。