Nick_Tarleton comments on Newcomb's problem happened to me - Less Wrong

37 Post author: Academian 26 March 2010 06:31PM

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

Comments (97)

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

Comment author: Nick_Tarleton 30 March 2010 12:32:04AM *  2 points [-]

CDT on Newcomb's problem would, if possible, precommit to one-boxing as long as Omega's prediction is based on observing the CDT agent after its commitment.

CDT in the marriage case would choose to leave once unhappy, absent specific precommitment.

So that exact mapping doesn't work, but the problem does seem Newcomblike to me (like the transparent-boxes version, actually; which, I now realize, is like Kavka's toxin puzzle without the vagueness of "intent".) (ETA: assuming that Kate can reliably predict Joe, which I now see was the point under dispute to begin with.)

Comment author: JGWeissman 30 March 2010 06:43:54AM 0 points [-]

the problem does seem Newcomblike to me

Would you care to share your reasoning? What is your mapping of strategies, and does it pass my sanity check? (EVT two-boxes on the transparent boxes variation.)

Comment author: Nick_Tarleton 31 March 2010 02:18:05AM *  0 points [-]

one-box <=> stay in marriage when unhappy
two-box <=> leave marriage when unhappy
precommit to one-boxing <=> precommit to staying in marriage

In both this problem and transparent-boxes Newcomb:

  • you don't take the action under discussion (take boxes, leave or not) until you know whether you've won
  • if you would counterfactually take one of the choices if you were to win, you'll lose
  • TDT and UDT win
  • CDT either precommits and wins or doesn't and loses, as described in my previous comment

(I'm assuming that Kate can reliably predict Joe. I didn't initially realize your objection might have more to do with that than the structure of the problem.)

Comment author: Jack 31 March 2010 02:47:05AM *  1 point [-]

CDT either precommits and wins or doesn't and loses, as described in my previous comment

If Jack and Kate were already married it really would make no sense for Jack to not get a divorce just because Kate would have never married him had she suspected he would. CDT wins, here. The fact that CDT tells Jack to precommit now doesn't make it Newcomblike. Precommiting is a rational strategy in lots of games that aren't Newcomb like. The whole point of Newcomb is that even if you haven't precommitted, CDT tells you the wrong thing to do once Omega shows up.

Comment author: Nick_Tarleton 31 March 2010 02:59:50AM 0 points [-]

As I said, I assumed that Kate = Omega.

Comment author: Jack 31 March 2010 03:15:01AM *  0 points [-]

Even if that assumption is fair (since it obviously isn't true I'm not sure why we would make it**) we're still entering the scenario too early. It's like being told Omega is going to offer you the boxes a year before he does. Jack now has the opportunity to precommit, but Omega doesn't give you that chance.

** I'm sure glad my girlfriend isn't a superintelligence that can predict my actions with perfect accuracy! Am I right guys?!

Comment author: Nick_Tarleton 31 March 2010 03:28:02AM *  0 points [-]

Point taken; the similarity is somewhat distant. (I made that assumption to show the problem's broadly Newcomblike structure, since I wrongly read JGWeissman as saying that the problem never had Newcomblike structure. But as you say, there is another, more qualitative difference.)

Comment author: JGWeissman 31 March 2010 02:45:00AM *  0 points [-]

(I'm assuming that Kate can reliably predict Joe. I didn't initially realize your objection might have more to do with that than the structure of the problem.)

Yes, that is where my objection lies.

ETA: And the fact that in Newcomb's problem, there is no opportunity after learning about the problem to precommit, the predictions of your behavior have already been made. So allowing precommitment in the marriage proposal problem sidesteps the problem that would be Newcomb like if Kate were a highly accurate predictor.