boxpushing

BoxPushing Domain

This domain is described in [Brafman and Zoran, 2014]. There are two different specifications, both following [Kovacs, 2012] notation:

• domain.pddl uses existential quantifiers.
• domain_v2.pddl does not use existential quantifiers.
• domain_injured.pddl is an alternative definition of BoxPushing where an agent gets injured if it pushes a box alone. If it is injured it cannot push a box again. However, if a box is pushed by more than 1 agent at a time, these agents do not get injured. This variation is used in [Shekhar and Brafman, 2018].

The problems folder contains some sample problems. Besides, inside this folder there is a folder called generator containing a Python script for creating new instances.

You can use the generator as follows:

python generate_instance.py <rows> <columns> <agents> <small> <medium> <large>

where

• rows is the number of rows of the grid,
• columns is the number of columns of the grid,
• agents is the number of agents in the grid,
• small is the number of small boxes in the grid,
• medium is the number of medium boxes in the grid, and
• large is the number of large boxes in the grid.

References

• Shekhar, S., and Brafman, R. I. (2018). Forward Search with Interacting Actions. In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018).

• Brafman, R. I., and Zoran, U. (2014). Forward Search with Interacting Actions. In Proceedings of the 2nd ICAPS Distributed and Multi-Agent Planning workshop (ICAPS DMAP-2014).

• Kovacs, D. L. (2012). A Multi-Agent Extension of PDDL 3.1. In Proceedings of the 3rd Workshop on the International Planning Competition (IPC), 19–27.