Problemzerlegung als optimalitätserhaltende Operatorabstraktion

Zusammenfassung

Abstraktionstechniken im Sinne von Sacerdoti [Sac74], [Sac77] und Wilkins [Wil84], [Wil86] haben eine strukturelle Entsprechung im Zustandsraum. Wir deuten in dieser Arbeit ein in der Praxis erprobtes, anwendungsunabhängiges Zerlegungsprinzip [MäG90] als optimalitätserhaltende Abstraktion der atomaren Operationen. Die Definitions- und Bildbereiche der Operatorabstraktionen werden als Extension von Zuständen gewonnen, deren Klassifikation eine intensionale Beschreibung der Planungsoperatoren für die Abstraktionsstufe erzeugt. Wir sehen die hier vorgestellte Methode als einen Schritt in Richtung eines allgemein tragenden Prinzips zur Akquisition von ”Problemzerlegungswissen” an, das sich über Induktion mit Lerntechniken verbinden läßt.