Abstract
This paper describes Baggy - a system which automatically transforms a PDDL representation into a revised PDDL representation, solves the problem using
the revised representation, and transforms the solution back into the original representation. The basic approach involves counting objects that are indistinguishable, rather than treating them as individual objects. This eliminates some unnecessary combinatorial explosion. We report encouraging results on a number of IPC11/14 domains and give algorithm details including soundness proof sketches. We conclude by discussing related work and outlining plans for future research.
the revised representation, and transforms the solution back into the original representation. The basic approach involves counting objects that are indistinguishable, rather than treating them as individual objects. This eliminates some unnecessary combinatorial explosion. We report encouraging results on a number of IPC11/14 domains and give algorithm details including soundness proof sketches. We conclude by discussing related work and outlining plans for future research.
Original language | English |
---|---|
Title of host publication | Proceedings of the 8th Workshop on Heuristics and Search for Domain-independent Planning (HSDIP) |
Subtitle of host publication | The 26th International Conference on Automated Planning and Scheduling |
Editors | J. Benton, Daniel Bryce, Michael Katz, Nir Lipovetzky, Christian Muise, Miquel Ramirez, Alvaro Torralba |
Pages | 28-36 |
Number of pages | 9 |
Publication status | Published - 2016 |
Externally published | Yes |
Event | 26th International Conference on Automated Planning and Scheduling - London, United Kingdom Duration: 12 Jun 2016 → 17 Jun 2016 Conference number: 26 http://icaps16.icaps-conference.org/ (Link to Conference Website) |
Conference
Conference | 26th International Conference on Automated Planning and Scheduling |
---|---|
Abbreviated title | ICAPS 2016 |
Country/Territory | United Kingdom |
City | London |
Period | 12/06/16 → 17/06/16 |
Internet address |
|