On Fri, Sep 19, 2008 at 11:46 PM, Matt Mahoney <[EMAIL PROTECTED]> wrote: > So perhaps someone can explain why we need formal knowledge representations > to reason in AI.
Because the biggest open sub problem right now is dealing with procedural, as opposed to merely declarative or reflexive, knowledge. And unless you're trying to duplicate organic brains, procedural knowledge means program code. And reasoning about program code requires formal logic. ------------------------------------------- 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