Abstract
Knowledge engineering for automated planning is still in its childhood and there has been little work done on how to model planning problems. The prevailing approach in the academic community is using the PDDL language that originated in planning competitions. In contrast, real applications require more modeling flexibility and different modeling languages were designed in order to allow efficient planning. This paper focuses on the role of a domain modeling formalism as an interface between a domain modeler and a planner.
This work is supported by the Czech Science Foundation under the project No. P103/10/1287.
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
Barreiro, J., Boyce, M., Do, M., Frank, J., Iatauro, M., Kichkaylo, T., Morris, P., Ong, J., Remolina, E., Smith, T., Smith, D.: EUROPA: A Platform for AI Planning, Scheduling, Constraint Programming, and Optimization. In: Proc. of ICKEPS (2012)
Barták, R., Zhou, N.-F.: On Modeling Planning Problems: Experience from the Petrobras Challenge. In: Castro, F., Gelbukh, A., González, M. (eds.) MICAI 2013, Part II. LNCS, vol. 8266, pp. 466–477. Springer, Heidelberg (2013)
Gerevini, A., Long, D.: BNF Description of PDDL 3.0, http://www.cs.yale.edu/homes/dvm/papers/pddl-bnf.pdf
Parkinson, S., Longstaff, A.P.: Increasing The numeric Expressiveness of the Planning Domain Definition Language. In: Workshop of the UK PlanSIG (2012)
Smith, D., Frank, J., Cushing, W.: The ANML Language. In: International Conference on Automated Planning and Schedulling - Poster Session (2008)
Vaquero, T.S., Costa, G., Tonidandel, F., Igreja, H., Silva, J.R., Beck, J.C.: Planning and Scheduling Ship Operations on Petroleum Ports and Platforms. In: Proceedings of the Schedulling and Planning Aplications Workshop (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Vodrážka, J., Barták, R. (2014). On Modeling Formalisms for Automated Planning. In: Agre, G., Hitzler, P., Krisnadhi, A.A., Kuznetsov, S.O. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2014. Lecture Notes in Computer Science(), vol 8722. Springer, Cham. https://doi.org/10.1007/978-3-319-10554-3_28
Download citation
DOI: https://doi.org/10.1007/978-3-319-10554-3_28
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10553-6
Online ISBN: 978-3-319-10554-3
eBook Packages: Computer ScienceComputer Science (R0)