Ground-truth Problem PDDL Generation

[Emma1e]

Hi, May I ask how did you generate the ground-truth Problem PDDL for each task in each domain? Could you provide any scripts?

Thank you!

[haomengz]

@Emma1e I think you could find the generation scripts in each domains folders. For example, for Barman: https://github.com/Cranial-XIX/llm-pddl/blob/main/domains/barman/description_generator.py

[YuqianJiang]

Hi @Emma1e, the domains and the problems are from IPC. Some of the problems were manually adjusted. If you want additional problems in PDDL, I recommend checking out the pddl-generators repo. The corresponding descriptions can be generated using the script @haomengz mentioned above.