Abstract
The drawback of the STRIPS encoding to support numbers in planning has motivated the extension to PDDL language the PDDL2.1 version to allow numerical state variables. Many planning systems as FF-Metric and SAPA treat numbers in planning, but only resources and time are represented as numbers in their planning problems. In contrast, some real world problems require an enormous numerical representation. Therefore, we present in this paper a new planning framework allowing the application of arithmetic functions for numerical knowledge update. We propose a new action representation to improve numerical conditions and effects, which allow the application of symbolical planning techniques over numerical knowledge. As an application of our planning framework, we show the implementation of a numerical version of the well-known FF planning system able to solve domains containing symbolical and/or numerical knowledge.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. In: Proceedings of the 14th International Joint Conference on AI (IJCAI 1995), pp. 1636–1642 (1995)
Bonet, B., Geffner, H.: Planning as heuristic search. Artificial Intelligence 129, 5–33 (2001)
Do, M.B., Kambhampati, S.: Sapa: A domain-independent heuristic metric temporel planner. In: European Conference on Planning (2001)
Fikes, R.E., Nilsson, N.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)
Fox, M., Long, D.: PDDL2.1: An extention to PDDL for expressing temporal planning domains. In: AIPS (2002)
Haslum, P., Geffner, H.: Heuristic planning with time and resources. In: Proc. IJCAI 2001 Workshop on Planning with Resources (2001) (to appear)
Hoffman, J.: FF: The fast-forward planning system. AI Magazine 22, 57–62 (2001)
Hoffmann, J.: Extending FF to numerical state variables. In: Proceedings of the 15th European Conference on Artificial Intelligence, Lyon, France (2002) (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zalaket, J., Camilleri, G. (2003). State-Based Planning with Numerical Knowledge. In: Palade, V., Howlett, R.J., Jain, L. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2003. Lecture Notes in Computer Science(), vol 2773. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45224-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-45224-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40803-1
Online ISBN: 978-3-540-45224-9
eBook Packages: Springer Book Archive