I don't know prolog's "functors". But, I agree that the approach is fundamentally limited, because it is restricted to finite domains.
-Abram Demski On Tue, Sep 23, 2008 at 9:20 AM, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote: >> 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/?&; > Powered by Listbox: http://www.listbox.com > ------------------------------------------- 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
