Aurini comments on Harry Potter and the Methods of Rationality discussion thread, part 2 - Less Wrong

13 Post author: dclayh 01 August 2010 10:58PM

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

Comments (696)

You are viewing a single comment's thread.

Comment author: Aurini 02 August 2010 04:18:47AM *  5 points [-]

Eliezer's Timeless Decision Theory solution to The Prisoner's Dilemma is compelling.

It's something I've thought about for a long time. There must be some solution to the bloody thing - my gut instinct tells me to cooperate, even when dealing with a paperclip maximizer, but all of my justifications wind up being little more than mathy ways of saying 'Honor'. And to be perfectly frank, I'm not convinced that the story's solution is much more than that either. Just replace "acts honorably" with "holds true to TDT".

That said, I do hold myself to TDT, because to do otherwise would be dishonorable (honor being a part of my utility function)... but here I'm seeing a chicken-and-egg problem. Is 'honor' simply a manifestation of TDT?

I'm presuming that many of you have some thoughts on the matter, so I'm leaving my half-formed ideas here for comment.

Who'd've thunk they'd ever read a Harry Potter fanfic and enjoy it?

Comment author: orthonormal 02 August 2010 04:37:33AM *  3 points [-]

Well, it doesn't actually add up to honor. If you're in a True Prisoner's Dilemma and you predict that the paperclipper will cooperate out of honor, TDT says to defect and reap the benefits. It's only when two TDT agents meet that mutual cooperation is on the table.

(Nitpick: TDT and UDT should cooperate as well. Etc.)

EDIT: This comment is mistaken. If by HonorBot we mean an agent that predicts what the other agent will do, and then cooperates with all cooperators and defects against all defectors, then TDT indeed cooperates with HonorBot. TDT does not cooperate with CooperateBot, though, so TDT is not HonorBot.

Comment author: saturn 02 August 2010 05:41:48AM 0 points [-]

Only if you try to act honorably to the honorable and dishonorably to the dishonorable do you have something like TDT.

Comment author: Alicorn 02 August 2010 06:14:33AM 2 points [-]

And you must do this in a way that makes you appear honorable to others who use the same algorithm.

Comment author: orthonormal 03 August 2010 05:00:39AM 1 point [-]

Reputation effects are one way to change the payoffs so it's no longer a Prisoner's Dilemma. But if this particular interaction is more important than the reputation effects, TDT still defects against an honorable paperclipper who isn't TDT or higher.

Comment author: saturn 03 August 2010 09:23:53AM 2 points [-]

TDT says: I cooperate iff (you will cooperate iff I cooperate).

Honorable says: I cooperate iff you will cooperate.

It seems to me that, although Honorable is suboptimal if it meets an unconditional cooperator, TDT will cooperate with it because it meets the condition that TDT cares about.

Comment author: orthonormal 05 August 2010 10:13:37PM *  0 points [-]

On reflection, your conclusion is obviously right: playing PD against Honorbot is simply playing Newcomb's Dilemma, so TDT cooperates.

I was misled by the recent realization that TDT doesn't actually work out to "I cooperate iff (you will cooperate iff I cooperate)".