Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

Eugine_Nier comments on Robust Cooperation in the Prisoner's Dilemma - Less Wrong

69 Post author: orthonormal 07 June 2013 08:30AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (145)

You are viewing a single comment's thread. Show more comments above.

Comment author: Eugine_Nier 09 June 2013 06:30:26AM 0 points [-]

If I were submitting a modal agent, I'd probably use a PrudentBot that uses PA to look for mutual cooperation but PA+N (for some large N) to look for defection against DefectBot.

Or breakout the stronger systems, e.g., ZFC possibly with some inaccessible cardinals thrown in for good measure.

Comment author: orthonormal 09 June 2013 01:51:30PM 1 point [-]

That would be even better in practice, but it wouldn't be expressible in the modal formalism.