Cyc 中的可表达性有哪些限制?或类似knowledge-base项目。
是否有某些概念无法表达?有没有一个项目可以表达任何概念?
我还不明白 Cyc 的语法,但这里有一个例子:
(forAll ?CAT
(implies
(isa ?CAT DomesticCat)
(eatsWillingly ?CAT Meat)))
(我觉得这句话的意思,就是:家猫就是猫,猫心甘情愿吃肉!)
因此,假设回答这个问题的人完全了解 Cyc 的语言,我向他提出的问题是“哪些概念不能用 cyc 表达”。
例如这个概念:
“一个人怎么会跌落这么远,却没有意识到”。
有没有一种知识表达语言可以完整地表达这个陈述?
但我真正的问题是......是否有任何知识表示语言可以表达任何概念。据我所知,还没有一个项目(无论是 cyc、wordnet、prolog 还是其他任何项目)可以代表每种概念。但我对 Cyc 的了解还不够深,无法肯定地说。
最佳答案
知识是一个多方面的主题,我记得有一句古老的格言,就像“要了解 body ,你需要 body 来推理”。
这意味着我们的很多知识无法用逻辑术语表达,而是需要跨学科的方法。
如果您想接触自然语言领域的实用知识,您可以学习(即阅读文档、安装和使用)Attempto 。这是一种“受控英语”语言,您可以通过一些推理来学习。
作为知识表示媒介而积极开发的受限语言,使其成为一种非常有趣的技术。
关于prolog - Cyc 或类似知识库项目的可表达性有限制吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/9064492/