Generating Instance Generators in PDDL Planning
Quick summary
arXiv:2609.06071v1 Announce Type: new Abstract: PDDL, the de-facto standard language in the AI Planning community, is designed to specify planning domains: sets of instances that share the same predicates and action schemas. Yet it does not provide any means to specify the actual instance set, i.e., legality constraints on initial states and goal conditions, as well as possibly domain subset constraints specifying an instance subset we are interested in. One consequence of this is that instance generation has always been ad-hoc, with manually written domain- and subset-specific instance genera
Key takeaways
- arXiv:2609.06071v1 Announce Type: new Abstract: PDDL, the de-facto standard language in the AI Planning community, is designed to specify planning domains: sets of instances that share the same predicates and action schemas.
- Yet it does not provide any means to specify the actual instance set, i.e., legality constraints on initial states and goal conditions, as well as possibly domain subset constraints specifying an instance subset we are interested in.
- One consequence of this is that instance generation has always been ad-hoc, with manually written domain- and subset-specific instance genera
Why it matters
The importance of “Generating Instance Generators in PDDL Planning” will be measured by what changes in practice. User behavior, access conditions, verifiable performance and responsible-use outcomes are the signals worth following.
Member comments