Flood-SAR

为AI世界模型引入新的可审计一致性契约

研究人员引入了TRACE-RealWorld (TRW)，这是一种用于AI规划的世界模型的新型一致性契约。TRW将预测状态视为物化视图，并将物理承诺视为具有到期时间的审计可读操作。该系统指定了新鲜度和验证成本的类型化、校准声明，并结合了自适应刷新和局部补偿机制来修复失效的承诺。在搜救模拟器中的实验表明，与全局恢复方法相比，TRW减少了修复工作和恢复延迟，同时保持了对违规行为的可审计分解为命名债务。