Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

Robust Cooperation in the Prisoner's Dil...

Barasz, Mihaly...

Free

Share this content

Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic by Barasz, Mihaly ( Author )

Content Provider	Lemonjar Open Access
Publisher	Australian National University
Publication Date	04-08-2023
Summary	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.
ISBN	-
Item Type	Article
File Type	pdf
File Size	29.34 KB
Language	English
Subjects	-
Unlimited	MYR 0.01
Total read	-
URL	http://arxiv.org/abs/1401.5577

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Barasz, Mihaly. Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic. Australian National University. August 04, 2023. Accessed August 14, 2025. https://online.provdatabase.com/cite/10809

APA 7th EditionReferences

Barasz, Mihaly. (2023). Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic. Australian National University. https://online.provdatabase.com/cite/10809

Chicago 17th EditionReferences

Barasz, Mihaly. Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic. Australian National University. 2023. https://online.provdatabase.com/cite/10809

HarvardReferences

Barasz, Mihaly. (2023). Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic. [Online]. Australian National University. Available from: https://online.provdatabase.com/cite/10809. (Accessed 14 August 2025).

Harvard AustraliaReferences

Barasz, Mihaly, 2023, Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic, Australian National University, viewed 14 August 2025, <https://online.provdatabase.com/cite/10809>

MLA 9th EditionWorks Cited

Barasz, Mihaly. Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic. Australian National University, 2023. PROV Database, https://online.provdatabase.com/cite/10809.

Share this eBook