--- On Sat, 9/20/08, Ben Goertzel <[EMAIL PROTECTED]> wrote: >If formal reasoning were a solved problem in AI, then we would have >theorem-provers that could prove deep, complex theorems unassisted. We >don't. This indicates that formal reasoning is NOT a solved problem, because >no one has yet gotten "history guided adaptive inference control" to really >work well. Which is IMHO because formal reasoning guidance ultimately >requires the same kind of analogical, contextual commonsense reasoning as >guidance of reasoning about everyday life...
I mean that formal reasoning is solved in the sense of executing algorithms, once we can state the problems in that form. I know that some problems in CS are hard. I think that the intuition that mathematicians use to prove theorems is a language modeling problem. >Also, you did not address my prior point that Hebbian learning at the neural >level is strikingly similar to formal logic... I agree that neural networks can model formal logic. However, I don't think that formal logic is a good way to model neural networks. Language learning consists of learning associations between concepts (possibly time-delayed, enabling prediction) and learning new concepts by clustering in context space. Both of these operations can be done efficiently and in parallel with neural networks. They can't be done efficiently with logic. There is experimental evidence to back up this view. The top two compressors in my large text benchmark use dictionaries in which semantically related words are grouped together and the groups are used as context. In the second place program (paq8hp12any), the grouping was done mostly manually. In the top program (durilca4linux), the grouping was done by clustering in context space. -- Matt Mahoney, [EMAIL PROTECTED] ------------------------------------------- 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
