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

7.3 T-Box und A-Box
wobei a i Individuennamen sind. Die Semantik ist fixiert so dass I({a 1 , . . . , a n }) =
{I(a 1 ), . . . , I(a n )} gilt.
Damit kann man z.B. das Konzept Grundfarben ≡ {rot, blau, gelb} definieren.
Man kann den Effekt allerdings auch kodieren, wenn man ⊓, ⊔, ¬ in der Beschreibungssprache
hat.
7.3.7 Open-World und Closed-World Semantik
Im Gegensatz zu Datenbanken bei denen die Closed-World-Semantik angenommen wird,
die eine eindeutige Semantik bei Datenbanken garantiert, benutzt man bei A-Boxen der
Beschreibungssprachen die Open-World-Semantik. D.h., man geht davon aus, dass man
unvollständiges Wissen hat. Der Schlussfolgerungsmechanismus wird somit fehlende
Einträge nicht als negative Einträge werten. Da die Logik nicht auf Hornklauseln beruht,
ist das auch die bessere Wahl, denn CWA + nicht-Hornklauseln können zu Inkonsistenzen
führen.
In der Open-World Semantik kann man neue Fakten hinzufüge, ohne dass alte Schlüsse
ungültig werden; d.h. Schlussfolgern ist monoton.
Den Unterschied kann man sich klarmachen am Beispiel: hatKind(Maria, Peter). Wenn
das der einzige Eintrag in einer Datenbank ist, dann hat Peter keine Geschwister. Wenn
es der einzige Eintrag in einer A-Box ist, dann ist es durchaus möglich, dass Peter noch
weitere Geschwister hat, nur hat die A-Box darüber keine Information. Man kann aber
mit der Angabe (≤ 1 hatKind)(Maria) in der A-Box die Information eintragen, dass es
keine Geschwister gibt.
Beispiel 7.3.17. Dieses Beispiel dient der Illustration des Verhaltens der Inferenzen durch die
Open-World-Annahme.
Eine A-Box A oed zum Problem des Ödipus:
hatKind(Iokaste, Ödipus)
hatKind(Ödipus, Polyneikes)
Vatermörder(Ödipus)
hatKind(Iokaste, Polyneikes)
hatKind(Polyneikes, Thersandros)
¬Vatermörder(Thersandros)
M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13 239 Stand: 31. Januar 2013