prolog - Cyc 或类似知识库项目的可表达性有限制吗？

Question

Cyc 中的可表达性有哪些限制？或类似knowledge-base项目。

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

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

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

(我觉得这句话的意思，就是:家猫就是猫，猫心甘情愿吃肉!)

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

例如这个概念:

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

有没有一种知识表达语言可以完整地表达这个陈述？

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

Answer 1

知识是一个多方面的主题，我记得有一句古老的格言，就像“要了解 body ，你需要 body 来推理”。

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

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

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