Unterschiede zwischen grundlegenden, komplexen und terminologischen Fakten in einer Wissensdatenbank unter Verwendung der Logik erster Ordnung

Ich habe das ausgezeichnete Buch Knowledge Representation and Reasoning von Ronald Brachman und Hector Levesque gelesen .

Am Anfang von Abschnitt 3.2 "Wortschatz" von Kapitel 3 "Wissen ausdrücken" heißt es:

Beim Erstellen einer KB (Knowledge Base) empfiehlt es sich, mit den domänenabhängigen Prädikaten und Funktionen zu beginnen, die die Grundlage für die Fakten zur KB-Domäne bilden.

Im selben Abschnitt werden diese Fakten in drei Kategorien unterteilt:

• Grundfakten
• Komplexe Fakten
• Terminologische Fakten

Nachdem ich das gesamte Kapitel gelesen hatte, konnte ich die Unterschiede zwischen diesen Arten von Fakten nicht vollständig verstehen.

Kann mir jemand helfen, die Unterschiede in diesen Konzepten zu verstehen?

In §3.2 unterscheiden sie mit einigen Beispielen zwischen den folgenden vier grammatikalischen Kategorien:

Prädikate: Frau, reich, schön, bankrott
Beziehungen: LivesAt, HadAnAffairWith, Loves
Funktionen: Vater, bester Freund, CEO
Einzelne Konstanten: MaryJones, JohnQSmith, TomsHouse

Im Hintergrund haben sie eine Logik erster Ordnung mit Identität, was bedeutet, dass sie nur über einzelne Variablen quantifizieren können. Innerhalb dieser Maschinerie werden in §§ 3.3–5 die drei Arten von Tatsachen vorgestellt.

Grundlegende Fakten sind die Atomsätze und ihre Negationen .

Die Atomsätze sind diejenigen Sätze, die bestehen aus:

1. ein [Prädikat] + ein [Individuum]. ZB: Frau (MaryJones)
2. eine n-ary [Beziehung] + n [Individuum] s. ZB: Liebt (MaryJones, TomsHouse)
3. ein [Individuum] + "=" + ein [Individuum]. ZB: maryJones = marySmith

Beachten Sie, dass Funktionen, die auf einzelne Konstanten angewendet werden, auch Individuen bezeichnen (z. B. FatherOf (MaryJones) ist ein Individuum). Aus diesem Grund enthalten die Klauseln (1–3) das Wort „Individuum“ anstelle von „Individuelle Konstante“, um auch funktionale Ausdrücke zu ermöglichen Personen bezeichnen. Die Negationen von Atomsätzen sind wie folgt definiert: Ein Satz ¬S ist eine Negation eines Atomsatzes, wenn S ein Atomsatz ist.

Komplexe Fakten sind die grundlegenden Fakten, die unter booleschen Konnektiven und Quantifizierern geschlossen sind .

Das ist nur eine ausgefallene Art zu sagen: (i) grundlegende Tatsachen sind komplexe Tatsachen, und (ii) wenn φ und ψ komplexe Tatsachen sind, dann ¬φ, (φ ∧ ψ), (φ ∨ ψ), (φ → ψ ) und ∀xφ sind ebenfalls komplexe Tatsachen. Sie geben das folgende Beispiel einer komplexen Tatsache auf S. 34: ∀y [Reich (y) ∧ Mann (y) → Liebt (y, Jane)] (jeder Reiche liebt Jane).

Beachten Sie, dass auf p. 36 sie listen Sätze wie "jane ¬ = john" unter komplexen Tatsachen auf, was darauf hindeutet, dass sie keine grundlegenden Tatsachen sind. Aber sie sind. Ich vermute, deshalb fällt es Ihnen schwer, den Unterschied zwischen den Typen zu erkennen. Durch die Definition von grundlegenden Fakten (siehe oben), Sätze wie „jane ¬ = john“ ist Grund betrachtet, weil sie die sind Negationen von atomaren Sätzen wie „jane = john“.

Terminologische Tatsachen sind komplexe Tatsachen , die als axiomatisch oder definitiv wahr angesehen werden.

Ein besserer Begriff für sie wäre "definitive Fakten" oder "Bedeutungspostulate" (wie Rudolf Carnap sie nennt). Betrachten Sie das Prädikat Mann. Wenn jemand ein Mann ist, wissen wir, ohne diese Person sehen zu müssen, dass er keine Frau ist; es ist definitiv wahr! Wir erfassen diese logische Beziehung zwischen Prädikaten Mann und Frau mit der terminologischen Tatsache: ∀x [Mann (x) → Frau (x)]. Das ist nur ein Beispiel für eine terminologische Tatsache; Weitere Informationen finden Sie auf den Seiten 36–7. Sie sind ziemlich einfach zu verstehen.

Ich hoffe, dies hilft, die Unterscheidung zu verdeutlichen.