是否有某些无法表达的概念?有没有可以表达任何概念的项目?
我还不明白 Cyc 的语法,但这里有一个例子:
(forAll ?CAT
(implies
(isa ?CAT DomesticCat)
(eatsWillingly ?CAT Meat)))
(我想它的意思是:家猫就是猫,猫心甘情愿地吃肉!)
因此,假设回答这个问题的人完全了解 Cyc 的语言,我对他的问题将是“哪些概念不能用 cyc 表达”。
例如这个概念:
“一个人怎么会跌倒这么远,不知不觉”。
是否有任何知识表示语言可以完全表示这个陈述?
但我真正的问题是......是否有任何知识表示语言可以表达任何概念。据我所知,目前还没有可以代表各种概念的项目(无论是 cyc、wordnet、prolog 还是其他任何东西)。但我对 Cyc 的了解还不够,不能肯定地说。