Planning with Problems Requiring Temporal Coordination
Abstract
We present the first planner capable of reasoning with both the full semantics of PDDL2.1 (level 3) temporal planning and with numeric resources. Our planner, CRIKEY3, employs heuristic forward search, using the start-and-end semantics of PDDL2.1 to manage temporal actions. The planning phase is interleaved with a scheduling phase, using a Simple Temporal Network, in order to ensure that temporal constraints are met. To guide search, we introduce a new temporal variant of the Relaxed Planning Graph heuristic that is capable of reasoning with the features of this class of domains, along with the Timed Initial Literals of PDDL2.2. CRIKEY3 extends the state-of-the-art in handling the full temporal expressive power of PDDL2.1, including numeric temporal domains. 1
Cite
Text
Coles et al. "Planning with Problems Requiring Temporal Coordination." AAAI Conference on Artificial Intelligence, 2008.Markdown
[Coles et al. "Planning with Problems Requiring Temporal Coordination." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/coles2008aaai-planning/)BibTeX
@inproceedings{coles2008aaai-planning,
title = {{Planning with Problems Requiring Temporal Coordination}},
author = {Coles, Andrew and Fox, Maria and Long, Derek and Smith, Amanda},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2008},
pages = {892-897},
url = {https://mlanthology.org/aaai/2008/coles2008aaai-planning/}
}