新报告:“因果图中的平铺因子”

今天我们发布了内特·苏亚雷斯的新技术报告，因果图中的平铺因子”。

报告开始:

Fallenstein和Soares[2014]证明，某些类型的基于证明的代理可以在代理可以证明一些基本属性的环境中“瓦”(许可构建类似于自己的后续代理，同时避免Gödelian对角化问题)。在本技术报告中，我们通过类似的证明说明因果图(具有特定的结构)就是这样一个环境。我们将Fallenstein和Soares[2014]给出的证明翻译成因果图的语言，我们这样做的方式是为了简化可以构建一个平铺改进器的条件。