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.

Vladimir_Nesov comments on What we're losing - Less Wrong Discussion

52 Post author: PhilGoetz 15 May 2011 03:34AM

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

Comments (77)

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

Comment author: Vladimir_Nesov 17 May 2011 11:39:25AM *  0 points [-]

Because it's awfully trivial and it's not easy to locate all the pieces of motivation and application that would make anyone enthusiastic about this. Like the fact that action and utility are arbitrary mathematical structures in ADT and not just integer outputs of programs.

Comment author: cousin_it 17 May 2011 11:43:08AM 1 point [-]

Hm, I don't see any trivial way of understanding observational knowledge except by treating it as part of the input-output map as UDT suggests. So if your idea is different, I'm still asking you to write it up.

Comment author: Vladimir_Nesov 17 May 2011 01:23:46PM *  0 points [-]

In one sentence: Agent sees the world from within a logical theory in which observations are nonlogical symbols. I'll of course try to write this up in time.