Abstract
pddl+ is an expressive planning formalism that enables the modelling of domains having both discrete and continuous dynamics. Recently, two mappings for translating discretised pddl+ problems into a numeric a-temporal task have been proposed. Such translations produce a task of exponential or polynomial size w.r.t. the size of the native task. In this work, starting from the above-mentioned polynomial translation, we introduce a sound but not generally complete variant that has the potential to improve the performance of numeric planning engines. We define the subclass of problems where the variant is safely applicable, and we assess the advantages of such a translation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
We use positive and negative literals to short-cut the assignments \( f = \top \) and \( f = \bot \).
References
Bertolucci, R., Capitanelli, A., Maratea, M., Mastrogiovanni, F., Vallati, M.: Automated planning encodings for the manipulation of articulated objects in 3D with gravity. In: Alviano, M., Greco, G., Scarcello, F. (eds.) AI*IA 2019. LNCS (LNAI), vol. 11946, pp. 135–150. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-35166-3_10
Bonassi, L., Gerevini, A.E., Percassi, F., Scala, E.: On planning with qualitative state-trajectory constraints in PDDL3 by compiling them away. In: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, pp. 46–50 (2021)
Cooper, M.C., Maris, F., Régnier, P.: Compilation of a high-level temporal planning language into PDDL 2.1. In: Twenty-Second IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2010, pp. 181–188 (2010)
Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. 20, 61–124 (2003)
Fox, M., Long, D.: Modelling mixed discrete-continuous domains for planning. J. Artif. Intell. Res. 27, 235–297 (2006)
Grastien, A., Scala, E.: Intelligent belief state sampling for conformant planning. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, pp. 4317–4323 (2017)
Hoffmann, J.: The metric-FF planning system: translating “ignoring delete lists’’ to numeric state variables. J. Artif. Intell. Res. 20, 291–341 (2003)
Keyder, E., Geffner, H.: Soft goals can be compiled away. J. Artif. Intell. Res. 36, 547–556 (2009)
Palacios, H., Geffner, H.: Compiling uncertainty away in conformant planning problems with bounded width. J. Artif. Intell. Res. 35, 623–675 (2009)
Percassi, F., Gerevini, A.E.: On compiling away PDDL3 soft trajectory constraints without using automata. In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, pp. 320–328 (2019)
Percassi, F., Scala, E., Vallati, M.: Translations from discretised PDDL+ to numeric planning. In: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, pp. 252–261 (2021)
Scala, E., Grastien, A.: Non-deterministic conformant planning using a counterexample-guided incremental compilation to classical planning. In: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, pp. 299–307 (2021)
Scala, E., Haslum, P., Thiébaux, S., Ramírez, M.: Interval-based relaxation for general numeric planning. In: Proceedings of the Twenty-Second European Conference on Artificial Intelligence, ECAI 2016, vol. 285, pp. 655–663 (2016)
Taig, R., Brafman, R.I.: Compiling conformant probabilistic planning problems into classical planning. In: Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, pp. 197–205 (2013)
Vallati, M., Magazzeni, D., Schutter, B.D., Chrpa, L., McCluskey, T.L.: Efficient macroscopic urban traffic models for reducing congestion: a PDDL+ planning approach. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI 2016, pp. 3188–3194 (2016)
Acknowledgements
Francesco Percassi and Mauro Vallati were supported by a UKRI Future Leaders Fellowship [grant number MR/T041196/1].
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Percassi, F., Scala, E., Vallati, M. (2022). A Sound (But Incomplete) Polynomial Translation from Discretised PDDL+ to Numeric Planning. In: Bandini, S., Gasparini, F., Mascardi, V., Palmonari, M., Vizzari, G. (eds) AIxIA 2021 – Advances in Artificial Intelligence. AIxIA 2021. Lecture Notes in Computer Science(), vol 13196. Springer, Cham. https://doi.org/10.1007/978-3-031-08421-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-031-08421-8_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-08420-1
Online ISBN: 978-3-031-08421-8
eBook Packages: Computer ScienceComputer Science (R0)