Prolog Cyc或类似知识库项目中的可表达性限制？

在项目或类似项目中，表达能力的限制是什么

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

我还不了解Cyc的语法，但这里有一个例子：

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

（我想它的意思是：家猫就是猫，猫愿意吃肉！）

所以，假设回答这个问题的人完全了解Cyc的语言，我的问题是“什么概念不能用Cyc表达”

例如，这个概念：

“一个人怎么会跌倒这么远，却没有意识到”

是否有任何知识表示语言可以完全表示此语句

---

但我真正的问题是。。。是否有任何知识表示语言，可以表达任何概念。据我所知，目前还没有一个项目（无论是cyc、wordnet、prolog还是其他任何项目）能够代表各种概念。但我对Cyc的了解还不足以肯定这一点。

知识这是一个多方面的主题，我记得有一句古老的格言，就像“要了解一个身体，你需要一个身体来思考”

这意味着我们的许多知识无法用逻辑术语表达，但需要跨学科的方法

如果你想学习自然语言领域的实用知识，你可以学习（即阅读文档、安装和使用）。这是一种“受控英语”，你可以学习一些推理

---

作为一种知识表达媒介，受限语言得到了积极发展，这使得它成为一种非常有趣的技术。

上述说法实际上只是意味着“所有家猫都愿意吃肉”。该变量只是一个变量（不管其名称如何）

至于cycle的表达能力，原则上，几乎任何东西都是可表达的，因为它是一种N阶语言（但在本地很少超过二阶），并且完全可扩展。人们总是可以创造必要的词汇，并用必要的语义“灌输”它，甚至可以表达这样一个问题：“一个人怎么能在没有意识到的情况下跌入如此深渊？”。这就是说，Cyc项目的主要任务是基于这些表示进行推理。为此，一切都是允许的，但并非所有的事情都是有益的。因此，建立一个有足够词汇和规则的知识库来解释公众人物失宠的原因（例如）可能需要一段时间，而且涉及的远不止是表达一个陈述

---

此外，值得注意的是，Cycle旨在作为一种能够表达我们在演讲中使用的概念的语言，但不一定以类似于我们谈论这些概念的方式。因此，“一个人怎么可能在没有意识到的情况下跌倒这么远？”很可能不会在Cycle中以其所有的隐喻性包袱表现出来。人们最有可能使用涉及社会位置（或空间，如果问题是字面意思）的词汇，以及涉及个人对自身社会（空间）状况的意识的词汇。这可以在循环中完成。此外，Cyc可以为此类问题提供令人满意的解释性答案（前提是制定了正确的规则等）。

Attempto值得一看。谢谢它看起来并不完全“可处理”。与数学或其他逻辑陈述不同的是。我错了吗？我一直设想一种可处理的形式语言，只需要几个基本的“元素”，就可以确保一切都是可处理的。这似乎有很多基本元素。进一步看，attempto看起来确实是“可处理的”。那很好。另外，我发现“OWL语义网”项目应该是类似的，但它的语法非常糟糕。