Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic
Abstract
We consider the oneshot Prisoner's Dilemma between algorithms with readaccess to one anothers' source codes, and we use the modal logic of provability to build agents that can achieve mutual cooperation in a manner that is robust, in that cooperation does not require exact equality of the agents' source code, and unexploitable, meaning that such an agent never cooperates when its opponent defects. We construct a general framework for such "modal agents", and study their properties.
 Publication:

arXiv eprints
 Pub Date:
 January 2014
 arXiv:
 arXiv:1401.5577
 Bibcode:
 2014arXiv1401.5577B
 Keywords:

 Computer Science  Computer Science and Game Theory;
 Computer Science  Logic in Computer Science;
 F.4.1
 EPrint:
 18 pages. Updated 2021 to indicate that bounded analogues of these results have yet to be proved