Abstract
AI planning engines require detailed specifications of dynamic knowledge of the domain in which they are to operate, before they can function. Further, they require domain-specific heuristics before they can function efficiently. The problem of formulating domain models containing dynamic knowledge regarding actions is a barrier to the widespread uptake of AI planning, because of the difficulty in acquiring and maintaining them. Here we postulate a method which inputs a partial domain model (one without knowledge of domain actions) and training solution sequences to planning tasks, and outputs the full domain model, including heuristics that can be used to make plan generation more efficient.
To do this we extend GIPO’s Opmaker system [1] so that it can induce representations of actions from training sequences without intermediate state information and without requiring large numbers of examples. This method shows the potential for considerably reducing the burden of knowledge engineering, in that it would be possible to embed the method into an autonomous program (agent) which is required to do planning. We illustrate the algorithm as part of an overall method to acquire a planning domain model, and detail results that show the efficacy of the induced model.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Simpson, R.M., Kitchin, D.E., McCluskey, T.L.: Planning Domain Definition Using GIPO. Journal of Knowledge Engineering 1 (2007)
McCluskey, T.L., Richardson, N.E., Simpson, R.M.: An Interactive Method for Inducing Operator Descriptions. In: The Sixth International Conference on Artificial Intelligence Planning Systems (2002)
McCluskey, T.L., Porteous, J.M.: Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency. Technical Report RR9606, School of Computing and Maths, University of Huddersfield (1996)
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)
Liu, D., McCluskey, T.L.: The OCL Language Manual, Version 1.2. Technical report, Department of Computing and Mathematical Sciences, University of Huddersfield (2000)
Chien, S.A. (ed.): 1st NASA Workshop on Planning and Scheduling in Space Applications. NASA, Oxnard, CA (1997)
Russell, S.J.: Execution architectures and compilation. In: Proc. IJCAI (1989)
McCluskey, T.L., Liu, D., Simpson, R.M.: GIPO II: HTN Planning in a Tool-supported Knowledge Engineering Environment. In: Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (2003)
Hoffmann, J.: A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm. In: Proceedings of the 14th Workshop on Planning and Configuration - New Results in Planning, Scheduling and Design (2000)
Richardson, N.E.: An Operator Induction Tool Supporting Knowledge Engineering in Planning. PhD thesis, School of Computing and Engineering, University of Huddersfield, UK (2008)
Vere, S.: In Pattern Directed Inference Systems. Academic Press, New York (1978)
Wang, X.: Learning Planning Operators by Observation and Practice. PhD thesis, Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsberg, PA 15213 (1996)
Grant, T.J.: Inductive Learning of Knowledge-Based Planning Operators. PhD thesis, de Rijksuniversiteit Limburg te Maastricht, Netherlands (1996)
Benson, S.S.: Learning Action Models for Reactive Autonomous Agents. PhD thesis, Dept. of Computer Science, Stanford University (1996)
Wu, K., Yang, Q., Jiang, Y.: Arms: Action-relation modelling system for learning acquisition models. In: Proceedings of the First International Competition on Knowledge Engineering for AI Planning, Monterey, California, USA (2005)
Yang, Q., Pan, R., Pan, S.J.: Learning recursive htn-method structures for planning. In: Proceedings of the ICAPS 2007 Workshop on Artificial Intelligence Planning and Learning (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
McCluskey, T.L., Cresswell, S.N., Richardson, N.E., West, M.M. (2010). Action Knowledge Acquisition with Opmaker2. In: Filipe, J., Fred, A., Sharp, B. (eds) Agents and Artificial Intelligence. ICAART 2009. Communications in Computer and Information Science, vol 67. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11819-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-11819-7_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11818-0
Online ISBN: 978-3-642-11819-7
eBook Packages: Computer ScienceComputer Science (R0)