Artificial Intelligence AI Automated Planning Planning with Resources Propagation Rule Search Strategies
Institute of Information Theories and Applications FOI ITHEA
In this paper RDPPLan, a model for planning with quantitative resources specified as numerical
intervals, is presented. Nearly all existing models of planning with resources require to specify exact values for
updating resources modified by actions execution. In other words these models cannot deal with more
realistic situations in which the resources quantities are not completely known but are bounded by intervals.
The RDPPlan model allow to manage domains more tailored to real world, where preconditions and effects
over quantitative resources can be specified by intervals of values, in addition mixed logical/quantitative and
pure numerical goals can be posed. RDPPlan is based on non directional search over a planning graph, like
DPPlan, from which it derives, it uses propagation rules which have been appropriately extended to the
management of resource intervals. The propagation rules extended with resources must verify invariant
properties over the planning graph which have been proven by the authors and guarantee the correctness of
the approach. An implementation of the RDPPlan model is described with search strategies specifically
developed for interval resources.