新报告:“因果图中的Tiling药剂”

今天我们发布了Nate Soares的一份新技术报告。因果图中的Tiling试剂”。

报告开始:

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