Lumifer comments on [LINK] David Deutsch on why we don't have AGI yet "Creative Blocks" - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (37)
I don't want to speak for Deutsch, but since I'm sympathetic to his point of view I'll point out that a better way to formulate the issue would be to say that all statistical methods rest on some assumptions and when these assumptions break the methods fail.
Not at all. The key issue isn't the size of the data set, the key issue is stability of the underlying process.
To use the calendar example, you can massively increase your data set by sampling not every day but, say, every second. And yet this will not help you one little bit.
Not really. Things have to computable before the heat death of the universe. Or, less dramatically and more practically, the answer to the question must be received while there is still the need for an answer. This imposes rather serious restrictions on the size and complexity of the data that you can deal with.
Sometimes correctly. And sometimes incorrectly. Brains operate more by heuristics than by statistical methods and the observation that a heurstic can be useful doesn't help you define under which constraints statistical methods will work.
You do realize that people are working on logical uncertainty under limited time, and this could tell an AI how to re-examine its assumptions? I admit that Gaifman at Columbia deals only with a case where we know the possibilities beforehand (at least in the part I read). But if the right answer has a description in the language we're using, then it seems like E.T. Jaynes theoretically addresses this when he recommends having an explicit probability for 'other hypotheses.'
Then again, if this approach didn't come up when the authors of "Tiling Agents" discuss utility maximization, perhaps I'm overestimating the promise of formalized logical uncertainty.