开放问题
V0.2 明确列出的待推敲问题(第十三章)。公开列出未解决的问题是研究工作台的一部分: 这些问题的答案将通过 167 闭环实践与后续版本逐项冻结,而不是靠修辞回避。
- 01
任务状态闭包在不同模型、变量库和等价表示下如何比较,并给出可重复的依赖审计和消融准则?
ES 形式化 - 02
ES 的可达关系需要何种精度:符号可达、概率可达、混杂可达还是控制可达?应按首个任务选取最小充分结构。
ES 形式化 - 03
人作为不可完全控制动态因素、授权者、监督者和接管者时,各角色如何进入混杂模型与责任链?
人机协同 - 04
ES_real、ES_obs 与 ES_adm^v 的接口、时间同步和规范版本切换如何实现?
架构 - 05
世界模型、ES 本体和数字孪生之间采用何种接口和更新机制?
架构 - 06
SEC/PCA 的覆盖半径检验如何与本体类型检查、规则校验和统计验证组合?
语义闭合 - 07
标准条款如何从自然语言可靠转化为规则、HTN 前置条件和连续控制约束?
规范编译 - 08
EvidencePack 应包含哪些最小证据,才能支持工程验收和安全复盘?
证据 - 09
面向不同电网机器人,哪些本体和任务模型可以复用,哪些必须按主体能力专门化?
复用性 - 10
网络攻击、感知欺骗与知识投毒如何进入假设集合、风险模型和运行时监测?
安全
来源:《EICPS 与具身空间 ES 理论阶段性梳理 V0.2》第十三章 · 2026-07-23。 问题被解决后移入对应栏目并在 修订说明 记录。