Automated Generation of Consistent PDDL Domains using Large Language Models

Large Language Models can transform natural language domain descriptions into plausible PDDL markup, but ensuring consistency within the generated domains remains challenging. This paper presents a novel concept to significantly improve the quality of LLM-generated PDDL models by performing automated consistency checking during the generation process.