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…