No transfer? This paper suggests otherwise: http://www.cs.washington.edu/homes/pedrod/papers/aaai06b.pdf
-Abram Demski On Tue, Sep 23, 2008 at 7:31 AM, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote: > On Tue, Sep 23, 2008 at 6:59 PM, Abram Demski <[EMAIL PROTECTED]> wrote: >> I'm in the process of reading this paper: >> >> http://www.jair.org/papers/paper1410.html >> >> It might answer a couple of your questions. And, it looks like it has >> an interesting proposal about generating heuristics from the problem >> description. The setting is boolean rather than firs-order. It >> discusses the point about resolution being slow in practice. > > First-order theorem proving is very different from propositional, the > techniques do not transfer there. I'd be very delighted if you can > show a paper about a superior algorithm for first-order =) > > 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
