Abstract
This paper describes the conceptual model underlying the Knowledge Engineering Web Interface (KEWI) which primarily aims to be used for modelling planning tasks in a semi-formal framework. This model consists of three layers: a rich ontology, a model of basic actions, and more complex methods. It is this structured conceptual model based on the rich ontology that facilitates knowledge engineering. The focus of this paper is to show how the central knowledge model used in KEWI differs from a model directly encoded in PDDL, the language accepted by most existing planning engines. Specifically, the rich ontology enables a more concise and natural style of representation, including function terms as object references. For operational use, KEWI automatically generates PDDL. Experiments show that the generated PDDL can be processed by a planner without incurring significant drawbacks.
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
Notes
- 1.
See http://projects.laas.fr/planning/ for a full definition of these problems.
References
Ai-Chang, M., Bresina, J.L., Charest, L., Chase, A., jung Hsu, J.C., Jnsson, A.K., Kanefsky, B., Morris, P.H., Rajan, K., Yglesias, J., Chafin, B.G., Dias, W.C., Maldague, P.F.: Mapgen: mixed-initiative planning and scheduling for the mars exploration rover mission. IEEE Intell. Syst. 19, 8–12 (2004)
Leshed, G., Haber, E. M., Matthews, T., Lau, T. A.: Coscripter: automating and sharing how-to knowledge in the enterprise. In: CHI, pp. 1719–1728 (2008)
Wickler, G., Tate, A., Hansberger, J.: Using shared procedural knowledge for virtual collaboration support in emergency response. IEEE Intell. Syst. 28, 9–17 (2013)
Simpson, R., Kitchin, D.E., McCluskey, T.: Planning domain definition using GIPO. Knowl. Eng. Rev. 22, 117–134 (2007)
McCluskey, T. L., Kitchin, D. E.: A tool-supported approach to engineering HTN planning models. In: Proceedings of 10th IEEE International Conference on Tools with Artificial Intelligence (1998)
Vaquero, T.S., Tonaco, R., Costa, G., Tonidandel, F., Silva, J.R., Beck, J.C.: itSIMPLE4.0: Enhancing the modeling experience of planning problems. In: System Demonstration - Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS-12) (2012)
Barreiro, J., Boyce, M., Do, M., Frank, J., Iatauro, M., Kichkaylo, T., Morris, P., Ong, J., Remolina, E., Smith, T.: EUROPA: a platform for AI planning, scheduling, constraint programming, and optimization. In: 4th International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS) (2012)
Smith, D.E., Frank, J., Cushing, W.: The ANML language. In: Proceedings of ICAPS-08 (2008)
Vodrka, J., Chrpa, L.: Visual design of planning domains. In: KEPS 2010: Workshop on Knowledge Engineering for Planning and Scheduling (2010)
Plch, T., Chomut, M., Brom, C., Barták, R.: Inspect, edit and debug PDDL documents: simply and efficiently with PDDL studio. In: ICAPS12 System Demonstration, p. 4 (2012)
Schreiber, G., Akkermans, H., Anjewierden, A., de Hoog, R., Shadbolt, N., de Velde, Wv, Wielinga, B.J.: Knowledge Engineering and Management: The CommonKADS Methodology, 2nd edn. MIT Press, Cambridge (2000)
Ghallab, M., Nau, D., Traverso, P.: Automated Planning. Morgan Kaufmann, San Francisco (2004)
Jonsson, P., Bäckström, C.: State-variable planning under structural restrictions: algorithms and complexity. Artif. Intell. 100, 125–176 (1998)
Currie, K., Tate, A.: O-Plan: the open planning architeture. Artif. Intell. 52, 49–86 (1991)
Acknowledgements
The research was funded by the UK EPSRC Autonomous and Intelligent Systems Programme (grant no. EP/J011991/1). The University of Edinburgh and research sponsors are authorised to reproduce and distribute reprints and online copies for their purposes notwithstanding any copyright annotation hereon.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Wickler, G., Chrpa, L., McCluskey, T.L. (2015). Ontological Support for Modelling Planning Knowledge. In: Fred, A., Dietz, J., Aveiro, D., Liu, K., Filipe, J. (eds) Knowledge Discovery, Knowledge Engineering and Knowledge Management. IC3K 2014. Communications in Computer and Information Science, vol 553. Springer, Cham. https://doi.org/10.1007/978-3-319-25840-9_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-25840-9_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25839-3
Online ISBN: 978-3-319-25840-9
eBook Packages: Computer ScienceComputer Science (R0)