This mapping does not work. Causal Decision Theory would commit (if available) in the marriage proposal problem, but two box in Newcomb's problem. So the mapping does not preserve the relationship between the mapped elements.

This should be a sanity check for any scenario proposed to be equivalent to Newcomb's problem. EDT/TDT/UDT should all do the equivalent of one-boxing, and CDT should do the equivalent of two-boxing.

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.)

-1JGWeissman10yWhy is the parent comment being voted down, and its parent being voted up, when it correctly refutes the parent? Why is the article itself being voted up, when it has been refuted? Are people so impressed by the idea of a real life Newcomb like problem that they don't notice, even when it is pointed out, that the described story is not in fact a Newcomb like problem?
0[anonymous]10yCausal decision theory precommits to one-boxing on Newcomb if it can and if Omega's prediction is based on observation of the CDT agent after its opportunity to precommit.

Newcomb's problem happened to me

by Academian 3 min read26th Mar 201099 comments

41


Okay, maybe not me, but someone I know, and that's what the title would be if he wrote it.  Newcomb's problem and Kavka's toxin puzzle are more than just curiosities relevant to artificial intelligence theory.  Like a lot of thought experiments, they approximately happen.  They illustrate robust issues with causal decision theory that can deeply affect our everyday lives.

Yet somehow it isn't mainstream knowledge that these are more than merely abstract linguistic issues, as evidenced by this comment thread (please no Karma sniping of the comments, they are a valuable record).  Scenarios involving brain scanning, decision simulation, etc., can establish their validy and future relevance, but not that they are already commonplace.  For the record, I want to provide an already-happened, real-life account that captures the Newcomb essence and explicitly describes how.

So let's say my friend is named Joe.  In his account, Joe is very much in love with this girl named Omega… er… Kate, and he wants to get married.  Kate is somewhat traditional, and won't marry him unless he proposes, not only in the sense of explicitly asking her, but also expressing certainty that he will never try to leave her if they do marry

Now, I don't want to make up the ending here.  I want to convey the actual account, in which Joe's beliefs are roughly schematized as follows: 

  1. if he proposes sincerely, she is effectively sure to believe it.
  2. if he proposes insincerely, she will 50% likely believe it.
  3. if she believes his proposal, she will 80% likely say yes.
  4. if she doesn't believe his proposal, she will surely say no, but will not be significantly upset in comparison to the significance of marriage.
  5. if they marry, Joe will 90% likely be happy, and will 10% likely be unhappy.

He roughly values the happy and unhappy outcomes oppositely:

  1. being happily married to Kate:  125 megautilons
  2. being unhapily married to Kate:  -125 megautilons.

So what should he do?  What should this real person have actually done?1  Well, as in Newcomb, these beliefs and utilities present an interesting and quantifiable problem…

  • ExpectedValue(marriage) = 90%·125 - 10%·125 = 100,
  • ExpectedValue(sincere proposal) = 80%·100 = 80,
  • ExpectedValue(insincere proposal) = 50%·80%·100 = 40.

No surprise here, sincere proposal comes out on top.  That's the important thing, not the particular numbers.  In fact, in real life Joe's utility function assigned negative moral value to insincerity, broadening the gap.  But no matter; this did not make him sincere.  The problem is that Joe was a classical causal decision theorist, and he believed that if circumstances changed to render him unhappily married, he would necessarily try to leave her.  Because of this possibility, he could not propose sincerely in the sense she desired.  He could even appease himself by speculating causes2 for how Kate can detect his uncertainty and constrain his options, but that still wouldn't make him sincere

Seeing expected value computations with adjustable probabilities for the problem can really help feel its robustness.  It's not about to disappear.  Certainties can be replaced with 95%'s and it all still works the same.  It's a whole parametrized family of problems, not just one. 

Joe's scenario feels strikingly similar to Newcomb's problem, and in fact it is:  if we change some probabilities to 0 and 1, it's essentially isomorphic: 

  1. If he proposes sincerely, she will say yes.
  2. If he proposes insincerely, she will say no and break up with him forever.
  3. If they marry, he is 90% likely to be happy, and 10% likely to be unhappy.

The analogue of the two boxes are marriage (opaque) and the option of leaving (transparent).  Given marriage, the option of leaving has a small marginal utility of 10%·125 = 12.5 utilons.  So "clearly" he should "just take both"?  The problem is that he can't just take both.  The proposed payout matrix would be:

Joe \ Kate
Say yes
Say no
Propose sincerely
Marriage Nothing significant
Propose insincerely
Marriage + option to leave Nothing significant

The "principal of (weak3) dominance" would say the second row is the better "option", and that therefore "clearly" Joe should propose insincerely.  But in Newcomb some of the outcomes are declared logically impossible.  If he tries to take both boxes, there will be nothing in the marriage box.  The analogue in real life is simply that the four outcomes need not be equally likely

So there you have it.  Newcomb happens.  Newcomb happened.  You might be wondering, what did the real Joe do

In real life, Joe actually recognized the similarity to Newcomb's problem, realizing for the first time that he must become updateless decision agent, and noting his 90% certainty, he self-modified by adopting a moral pre-commitment to never leaving Kate should they marry, proposed to her sincerely, and the rest is history.  No joke!  That's if Joe's account is accurate, mind you.

 


Footnotes:

1 This is not a social commentary, but an illustration that probabilistic Newcomblike scenarios can and do exist.  Although this also does not hinge on whether you believe Joe's account, I have provided it as-is nonetheless. 

2 If you care about causal reasoning, the other half of what's supposed to make Newcomb confusing, then Joe's problem is more like Kavka's (so this post accidentally shows how Kavka and Newcomb are similar).  But the distinction is instrumentally irrelevant:  the point is that he can benefit from decision mechanisms that are evidential and time-invariant, and you don't need "unreasonable certainties" or "paradoxes of causality" for this to come up. 

3 Newcomb involves "strong" dominance, with the second row always strictly better, but that's not essential to this post.  In any case, I could exhibit strong dominance by removing "if they do get married" from Kate's proposal requirement, but I decided against it, favoring instead the actual account of events.

41