Vladimir_Nesov comments on Explicit Optimization of Global Strategy (Fixing a Bug in UDT1) - Less Wrong

17 Post author: Wei_Dai 19 February 2010 01:30AM

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

Comments (38)

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

Comment author: Vladimir_Nesov 19 February 2010 02:21:30PM *  0 points [-]

I also agree that preferences are but a way to interpret source code, so that any two source codes might be said to have the same preferences with respect to some preference scheme.

I don't understand what the above means (and so can't readily be in agreement with it). ("Preference scheme"?)

So my comment was assuming that we already have an implicit way of mapping source codes to preference schemes, and that that mapping is not injective.

I expect preference mapping to be "essentially" injective (possibly disregarding only stuff that doesn't play any role in the algorithm, including the way it computes as well as the externally visible behavior). Preference is what the program does, and it's everything that the program does. (But what the program does isn't necessarily preferable according to that same program seen as preference.)

Comment author: Tyrrell_McAllister 23 December 2013 03:06:59AM *  1 point [-]

I don't understand what the above means (and so can't readily be in agreement with it). ("Preference scheme"?)

At this date almost four years later, I'm not exactly sure what I meant, which is a pretty strong indictment of my ability to write clearly.

I think that I meant the following: Take the set of all possible outcomes, partition this set of outcomes into equivalence classes, and then put an order on the resulting set of equivalence classes. The ordered set of equivalence classes is what I was calling a "preference scheme". (... I think.)

ETA: On further thought, I don't think that that's exactly what I meant, but I honestly don't know what I did mean. I'd like to think that I could have explained myself better at the time, but I didn't write enough so that even I-now could reconstruct what that explanation would have been.