Contents
The purpose of the translation component is to transform the input planning task, specified in the (first-order) PDDL formalism [38], into a fully instantiated multi-valued representation based on the SAS + formalism [10, 72].
PDDL and multi-valued planning tasks are introduced in Sect. 9.1, followed by an overview of the translation algorithm in Sect. 9.2. Translation is performed in four stages: normalization (Sect. 9.3), invariant synthesis (Sect. 9.4), grounding (Sect. 9.5), and multi-valued planning task generation (Sect. 9.6). The chapter ends with some notes on the performance of the translation component (Sect. 9.7).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Helmert, M. (2008). Translation. In: Understanding Planning Tasks. Lecture Notes in Computer Science(), vol 4929. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77723-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-77723-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77722-9
Online ISBN: 978-3-540-77723-6
eBook Packages: Computer ScienceComputer Science (R0)