On Feb 17, 2008 9:42 PM, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote: > > So far I've been using resolution-based FOL, so there's only 1 inference > rule and this is not a big issue. If you're using nonstandard inference > rules, perhaps even approximate ones, I can see that this distinction is > important.
Resolution-based FOL on a huge KB is intractable. Pei ------------------------------------------- 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