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

7
Konzeptbeschreibungssprachen
In diesem Kapitel behandeln wir Ansätze zur Wissensrepräsentation und Wissensverarbeitung.
Der Schwerpunkt liegt dabei auf sogenannten Beschreibungslogiken (Description
Logics). Diese haben insbesondere den Vorteil, dass sie eine eindeutig definierte Semantik
(innerhalb der Prädikatenlogik) besitzen und viele Inferenzmechanismen und -
algorithmen existieren. Zunächst werden wir jedoch kurz auf die historische Entwicklung
eingehen, und vorhergehende Ansätze der Semantischen Netze und sogenannter Frames
betrachten. Im Anschluss beschäftigen wir uns eingehend mit den Beschreibungslogiken.
7.1 Ursprünge
In diesem Abschnitt stellen wir kurz die (älteren) Formalismen der Semantischen Netze
und Frames vor, aus denen (und deren Nachteile) die Beschreibungslogiken entwickelt.
Wir geben hier keinen umfassenden Überblick über diese Ansätze (dafür sei auf entsprechende
Literatur verwiesen), sondern der Abschnitt ist eher als kurzer Einblick zu sehen.
7.1.1 Semantische Netze
Semantische Netze sind ein Formalismus zur Darstellung von Unterbeziehungen und
Enthaltensseinsbeziehungen mittels (gerichteten) Graphen. Dabei sind
Knoten markiert mit Konzepten, Eigenschaften, (tlw. auch Individuen)
Gerichtete Kanten (Links) geben Beziehungen (Relationen) zwischen Konzepten an.
Wesentliche Kanten sind Instanzbeziehungen (IS-A), Unterkonzeptbeziehungen (A-
KIND-OF, AKO), Eigenschaften (Prop), Part-of, connected-to, ...
M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13 Stand: 28. Januar 2013