> On Tue, Sep 23, 2008 at 9:00 PM, Abram Demski <[EMAIL PROTECTED]>
>> No transfer? This paper suggests otherwise: >> >> http://www.cs.washington.edu/homes/pedrod/papers/aaai06b.pdf 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. 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