Abstract
Recent successful applications of AI planning technology have highlighted the knowledge engineering of planning domain models as an important research area. We describe an implemented translation algorithm between two languages used in planning representation: PDDL, a language used for communication of example domains between research groups, and OCL h , a language developed specifically for planning domain modelling. The algorithm is being used as part of OCL h ’s tool support to import models expressed in PDDL to OCL h ’s environment. Here we outline the translation algorithm, and discuss the issues that it uncovers. Although the tool performs reasonably well when its output is measured against hand-crafted OCL h , it results in only partially specified models. Analyis of the translation results shows that this is because many natural assumptions about domains are not captured in the PDDL encodings.
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
A. Tate (editor). Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Initiative. IOS Press, 1996.
Benjamins, Nunes de Barros, Shahar, Tate and Valente (eds). Workshop on Knowledge Engineering and Acquisition for Planning: Bridging Theory and Practice. Proceedings of AIPS, 1998.
AIPS-98 Planning Competition Committee. PDDL-The Planning Domain Definition Language. Technical Report CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control, 1998.
R. E. Fikes and N. J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 2, 1971.
M. Fox and D. Long. The Automatic Inference of State Invariants in TIM. JAIR vol. 9, pages 367–421, 1997.
D. Liu and T.L. McCluskey. The OCL Language Manual, Version 1.2. Technical report, Department of Computing Science, University of Huddersfield, 2000.
T. L. McCluskey, P. Jarvis, and D. E. Kitchin. OCL h: a sound and supportive planning domain modelling language. Technical report, Department of Computer Science, The University of Huddersfield, 1999.
T. L. McCluskey and J. M. Porteous. Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency. Artificial Intelligence, 95:1–65, 1997.
T. L. McCluskey and R.M. Simpson. Adequacy of Planning Domain Descriptions. Technical Report, The University of Huddersfield, 2000.
B. Pell N. Muscettola, P. P. Nayak and B. C. Williams. Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence, 103(1-2):5–48, 1998.
N. J. Nilsson. Principles of Artificial Intelligence. Springer-Verlag, 1982.
PLANET. First Workshop of the PLANET Knowledge Acquistion Technical Coordination Unit. http://helios.hud.ac.uk/planet, 1999.
Planform. An Open Environment for Building Planners. http://helios.hud.ac.uk/planform.
S. Chien (editor). Proceedings, 1st NASA Workshop on Planning and Scheduling in Space Applications. NASA, Oxnard CA, 1997.
A. Tate, B. Drabble, and J. Dalton. O-Plan: a Knowledged-Based Planner and its Application to Logistics. AIAI, University of Edinburgh, 1996.
D. Wilkins. Using the SIPE-2 Planning System: A Manual for SIPE-2, Version5.0. SRI International, Artificial Intelligence Center, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Simpson, R.M., McCluskey, T.L., Liu, D., Kitchin, D. (2000). Knowledge Representation in Planning: A PDDL to OCL h Translation. In: Raś, Z.W., Ohsuga, S. (eds) Foundations of Intelligent Systems. ISMIS 2000. Lecture Notes in Computer Science(), vol 1932. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39963-1_64
Download citation
DOI: https://doi.org/10.1007/3-540-39963-1_64
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41094-2
Online ISBN: 978-3-540-39963-6
eBook Packages: Computer ScienceComputer Science (R0)