Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03573.jsonl.gz/2535

/ Jana Völker
Malte Helmert und Jendrik Seipp mit ICAPS Awards ausgezeichnet
Die Forschungsgruppe Künstliche Intelligenz vom Departement Mathematik und Informatik wurde in diesem Jahr mit zwei ICAPS Awards ausgezeichnet.
Der Award für das einflussreichste Paper ging an Prof. Dr. Malte Helmert und Prof. Dr. Carmel Domshlak. Klassischerweise basierten domänenunabhängige Planungsheuristiken auf einer von vier Ideen: Delete relaxations, critical paths, abstractions und landmarks. In ihrem Paper «Landmarks, Critical Paths and Abstractions: What’s the Difference Anyway?» haben die Forscher neue Verbindungen zwischen bestehenden Planungsheuristiken untersucht und aus der Analyse eine neue Heuristik gewonnen. Diese "Landmark Cut"-Heuristik ist nicht nur von der theoretischen Seite sehr interessant, sondern stellte auch alle vorher vorhandenen Planungstechniken für optimales klassisches Planen in den Schatten. Mit dem Award werden jährlich zwei Papers ausgezeichnet, deren Veröffentlichung mindestens 10 Jahre zurückliegen muss.
Der Award für die beste Dissertation ging an Dr. Jendrik Seipp, der in seiner Dissertation «Counterexample-Guided Cartesian Abstraction Refinement and Saturated Cost Partitioning for Optimal Classical Planning» eine neue Familie zulässiger Heuristiken für das klassische Planen vorstellt. Diese Heuristiken basieren auf kartesischen Abstraktionen, welche durch gegenbeispielgesteuerte Abstraktionsvereinfachungen abgeleitet werden. Es werden verschiedene Methoden eingeführt, um mehrere diversifizierte Abstraktionen zu erstellen, da eine einzige Abstraktion oft nicht genug Informationen für komplexe Planungsaufgaben liefert. Um die Informationen der verschiedenen Abstraktionen zulässig zu kombinieren, stellt Jendrik Seipp einen neuen Algorithmus vor: "Saturated Cost Partitioning". Dieser Algorithmus berücksichtigt alle Heuristiken nacheinander und gibt jeder Abstraktion lediglich den Teil der noch nicht verbrauchten Kosten, der nötig ist, um alle Heuristikwerte unter der verbleibenden Kostenfunktion zu erhalten. Da "Saturated Cost Partitioning"-Heuristiken über Abstraktionsheuristiken sehr informativ und sehr effizient zu berechnen sind, stellen sie den State-of-the-Art im optimalen klassischen Planen dar.
Die offizielle Preisverleihung wird im Zuge der 30. Internationalen Konferenz für automatisierte Planung und Terminierung in Nancy, Frankreich stattfinden. Aufgrund der aktuellen Situation wurde die auf den 26. – 30 Oktober 2020 verschoben.
Bild Nancy, Frankreich auf der Startseite des DMI: descubriendoelmundo @flickr.