Sprachmodelle revolutionieren PDDL-Planung: KI erstellt beweisbare Strategien
Forscher haben gezeigt, dass moderne Sprachmodelle (LMs) in der Lage sind, komplexe Planungsaufgaben in der Planning Domain Definition Language (PDDL) zu lösen, indem sie Python‑Programme generieren, die als allgemeine Richtlinien für ganze Domänen dienen. Diese Programme sind nachweislich korrekt, ohne dass externe Prüfer benötigt werden.
