Einführung in die Methoden der Künstlichen Intelligenz - Goethe ...

7.3 T-Box und A-Box
Dabei sind Peter, Harry, Maria und Paul Konstanten.
Das hat Ähnlichkeiten mit einer Datenbank in Prolog, bzw. mit Datalog und deduktiven
Datenbanken. Allerdings sind in Konzeptbeschreibungssprachen allgemeinere Konzeptterme
möglich. z.B. ist
(∃hatKind.Person)(Michael)
ebenfalls ein gültiger Eintrag.
Definition 7.3.13 (Semantik der A-Box). Die Semantik I einer A-Box A zur T-Box T erweitert
die Semantik einer T-Box: Sei I eine Interpretation zur T-Box T . Die Interpretation kann auf die
A-Box A erweitert werden durch:
• Jedem Individuennamen a wird ein Objekt I(a) ∈ ∆ zugeordnet. Hierbei wird die sogenannte
unique names assumption beachtet: Verschiedenen Individuennamen werden verschiedenen
Objekte zugeordnet, d.h. I(a) = I(b) gdw. a = b.
• Für C(a) ∈ A, ist I(C(a)) = 1 gdw. I(a) ∈ I(C).
• Für R(a, b) ∈ A ist I(R(a, b)) = 1 gdw. (I(a), I(b)) ∈ I(R) gilt.
7.3.5 T-Box und A-Box: Terminologische Beschreibung
Eine terminologische Beschreibung (oder auch terminologische Datenbank) besteht aus
• Menge von terminologischen Axiomen.
• Mengen von Annahmen über Existenz und Eigenschaft von Objekten (A-Box)
Das kann als Spezialfall eine Kombination von T-Box und A-Box sein.
Beispiel 7.3.14. Ein Beispiel für eine T-Box und eine zugehörige A-Box ist:
T-Box:
Motor ⊑ Komponente
Lampe ⊑ Komponente ⊓ (¬Motor)
Stecker ⊑ Komponente ⊓ (¬Lampe) ⊓ (¬Motor)
Gerät ⊑ (∀hatTeil.Komponente) ⊓ (¬Komponente)
ElektroGerät ≡ Gerät ⊓ (∃hatTeil.Stecker)
A-Box:
Motor(Motor1234)
Komponente(Lichtmaschine320)
hatTeil(Motor1234, Lichtmaschine320)
. . .
Definition 7.3.15. Gegeben eine T-Box T und eine A-Box A.
• Dann ist A konsistent, wenn es Modell I von T gibt, das alle Einträge in der A-Box wahr
macht.
M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13 237 Stand: 31. Januar 2013