Search papers, labs, and topics across Lattice.
This paper introduces SPG-LLM, a novel approach to partial grounding in classical planning that leverages Large Language Models (LLMs) to analyze PDDL domain and problem files. By identifying irrelevant objects, actions, and predicates *before* grounding, SPG-LLM mitigates the exponential growth of grounded instances, a major bottleneck in classical planning. Experiments across seven hard-to-ground benchmarks demonstrate that SPG-LLM achieves faster grounding times, often by orders of magnitude, while maintaining or improving plan quality in certain domains.
LLMs can slash grounding time in classical planning by orders of magnitude, simply by sniffing out irrelevant objects and actions *before* the grounding process even starts.
Grounding is a critical step in classical planning, yet it often becomes a computational bottleneck due to the exponential growth in grounded actions and atoms as task size increases. Recent advances in partial grounding have addressed this challenge by incrementally grounding only the most promising operators, guided by predictive models. However, these approaches primarily rely on relational features or learned embeddings and do not leverage the textual and structural cues present in PDDL descriptions. We propose SPG-LLM, which uses LLMs to analyze the domain and problem files to heuristically identify potentially irrelevant objects, actions, and predicates prior to grounding, significantly reducing the size of the grounded task. Across seven hard-to-ground benchmarks, SPG-LLM achieves faster grounding-often by orders of magnitude-while delivering comparable or better plan costs in some domains.
