Darstellung von Aktionen in Vererbungshierarchien

Abstract

Ein Wissensrepräsentationsparadigma, dessen Relevanz sich in den letzten Jahren im- mer stärker herauskristallisiert hat, sind taxonomische Hierarchien, auch ’Klassifika- tionssysteme’ oder ’Vererbungshierarchien’ genannt. Insbesondere finden solche Ta- xonomien in Verbindung mit definitorischen, deklarativen Beschreibungsformen, wie z.B. KL-ΟNE und seinen Derivaten, großes Interesse, aber auch in objekt-orientierten Programmiersystemen wie FLAVORS oder LOOPS und in Frame-Hierarchien wird Klassifikation als grundlegendes Strukturierungsprinzip verwendet. Die Vorteile die- ser Beschreibungsform sind eine effiziente Informationsdarstellung, eine Strukturie- rung der Domäne und effizientere Suchverfahren als bei einer linearen Anordnung der Domänenkonzepte.

Für die Formulierung deklarativer Beschreibungen wurden in den letzten Jahren be- vorzugt KL-ΟNE und seine Derivate eingesetzt, was wesentlich auf die klare Semantik- Definition dieser Sprachen zurückzuführen ist. KL-ΟNE wurde ursprünglich in erster Linie konzipiert zur Beschreibung statischer Strukturen und Zusammenhänge, i.e. der Beschreibung von Objekten durch Angabe ihrer Merkmale und Relationen zwischen ihnen (s. z.B. [Brachman&Schmolze 1984]). Als problematisch erweist sich die Darstel- lung von Konzepten, die dynamischer Natur sind, wie Aktionen, Ereignisse, Prozesse und Zustände.

In diesem Aufsatz werden Grundlagen zur Repräsentation von Aktionen in Abstrakti- onshierarchien vorgestellt, wobei die Darstellung einzelner Aktionen in einer deklarati- ven Beschreibungsform erfolgen soll, die für das System selbst wieder analysierbar ist und somit auch von anderen Systemkomponenten, z.B. Komponenten zur Verarbeitung natürlicher Sprache, genutzt werden kann, die andererseits aber auch ”ausführbar” ist und zur Simulation von Aktionsabläufen, z.B. in der Plangenerierung, eingesetzt wer- den kann.