使用一阶逻辑，知识库中基本，复杂和术语事实之间的差异

Question

我一直在读出色的书 知识代表和推理 罗纳德·布拉克曼（Ronald Brachman）和赫克托·莱维斯（Hector Levesque）。

在第3章“表达知识”的第3.2节“词汇”开始的开始。

在创建KB（知识库）时，最好从域依赖性谓词和功能开始，为KB域的事实提供基础。

在同一部分中，这些事实分为三类：

• 基本事实
• 复杂的事实
• 术语事实

阅读了整章后，我无法完全理解这些类型的事实之间的差异。

有人可以帮助我了解这些概念的差异吗？

Answer 1

在§3.2中，他们区分以下四个语法类别，其中一些示例：

Predicates: Woman, Rich, Beautiful, Bankrupt
Relations: LivesAt, HadAnAffairWith, Loves
Functions: fatherOf, bestFriendOf, ceoOf
Individual constants: maryJones, johnQSmith, tomsHouse

在背景中，它们具有具有身份的一阶逻辑，这意味着它们仅允许量化 个人 变量。在该机械中，在第3.3-5节中，他们介绍了三种类型的事实。

基本事实 是 原子句子 和他们 否定.

这 原子句子 是由以下句子制成的句子：

1. a [谓词] + an [个体]。例如：女人（Maryjones）
2. n- ary [关系] + n [个体] s。例如：爱（Maryjones，Tomshouse）
3. 一个[个人] +“ =” + an [个体]。例如：Maryjones = Marysmith

注意 功能 应用于单个常数也表示个体（例如，玛利亚斯（Maryjones）是个个人），这就是为什么条款（1-3）包含“个体”而不是“个体常数”一词，以便允许表示个人的功能表达式。这 否定 原子句子的定义如下：句子是对原子句子的否定，如果是原子句。

复杂的事实 是 基本事实 在布尔值下关闭 连接剂 和 量词.

这只是一种奇特的说法：（i）基本事实是复杂的事实，（ii）如果φ和ψ是复杂的事实，则€φ，（φ∧ψ），（φ∨ψ），（φ→ψ），（φ→ψ） ）和∀Xφ也是复杂的事实。他们给出了以下示例，表明了p。 34：∀y[rich（y）∧人（y）→爱（y，jane）]（每个有钱人都爱简）。

当心p。 36他们在复杂事实中列出了诸如“简=约翰”之类的句子，表明他们是 不是 基本事实。但是他们是。我怀疑这就是为什么您很难看到类型之间的区别。根据基本事实的定义（请参见上文），诸如“ jane¬= john”之类的句子被认为是基本的，因为它们是 否定 的 原子句子 例如“简=约翰”。

术语事实 是 复杂的事实 在公理上或定义上被视为真实。

对他们来说，一个更好的术语是“定义事实”或“含义假设”（正如鲁道夫·卡纳普所说的那样）。考虑谓词人。如果有人是男人，我们知道，不必看到这个人，他不是女人。在定义上是正确的！我们与术语事实捕获了男人和女人之间的逻辑关系：∀x [man（x）→€woman（x）]。这只是术语事实的一个例子；可以在第36-7页中找到更多。他们很容易理解。

希望这有助于阐明区别。