Abstract:Large language models (LLMs) have demonstrated remarkable zero-shot generalization abilities: state-of-the-art chatbots can provide plausible answers to many common questions that arise in daily life. However, so far, LLMs cannot reliably solve long-horizon planning problems. By contrast, classical planners, once a problem is given in a formatted way, can use efficient search algorithms to quickly identify correct, or even optimal, plans. In an effort to get the best of both worlds, this paper introduces LLM+P, the first framework that incorporates the strengths of classical planners into LLMs. LLM+P takes in a natural language description of a planning problem, then returns a correct (or optimal) plan for solving that problem in natural language. LLM+P does so by first converting the language description into a file written in the planning domain definition language (PDDL), then leveraging classical planners to quickly find a solution, and then translating the found solution back into natural language. Along with LLM+P, we define a diverse set of different benchmark problems taken from common planning scenarios. Via a comprehensive set of experiments on these benchmark problems, we find that LLM+P is able to provide optimal solutions for most problems, while LLMs fail to provide even feasible plans for most problems.\footnote{The code and results are publicly available at <a class="link-external link-https" href="https://github.com/Cranial-XIX/llm-pddl.git" rel="external noopener nofollow">this https URL</a>.

plasp 3: Towards Effective ASP Planning

Modelling Multi-Agent Epistemic Planning in ASP

CNL2ASP: converting controlled natural language sentences into ASP

Task Planning in Robotics: an Empirical Comparison of PDDL-based and ASP-based Systems

CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning

Real-World Planning with PDDL+ and Beyond

Solving Advanced Argumentation Problems with Answer Set Programming

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

Translating PDDL into CSP# - the PAT Approach.

A Paraconsistent ASP-like Language with Tractable Model Generation

NL2Plan: Robust LLM-Driven Planning from Minimal Text Descriptions

TIC: Translate-Infer-Compile for accurate "text to plan" using LLMs and Logical Representations

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report

LLASP: Fine-tuning Large Language Models for Answer Set Programming

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning

Towards Automatic Composition of ASP Programs from Natural Language Specifications

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems

LLM+P: Empowering Large Language Models with Optimal Planning Proficiency

A Temporal Logic Programming Approach to Planning

Parallel Instantiation of ASP Programs: Techniques and Experiments