今天我们发布了Nate Soares的一份新技术报告。形式化现实世界模型的两个问题“如果你想讨论这篇论文，请讨论吧。在这里．
文摘:
嵌入在现实世界中的智能代理必须推断出一个比其代理更大的环境，并学习如何在该环境中实现目标。我们讨论了形式化两个问题的尝试:一个是归纳，其中一个主体必须使用感知数据来推断一个嵌入(并计算)其主体的宇宙;另一个是交互，其中一个主体必须学会在宇宙中实现复杂的目标。我们回顾了由Solomonoff和Hutter形式化的相关问题，并探讨了在代理嵌入环境中，试图形式化类似问题时所遇到的挑战。
这是六份新的描述和激励的主要报告中的第5份MIRI目前的研究议程金宝博娱乐在高水平上。
