On Tue, Sep 23, 2008 at 9:20 PM, YKY (Yan King Yin) > Sorry, I replied too quickly... > > This paper does contribute to solving FOL inference problems, but it > is still inadequate for AGI because the FOL is required to be > function-free. If you remember programming in Prolog, we often use > functors within predicates. My guess is that commonsense reasoning > would make use of such functors as well.
Well, even when FOL-with-functions can be converted to function-free FOL, the blow-up may be too much for a commonsense KB. YKY ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=114414975-3c8e69 Powered by Listbox: http://www.listbox.com
