4

在Cyc或类似的知识库项目中,可表达性的限制是什么。

是否有某些无法表达的概念?有没有可以表达任何概念的项目?

我还不明白 Cyc 的语法,但这里有一个例子:

 (forAll ?CAT 
  (implies 
    (isa ?CAT DomesticCat) 
    (eatsWillingly ?CAT Meat)))

(我想它的意思是:家猫就是猫,猫心甘情愿地吃肉!)

因此,假设回答这个问题的人完全了解 Cyc 的语言,我对他的问题将是“哪些概念不能用 cyc 表达”。

例如这个概念:

“一个人怎么会跌倒这么远,不知不觉”。

是否有任何知识表示语言可以完全表示这个陈述?

但我真正的问题是......是否有任何知识表示语言可以表达任何概念。据我所知,目前还没有可以代表各种概念的项目(无论是 cyc、wordnet、prolog 还是其他任何东西)。但我对 Cyc 的了解还不够,不能肯定地说。

4

2 回答 2

4

知识是一个多方面的主题,我记得有一句古老的格言,就像“拥有身体的知识,你需要一个身体来推理”。

这意味着我们的很多知识无法用逻辑术语表达,而是需要跨学科的方法。

如果您想在自然语言领域使用一些实用的东西,您可以学习(即阅读文档、安装和使用)Attempto。这是一种“受控英语”语言,您可以通过一些推理机来学习。

受限制的语言作为一种知识表示媒介被积极开发,使其成为一种非常有趣的技术。

于 2012-01-30T14:03:25.563 回答
4

上面的说法实际上只是“所有家猫都愿意吃肉”。该变量只是一个变量(尽管它的名称)。

至于 CycL 的表达能力,原则上,几乎任何东西都是可表达的,因为它是 n 阶语言(但局部很少超过二阶)并且完全可扩展。人们总是可以创造必要的词汇,并用必要的语义“灌输”它,甚至可以表达“一个人怎么会跌倒这么远,却没有意识到?”的问题。也就是说,Cyc 项目的基础是基于这些表示的推理。为此,一切都可能是允许的,但并非一切都是有益的。因此,建立一个包含足够词汇和规则的知识库来推理公众人物失宠(例如)可能需要一段时间,而且涉及的内容远远超过仅仅代表单一陈述。

此外,值得注意的是,CycL 旨在作为一种能够代表我们参与演讲的概念的语言,但不一定以类似于我们谈论它们的方式的方式。所以“一个人怎么会跌倒这么远,却没有意识到呢?” 可能不会在 CycL 中用它所有的隐喻包袱来表示。人们很可能会使用涉及社会地位(或空间,如果问题是字面意思的话)的词汇和涉及个人对自己的社会(空间)情况的认识的词汇。这可以在 CycL 中完成。此外,Cyc 可以为此类问题提供令人满意的解释性答案(前提是制定了正确的规则等)。

于 2012-07-31T14:00:29.567 回答