本研究提出了一种新方法，结合PDDL语言和大型语言模型（LLMs），以提高计划问题的效率和准确性。通过验证PDDL模型，成功解决复杂任务。研究表明，GPT-4作为广义规划器表现优异，结合经典规划和LLMs的优势，显著提升了计划速度和执行成功率。AdaPlanner通过闭环反馈自适应改进计划，优于现有算法。

该研究使用PDDL语言构建显式世界模型，并利用预训练的大型语言模型作为PDDL和校验器等纠正反馈的接口，以提高计划问题的效率和准确性。