As Lukasz just pointed out, there are two topics: 1. Cyc as an AGI project 2. Cyc as a knowledge base useful for AGI systems.
The grounding problem you raised maybe an issue for 1 (even that depending on what "intelligence" is understood, and Lenat will argue otherwise), but it is much less an issue for 2, because that function, if it exists in the system, is usually not carried out mainly by the knowledge base. There have been many criticisms to Cyc on 1, and I agree with Lukasz that it may be more fruitful to discuss 2, which is also more relevant to the original question of YKY. My own opinion is: Cyc is too close to first-order predicate logic, which is a good formal language/logic for mathematical knowledge, but not for commonsense knowledge, and minor revisions are not enough. A more detailed discussion is in http://nars.wang.googlepages.com/wang.cognitive_mathematical.pdf Pei On Feb 17, 2008 10:02 AM, Russell Wallace <[EMAIL PROTECTED]> wrote: > On Feb 17, 2008 1:49 PM, Vladimir Nesov <[EMAIL PROTECTED]> wrote: > > It might be considered 'grounded' in some sense > > Well, the intent of my statement is this: Maybe somewhere in the Cyc > knowledge base there's the assertion Eat(Cats, Mice) or equivalent, > but if you show Cyc a picture of a cat, a picture of a mouse, then two > candidate successor pictures, one of a mouse stuffed into a cat's > mouth and the other of a cat and a mouse talking philosophy over a > pint of beer, and ask Cyc which is the more likely successor state, it > won't have a clue. That's what I mean by grounded, and it's the reason > Cyc isn't useful. > > > ------------------------------------------- > agi > Archives: http://www.listbox.com/member/archive/303/=now > RSS Feed: http://www.listbox.com/member/archive/rss/303/ > Modify Your Subscription: http://www.listbox.com/member/?&; > Powered by Listbox: http://www.listbox.com > ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=95818715-a78a9b Powered by Listbox: http://www.listbox.com
