Eliezer_Yudkowsky comments on Naive TDT, Bayes nets, and counterfactual mugging - Less Wrong

15 Post author: Stuart_Armstrong 23 October 2012 03:58PM

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

Comments (39)

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

Comment author: Eliezer_Yudkowsky 24 October 2012 09:07:42AM 7 points [-]

In TDT we don't do any severance! Nothing is uncaused, not our decision, nor our decision algorithm either. Trying to do causal severance is a basic root of paradoxes because things are not uncaused in real life. What we do rather is condition on the start state of our program, thereby screening off the universe (not unlawfully severing it), and factor out our uncertainty about the logical output of the program given its input. Since in real life most things we do to the universe should not change this logical fact, nor will observing this logical fact tell us which non-impossible possible world we are living it, it shouldn't give us any news about the nodes above, once we've screened off the algorithm. It does, however, give us logical news about Omega's output, and of course about which boxes we'll end up with.

Comment author: Vaniver 24 October 2012 07:34:41PM 1 point [-]

My reading of this is that you use influence diagrams, not Bayes nets; you think of your decision as influenced by things preceding it, but not as an uncertainty node. Is that a fair reading, or am I missing something?

Comment author: Stuart_Armstrong 24 October 2012 10:02:03AM *  1 point [-]

I stand corrected, and have corrected it.

Comment author: Armok_GoB 24 October 2012 10:33:49PM 0 points [-]

My instant reaction upon hearing this is to try to come up with cases where they DO change that logical fact. Holding of on proposing solutions for now.