从Lawvere到Brandenburger-Keisler：对角化和自指的交互形式
逻辑
2010-06-08 v1 计算机科学与博弈论
摘要
我们分析了认知博弈论中的Brandenburger-Keisler悖论，这是一个“罗素悖论的两人版本”。我们的目标是理解它如何与标准的单人论证相关联，以及论证中使用的“相信-假设”模态为何会出现。我们将其重新表述为一个不动点结果，该结果可以在任何正则范畴中实现，并展示了它如何简化为Lawvere提出的单人对角化论证的关系形式。我们给出了一个组合解释，从而得到了简单的多智能体推广。我们还概述了一种构建假设完备模型的一般方法。
引用
@article{arxiv.1006.0992,
title = {From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference},
author = {Samson Abramsky and Jonathan Zvesper},
journal= {arXiv preprint arXiv:1006.0992},
year = {2010}
}
备注
To appear in the Proceedings of LOFT 2010