On Feb 19, 2008 2:41 PM, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote: > > I think resolution theorem proving provides a way to answer yes/no queries > in a KB. I take it as a starting point, and try to think of ways to speed > it up and to expand its abilities (answering what/where/when/who/how > queries). > Oh my, resolution answers wh-questions as well as decision questions in FOL. You just record the answer substitution. (BTW, Prolog is a "positive resolution".) We need to be more technical here.
------------------------------------------- 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=95818715-a78a9b Powered by Listbox: http://www.listbox.com
