Neuer Lifted Successor Generator erweitert numerische Planung

In der Welt der KI‑Planung hat ein neues Verfahren die Grenzen des Möglichen verschoben. Forscher haben einen hochmodernen Lifted Successor Generator, der bisher nur klassische Planungsaufgaben handhabte, um die Handhabung numerischer Vorbedingungen zu ermöglichen. Dadurch können komplexe Aufgaben, die bisher durch exponentielles Wachstum der Aufgabenrepräsentation blockiert wurden, effizienter gelöst werden.

Der Schlüssel liegt in der Erweiterung eines Substitutions‑Konsistenzgraphen. Durch das Auflisten maximaler Cliquen im Graphen erhält man für jede Aktion eine gültige Substitution, die zu einer konkreten, ausgeführten Aktion führt. Die neue Version ergänzt diesen Graphen um numerische Vorbedingungen und beweist, dass der Generator unter klar definierten Bedingungen exakt arbeitet. Sollte die Bedingung nicht erfüllt sein, filtert ein abschließender Prüfschritt nicht anwendbare Aktionen heraus, ohne die Vollständigkeit zu beeinträchtigen.

In 23 von 25 getesteten Benchmark‑Domänen zeigte sich, dass die Methode ohne Fehler funktioniert, und in nur einer Domain traten Ausnahmen auf. Damit ist der Lifted Successor Generator der erste seiner Art, der numerische Vorbedingungen unterstützt – ein bedeutender Fortschritt, der die Forschung an Lifted Planning für einen weitaus reicheren Planungsbereich vorantreibt.