arXiv Artificial Intelligence

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

7 days ago 04.09.2026 07:00 👁 2 views
Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding

Quick summary

arXiv:2609.03938v1 Announce Type: new Abstract: While HTN planning has received significant attention in recent years, support for numerical reasoning remains very limited. In this paper, we investigate numerical Totally-Ordered HTN (TOHTN) planning and show how standard SAT-based encodings can be naturally extended with SMT to handle numeric fluents. In addition, we introduce a benchmark suite for numerical TOHTN planning, providing a first common basis for evaluation in this setting. Experimental results show that this simple encoding already constitutes a competitive baseline. This work ope

Key takeaways

  • arXiv:2609.03938v1 Announce Type: new Abstract: While HTN planning has received significant attention in recent years, support for numerical reasoning remains very limited.
  • In this paper, we investigate numerical Totally-Ordered HTN (TOHTN) planning and show how standard SAT-based encodings can be naturally extended with SMT to handle numeric fluents.
  • In addition, we introduce a benchmark suite for numerical TOHTN planning, providing a first common basis for evaluation in this setting.

Why it matters

The value of this work lies as much in how it was tested as in the claim itself. Sample design, baselines, uncertainty and replication help separate a laboratory result from real-world impact.

Kaynak sitede devamını oku: arXiv Artificial Intelligence ↗