Standard SAT-based encodings for Totally-Ordered Hierarchical Task Network (TOHTN) planning are extended with Satisfiability Modulo Theories (SMT) to support numerical fluents. The authors also introduce a new benchmark suite specifically for evaluating numerical TOHTN planning performance.
HOW THIS AFFECTS YOU
●
researcherYou can now evaluate HTN planning agents against numerical reasoning tasks using a standardized benchmark.