摘要：为安全关键的自主系统开发一个形式化方法来确定在当前任务中什么是相关的，即哪些信息足以构建一个适当的世界观以实现其任务目标。
作者：Astrid Rakow
论文ID：2307.14355
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-28
PDF 下载： 英文版 中文版pdf翻译中