Levesque points out a known serious problem but his solutions are traditional and are known not to work. He touches upon, but doesn't name, the requirement that Understanding Machines must be capable of autonomous Reduction.
In other words, by advocating a "Programming" approach he is advocating that programmers continue to make more refined Models of Language and the World. But this is programming, not AI. An Understanding Machine would make its own Models from nothing but a stream of input data.
Much like a human child in babyhood.
For more, see http://syntience.com/rch.pdf
If you like that, get more at http://syntience.com/links . The videos are important.
Slashdot Mirror
Levesque points out a known serious problem but his solutions are traditional and are known not to work. He touches upon, but doesn't name, the requirement that Understanding Machines must be capable of autonomous Reduction. In other words, by advocating a "Programming" approach he is advocating that programmers continue to make more refined Models of Language and the World. But this is programming, not AI. An Understanding Machine would make its own Models from nothing but a stream of input data. Much like a human child in babyhood. For more, see http://syntience.com/rch.pdf If you like that, get more at http://syntience.com/links . The videos are important.