预训练嵌入作为行为规范机制

本研究解决了如何正式规范依赖于感知模型与物理世界交互的系统的行为属性的问题。我们提出了一种新型的时序逻辑，称为嵌入时序逻辑（ETL），该逻辑能够比以往更广泛地表达AI驱动系统的属性，并通过初步评估证明嵌入基础的规范能够有效引导系统朝向期望行为。