Различия между основными, сложными и терминологическими фактами в базе знаний с использованием логики первого порядка

Question

Я читал отличную книгу Представление и рассуждение знаний Рональд Брахман и Гектор Левеск.

В начале раздела 3.2 «Словарь» главы 3 «выражая знания». Они заявляют:

При создании 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. предикат] + [индивидуальный]. Например: женщина (Мэриджонс)
2. n-ary [отношение] + n [индивидуальное] s. Например: Любовь (Мэриджонс, Томшауз)
3. индивидуальный] + "=" + [индивидуально]. Например: MaryJones = marysmith

Обратите внимание, что функции Применяемые к индивидуальным константам также обозначают люди (например, отец (MaryJones) - это какой -то индивидуальный), поэтому положения (1–3) включают слово «индивидуальное», а не «индивидуальная константа», чтобы также допустить функциональные выражения, обозначающие людей. А отрицание атомных предложений определяются следующим образом: предложение - это отрицание атомного предложения, если я атомный предложение.

Сложные факты являются Основные факты закрыт под логином Connectives а также квантификаторы.

Это просто причудливый способ сказать, что: (i) основные факты являются сложными фактами, и (ii) если φ и ψ являются сложными фактами, то НЫ φ, (φ ∧ ψ), (φ ψ), (φ → ψ ) и ∀xφ также являются сложными фактами. Они приводят следующий пример сложного факта на с. 34.

Остерегайтесь этого на с. 36 Они перечисляют такие предложения, как «Джейн � = Джон» среди сложных фактов, предполагая, что они нет Основные факты. Но они. Я подозреваю, почему вам было трудно увидеть разницу между типами. По определению основных фактов (см. Выше), такие предложения, как «Джейн � = Джон» считаются основными, потому что они отрицание из атомные предложения такие как "Джейн = Джон".

Терминологические факты находятся Сложные факты считается аксиоматически или определенно верным.

Лучшим термином для них были бы «факты определения» или «означающие постулаты» (как их называет Рудольф Карнап). Рассмотрим предикат человека. Если кто -то мужчина, мы знаем, не видя этого человека, что он не женщина; Это определенно верно! Мы фиксируем эту логическую связь между предикатами мужчины и женщины с терминологическим фактом: ∀x [Man (x) → Âmomh (x)]. Это только один пример терминологического факта; Больше можно найти на страницах 36–7. Они довольно просты, чтобы понять.

Надеюсь, это поможет прояснить различие.