我们发布了一篇由Benja Fallenstein和Nate Soares撰写的新工作论文，”自我改进时空嵌入智能中的自我参照问题”。
文摘:
Orseau和Ring的时空嵌入智能将agent视为环境的一部分，比传统的agent框架更适合现实世界。然而，将自己的未来版本视为环境中普通部分的自修改AGI可能会遇到自我引用的问题。我们展示了在一个基于形式逻辑的特定模型中，天真的方法要么导致不正确的推理，允许代理永远推迟 一项重要的任务(即拖延悖论)，或者不允许代理证明即使是明显安全的重写(Lobian障碍)．我们认为这些问题的相关性超出了我们特定的形式主义，并讨论了部分解决方案。
这份工作报告还引用了Fallenstein的一份简短的新技术报告，概率逻辑中的拖延”。
更新05/14/14:本文已被接受AGI-14．
