Corpus ID: 14329044

Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic

@article{Brsz2014RobustCI,
  title={Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic},
  author={Mih{\'a}ly B{\'a}r{\'a}sz and Paul Francis Christiano and Benja Fallenstein and Marcello Herreshoff and Patrick LaVictoire and Eliezer Yudkowsky},
  journal={ArXiv},
  year={2014},
  volume={abs/1401.5577}
}
  • Mihály Bárász, Paul Francis Christiano, +3 authors Eliezer Yudkowsky
  • Published in ArXiv 2014
  • Mathematics, Computer Science
  • We consider the one-shot Prisoner's Dilemma between algorithms with read-access 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. 

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 11 CITATIONS

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 21 REFERENCES

    Provability logic : a short introduction

    VIEW 10 EXCERPTS
    HIGHLY INFLUENTIAL

    Solution of a Problem of Leon Henkin

    • M. H. Lob
    • Mathematics, Computer Science
    • J. Symb. Log.
    • 1955
    VIEW 8 EXCERPTS
    HIGHLY INFLUENTIAL

    A Comparison of Decision Algorithms on Newcomblike Problems

    VIEW 2 EXCERPTS
    HIGHLY INFLUENTIAL

    Good and Real: Demystifying Paradoxes from Physics to Ethics

    VIEW 2 EXCERPTS
    HIGHLY INFLUENTIAL

    The logic of provability

    VIEW 2 EXCERPTS
    HIGHLY INFLUENTIAL

    Cooperation in the Prisoner's Dilemma

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Modeling rational players I

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Program equilibrium—a program reasoning approach

    VIEW 1 EXCERPT

    Hofstadter . Metamagical Themas : Questing for the Essence of Mind and Pattern

    • R Douglas
    • International Journal of Game Theory
    • 2011