You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Stuart_Armstrong comments on Versions of AIXI can be arbitrarily stupid - Less Wrong Discussion

15 Post author: Stuart_Armstrong 10 August 2015 01:23PM

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

Article Navigation

Comments (59)
Tags: ai optimality aixi

Comments (59)

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

Comment author: skeptical_lurker 10 August 2015 07:43:55PM *  0 points [-]

See here for approaches that can deal with the AIXI existence issue:

I can't read past the abstract, but I'd find this more reassuring if it didn't require Turing oracles.

It seems that "just pick a random language (eg C++), without adding any specific weirdness" should work to avoid the problem - but we just don't know at this point.

My understanding is that functional languages have properties which would be useful for this sort of thing, but anyway I agree, my instincts are that while this problem might exist, you would only actually run into it if using a language specifically designed to create this problem.

Comment author: Stuart_Armstrong 11 August 2015 11:07:35AM 0 points [-]

I can't read past the abstract, but I'd find this more reassuring if it didn't require Turing oracles.

That's the first step.

my instincts are that while this problem might exist, you would only actually run into it if using a language specifically designed to create this problem.

My instincts agree with your instincts, but that's not a proof... A bit more analysis would be useful.

Comment author: skeptical_lurker 11 August 2015 07:22:48PM 0 points [-]

My instincts agree with your instincts, but that's not a proof... A bit more analysis would be useful.

Rigorous analysis certainly is useful, but I don't think I've studied theoretical compsci at a high enough level to attempt a proof.

Powered by Reddit Powered by Reddit