参数化有界勒布定理与有界智能体的鲁棒合作
计算机科学与博弈论
2016-08-25 v5 计算机科学中的逻辑
摘要
勒布定理和哥德尔定理对具有无限计算资源用以编写和评估证明的自指系统的行为做出预测。然而，在现实世界中，能够自指的系统将具有有限的内存和处理速度，因此本文引入勒布定理的一个有效版本，适用于此类有界资源。这些结果对能够编写关于自身及彼此证明的有界智能体的博弈论具有深远影响，包括超越经典纳什均衡和相关均衡的能力，在囚徒困境中达成相互合作的程序均衡。Tennenholtz (2004) 和 Fortnow (2009) 研究的先前合作程序均衡依赖于程序相等性测试这一脆弱条件，而“勒布式”合作则更为鲁棒，且不受对手实现方式的影响。
引用
@article{arxiv.1602.04184,
title = {Parametric Bounded L\"ob's Theorem and Robust Cooperation of Bounded Agents},
author = {Andrew Critch},
journal= {arXiv preprint arXiv:1602.04184},
year = {2016}
}
备注
Corrected typos, added grant acknowledgement, updated citation style to author-year