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 回答