TY - CHAP
T1 - Planning using actions with control parameters
AU - Savaş, Emre
AU - Fox, Maria
AU - Long, Derek
AU - Magazzeni, Daniele
PY - 2016
Y1 - 2016
N2 - Although PDDL is an expressive modelling language, a significant limitation is imposed on the structure of actions: the parameters of actions are restricted to values from finite (in fact, explicitly enumerated) domains. There is one exception to this, introduced in PDDL2.1, which is that durative actions may have durations that are chosen (possibly subject to explicit constraints in the action models) by the planner. A motivation for this limitation is that it ensures that the set of grounded actions is finite and, ignoring duration, the branching factor of action choices at a state is therefore finite. Although the duration parameter can make this choice infinite, very few planners support this possibility, but restrict themselves to durative actions with fixed durations. In this paper we motivate a proposed extension to PDDL to allow actions with infinite domain parameters, which we call control parameters. We illustrate reasons for using this modelling feature and then describe a planning approach that can handle domains that exploit it, implemented in a new planner, POPCORN (Partial-Order Planning with Constrained Real Numerics). We show that this approach scales to solve interesting problems.
AB - Although PDDL is an expressive modelling language, a significant limitation is imposed on the structure of actions: the parameters of actions are restricted to values from finite (in fact, explicitly enumerated) domains. There is one exception to this, introduced in PDDL2.1, which is that durative actions may have durations that are chosen (possibly subject to explicit constraints in the action models) by the planner. A motivation for this limitation is that it ensures that the set of grounded actions is finite and, ignoring duration, the branching factor of action choices at a state is therefore finite. Although the duration parameter can make this choice infinite, very few planners support this possibility, but restrict themselves to durative actions with fixed durations. In this paper we motivate a proposed extension to PDDL to allow actions with infinite domain parameters, which we call control parameters. We illustrate reasons for using this modelling feature and then describe a planning approach that can handle domains that exploit it, implemented in a new planner, POPCORN (Partial-Order Planning with Constrained Real Numerics). We show that this approach scales to solve interesting problems.
UR - http://www.scopus.com/inward/record.url?scp=85013082968&partnerID=8YFLogxK
U2 - 10.3233/978-1-61499-672-9-1185
DO - 10.3233/978-1-61499-672-9-1185
M3 - Conference paper
AN - SCOPUS:85013082968
SN - 9781614996712
VL - 285
T3 - Frontiers in Artificial Intelligence and Applications
SP - 1185
EP - 1193
BT - Frontiers in Artificial Intelligence and Applications
PB - IOS Press
T2 - 22nd European Conference on Artificial Intelligence, ECAI 2016
Y2 - 29 August 2016 through 2 September 2016
ER -