On 6/3/08, Matt Mahoney <[EMAIL PROTECTED]> wrote: > Do you have any insights on how this learning will be done?
That research area is known as ILP (inductive logic programming). It's very powerful in the sense that almost anything (eg, any Prolog program) can be learned that way. But the problem is that the combinatorial explosion is so great that you must use heuristics and biases. So far no one has applied it to large-scale commonsense learning. Some Cyc people have experimented with it recently. > Cyc put a lot of effort into a natural language interface and failed. What > approach will you use that they have not tried? FOL requires a set of > transforms, e.g. > > "All men are mortal" -> "forall X, man(X) -> mortal(X)" (hard) > "Socrates is a man" -> "(man(Socrates)" (hard) > -> "mortal(Socrates)" (easy) > -> "Socrates is mortal" (hard). > > We have known for a long time how to solve the easy parts. The hard parts > are AI-complete. You have to solve AI before you can learn the knowledge > base. Then after you build it, you won't need it. What is the point? We don't need 100% perfect NLP ability to learn the KB. An NL interface that can accept a simple subset of English will do. YKY ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=103754539-40ed26 Powered by Listbox: http://www.listbox.com
