今天Miri发布了一份新的技术报告：“Botworld 1.0.“（PDF）by最近的雇用Nate Soares和Benja Fallenstein。报告是“读书“Haskell文件，可从Miri的GitHub页面。
飙升解释了他随身陪伴的报告较少的帖子，这也是该报告讨论的首选地方：
此报告介绍Botworld.是一种蜂窝自动机，为学习自我改变剂提供玩具环境。
传统的代理框架，例如在Markov决策过程和Marcus Hutter的Universal Agent Aixi中，将Universe拆分为代理和环境，只能通过离散输入和输出通道进行交互。
这种形式主义可能对真正的自我修改剂来说不适用于嵌入在其环境中的真实自我修改的药剂。实际上，代理/环境分离有点让人想起笛卡尔二元化：任何使用本框架的代理商就是世界的推理，不会像环境的一部分。例如，这样的代理将无法理解环境干扰其内部计算的概念，例如，通过热量诱导代理的RAM中的错误。
直观地，这种分离似乎并不是一个致命的缺陷，而只是一种简化讨论的工具。我们应该能够从正式的智力模型中删除这个“笛卡尔”假设。然而，已经提出的具体非笛卡尔型模型（如Orseau和Rings的时空嵌入式智能，Vladimir Slepnev的无更新决策理论的模型和Yudkowsky和Herreshoff的百变代理商）大大从他们的笛卡尔同行中脱颖而出。
Botworld是宇宙类型的一个玩具例子，这些形式主义是旨在的推理：它提供了一个包含代理的具体世界（“机器人”），其内部计算是环境的一部分，并允许我们研究发生的事情代理人和环境之间的笛卡尔障碍物崩溃了。BotWorld使我们能够在笛卡尔障碍是相关的，程序实际代理和运行系统的情况下写出决策问题。亚博体育苹果app官方下载
事实证明，当代理人嵌入环境中时出现了许多有趣的问题。例如，可以通过模拟代理的实体对源代码可读可读的代理，并通过实体来选择其行为。
此外，当非笛卡尔代理试图对未来行动达到信心时，出现了对自我参考的某些障碍。Yudkowsky和Herreshoff提出了其中一些问题;Botworld为我们提供了一个具体的环境，我们可以检查它们。
Botworld的主要优点之一是具体性：在使用自我参考的抽象问题时，在完全指定的世界中看到一个具体的决策问题（“游戏”）往往非常有用，直接展示正在考虑的障碍。BotWorld使得更容易可视化这些障碍。
相反，BotWorld还可以更轻松地可视化建议的代理体系结构，这反过来使其更容易可视化潜在问题并探测边缘情况的架构。
最后，Botworld是一种用于沟通的工具。我们希望Botworld将帮助别人通过为他们提供一种具体的方式来帮助别人了解自我修改代理的不同形式主义来可视化所实施的这些架构。此外，Botworld通过实施障碍物出现的障碍物，为我们提供了一种具体的方法来说明各种障碍。
BotWorld帮助我们更深入地了解自我修改代理的不同形式主义和他们所面临的障碍。我们希望Botworld将帮助他人更具体地说出这些问题。
