No label defined (Q4375212)

Es wird eine Abstraktionsform gefunden, die nicht nur einzelne Gegenstände in den Abstraktionsvorgang einfließen läßt, sondern auch aus solchen Gegenständen, die in einem besonderen Zusammenhang stehen, einen neuen, abstrakten formen kann. Dies wird durch die Verwendung von Abstraktionsschemata in der Abstraktionsfunktion erreicht. In der Vorbedingung eines Abstraktionsoperators können die Eigenschaften mehrerer Objekte überpüft werden. Insbesondere kann die Anwendbarkeit eines Abstraktionsoperators davon abhängig gemacht werden, ob diese Objekte in einer bestimmten Beziehung zueinander stehen. Dann kann der Abstraktionsoperator Objekte entfernen und dafür ein oder mehrere neue, abstraktere Objekte erzeugen. Ein so entstandenes, abstraktes Objekt kann andere, zusätzliche Eigenschaften aufweisen, die keine seiner Komponenten, also keiner der gelöschten Gegenstände besitzt. Der Abstraktionsvorgang kann also dazu benutzt werden, zusätzliche Information zu gewinnen, wie z.B. über die Beziehung von Gegenständen untereinander. So wird eine Abstraktion ohne Informationsverlust ermöglicht, was deutlich wird, wenn man bedenkt, daß ein neues, abstraktes Objekt, neben neuen Eigenschaften, auch alle Eigenschaften und Ausprägungen seiner Komponenten, eventuell umkodiert, übernehmem kann. In diesen beiden Fähigkeiten unterscheidet sich die hier beschriebene Abstraktionsform für Planungssysteme von jeder anderen. Es wird gezeigt, daß die Relaxationsabstraktion (wie die von ABSTRIPS) ein Spezialfall der AB-Funktion ist. Die AB-Funktion besitzt demnach mindestens die Mächtigkeit der Abstraktionsform von ABSTRIPS.