Vladimir_Nesov comments on Discussion for Eliezer Yudkowsky's paper: Timeless Decision Theory - Less Wrong

10 Post author: Alexei 06 January 2011 12:28AM

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

Comments (61)

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

Comment author: Vladimir_Nesov 06 January 2011 04:00:43PM 1 point [-]

If the Predictor breaks sometimes, in a way dependent on the algorithm used, not on the decision made, then that's not decision-determined.

Yes, that's the mantra. But how do you unpack "dependent" and "breaks"? Dependent with respect to what alternatives (and how to think of those alternatives)? More importantly, how can you decide that something dependent on one thing doesn't depend on some other thing (while some uncertainty remains)?

As far as I can tell, all this dependence business has to be about resolution of logical uncertainty. You work with concepts, say A and B, that define the subject matter without giving you full understanding of their meaning, implications of the definitions. A depends on B when assuming an additional fact about B allows to infer something about A. By controlling B, you control A, and similarly if you find a C that controls B, you can control A through controlling C. All throughout, nothing is actually changed, the concepts are fixed.

If you know that A depends on B, and there's also some C, then unless assuming full knowledge of B allows you to obtain full knowledge of A, you won't be able to conclude that A is truly independent on C (screened off by B). If you are merely unable to see how knowing C can allow learning more about A, doesn't prohibit the possibility of figuring out a way later, and that would mean that C controls A after all.

So we can talk about action-determined outcomes and decision-determined outcomes, where the concepts of an action, or of a decision, are in known dependence with an outcome. But arguing that the outcome doesn't depend on given other concept is much more difficult, and more of impossible if you are dealing with sufficiently complicated uncertainty.

Comment author: Manfred 06 January 2011 10:45:29PM 0 points [-]

Decision-determined was used in the manuscript to mean completely determined (up to a probability distribution) by "decision-type," and ditto action-determined was used to mean completely determined up to a probability distribution by actions in a causal way. So it's simple to show that something isn't decision-determined, in the sense used; you only need one exception, one case where it depends on the algorithm and not just the decision.