In classical planning, all objects should be represented as constants explicitly, even though their names could be irrelevant, which produces severe instantiation problems. This is specially problematic in tasks with actions for creating new objects, as it involves to estimate how many potential new objects will be necessary to solvethe task. We propose a new automatic compilation from the classical to a numeric planning model to represent objects with irrelevant names using numerical functions. The compilation reduces the size of the instantiation and avoids the need of estimating the number of future objects in advance. The compiled planning task can be solved several orders of magnitude faster than its equivalent classical model.
展开▼
