ChatHTN：交错的近似(LLM)和符号HTN规划
人工智能
2025-05-20 v1
摘要
我们介绍了ChatHTN，这是一个层次任务网络(HTN)规划器，将符号HTN规划技术与对ChatGPT的查询相结合，以近似形式获得任务分解。生成的层次结构交错了由符号HTN规划生成的任务分解与由ChatGPT生成的任务分解。尽管ChatHTN生成的结果是近似的，但ChatHTN是可证明的健全的；任何它生成的计划正确地实现了输入任务。我们通过开源实现的系统演示了这一属性。
引用
@article{arxiv.2505.11814,
title = {ChatHTN: Interleaving Approximate (LLM) and Symbolic HTN Planning},
author = {Hector Munoz-Avila and David W. Aha and Paola Rizzo},
journal= {arXiv preprint arXiv:2505.11814},
year = {2025}
}
备注
2nd International Conference on Neuro-symbolic Systems (NeuS) 2025