Wei_Dai comments on Does Solomonoff always win? - Less Wrong

11 Post author: cousin_it 23 February 2011 08:42PM

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

Comments (55)

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

Comment author: Wei_Dai 26 February 2011 07:39:13PM 2 points [-]

Actually, I think a human can easily win such games. Consider game 1 with Chaitin's Ω as the string to be predicted. A human can use the halting oracle to compute Ω exactly, whereas the Solomonoff prior treats it like a random string and would converge to answering .5 for the probability of the next bit being 1.

But this isn't completely convincing (for the case that Solomonoff isn't sufficient) because perhaps an AI programmed with the Solomonoff prior can do better (or the human worse) if the halting oracle is a natural part of the environment, instead of something they are given special access to.

Comment author: JGWeissman 26 February 2011 07:47:11PM 2 points [-]

whereas the Solomonoff prior treats it like a random string and would converge to answering .5 for the probability of the next bit being 1.

Isn't something like "If you have access to a halting oracle, ask it for Chaitin's Ω" among the computable generators included in the Solomonoff prior? If so, the Solomonoff agent should converge to the correct sequence.

Comment author: Wei_Dai 26 February 2011 07:55:33PM 0 points [-]

No, at least not in the usual formulation of the Solomonoff prior that I'm familiar with.