scientific article; zbMATH DE number 1110849

MaRDI QIDQ4375212zbMATH OpenFDO

Authors Michael Contzen

Publication date 28 January 1998

zbMATH Keywords

planningproblem solving

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30)

Review text

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.

Recommendations

• Intelligent planning. A decomposition and abstraction based approach
• scientific article; zbMATH DE number 49438
• Hierarchical planning using abstraction
• Publication:3493291
• scientific article; zbMATH DE number 1322824

Cited in

(9)

• Understanding planning tasks. Domain complexity and heuristic decomposition
• scientific article; zbMATH DE number 4164177 (Why is no real title available?)
• scientific article; zbMATH DE number 4166911 (Why is no real title available?)
• Abstract reasoning for planning and coordination
• scientific article; zbMATH DE number 4005969 (Why is no real title available?)
• scientific article; zbMATH DE number 49438 (Why is no real title available?)
• Intelligent planning. A decomposition and abstraction based approach
• scientific article; zbMATH DE number 1753149 (Why is no real title available?)
• Hierarchical decompositions and termination analysis for generalized planning

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4375212)