arXiv AI By Gaspard Quenard, Takudzwa Togarepi, Damien Pellier, Humbert Fiorino

Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding

Read the original on arXiv AI →

The paper introduces a method for numerical Totally-Ordered HTN (TOHTN) planning by extending standard SAT-based encodings with SMT to handle numeric fluents. It also presents a new benchmark suite for evaluating numerical TOHTN planning, providing a common basis for future research. Experimental results demonstrate that this straightforward encoding serves as a competitive baseline for the field.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv AI
Sep 4

Lose the Order, Keep the Hierarchy: Deordering HTN Plans

The paper "Lose the Order, Keep the Hierarchy: Deordering HTN Plans" adapts two classical plan deordering techniques to the Hierarchical Task Network (HTN) planning framework, extending them to respect hierarchical decomposition constraints. The authors evaluate their methods on the IPC 2023 Partial-Order HTN benchmarks and compare them with Optiplan, an HTN planner that generates partially ordered plans directly. Results show a substantial reduction in ordering constraints, with a smaller but noticeable decrease in critical path length.

By Takudzwa Togarepi, Gaspard Quenard, Damien Pellier, Humbert Fiorino