Maria Fox email@example.com
Derek Long firstname.lastname@example.org
Department of Computer and Information Sciences
University of Strathclyde,
26 Richmond Street, Glasgow, G1 1XH, UK
An advantage of building a mapping from PDDL+ to HA theory is that it forms a bridge between the Planning and Real Time Systems research communities. One consequence is that we can expect to make use of some of the theoretical properties of HAs. For example, for a restricted class of HAs the Reachability problem (which is equivalent to Plan Existence) is decidable.
PDDL+ provides an alternative to the continuous durative action model of PDDL2.1, adding a more flexible and robust model of time-dependent behaviour.