Abstract
In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge formulation of planning domains, and in prototyping planning problems within these domains. GIPO features mixed-initiative components such as generic type composition, an operator induction facility, and various plan animation and validation tools. We outline the basis of the main tools, and show how an engineer might use them to formulate a domain model. Throughout the paper we illustrate the formulation process using the Hiking Domain.
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
AIPS 1998 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)
Barish, G., Knoblock, C.A.: Speculative Execution for Information Gathering Plans. In: The Sixth International Conference on Artificial Intelligence Planning Systems (2002)
Benjamins, R., Barros, L., Valente, A.: Constructing Planners through Problem- Solving Methods. In: Gaines, B., Musen, M. (eds.) Proceedings of the Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW 1996) (1996)
Benjamins, V.R., Shadbolt, N.: Preface: Knowledge acquisition for planning. Int. J. Hum.-Comput. Stud. 48, 409–416 (1998)
Biundo, S., Barrajo, D., McCluskey, T.L.: Planning and Scheduling: A Technology for Improving Flexibility in e-Commerce and Electronic Work. In: Proceedings of e2002, The eBusiness and eWork Annual Conference, Prague The Czech Republic (2002)
Blythe, J., Deelman, E., Gil, Y., Kesselman, C., Agarwal, A., Mehta, G., Vahi, K.: The Role of Planning in Grid Computing. In: Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS 2003 (2003)
Fox, M., Long, D.: The Automatic Inference of State Invariants in TIM. JAIR 9, 367–421 (1997)
Fox, M., Long, D.: PDDL2.1: An extension to PDDL for expressing temporal planning domains. In: Technical Report, Dept of Computer Science, University of Durham (2001)
Gil, Y., Blythe, J., Kim, J., Ramachandran, S.: Acquiring Procedural Knowledge in EXPECT. In: Proceedings of the AAAI 2000 Workshop on Representational Issues for Real-World Planning Systems (2000)
Hertzberg, J.: On Building a Planning Tool Box. In: Ghallab, M., Milani, A. (eds.) New Directions in AI Planning, pp. 3–18. IOS Press, Amsterdam (1996)
John, H., Gennari, M.A., Musen, R.W., Fergerson, W.E.: Grosso, Monica Crubzy, Henrik Eriksson, Natalya Fridman Noy, Samson W. Tu. The evolution of Protege: an environment for knowledge-based systems development. Int. J. Hum.-Comput. Stud. 58 (2003)
Knoblock, C., Minton, S., Ambite, J.L., Muslea, M., Oh, J., Frank, M.: Mixed- Initiative, Multi-Source Information Assistants. In: Proceedings of WWW 2001 (2001)
Long, D., Fox, M.: Automatic synthesis and use of generic types in planning. In: Proc. of 5th Conference on Artificial Intelligence Planning Systems (AIPS), pp. 196–205. AAAI Press, Menlo Park (2000)
Long, D., Fox, M.: Planning with generic types. Technical report, Invited talk at IJCAI 2001. Morgan-Kaufmann publication, San Francisco (2001)
McCluskey, T.L.: Object Transition Sequences: A New Form of Abstraction for HTN Planners. In: The Fifth International Conference on Artificial Intelligence Planning Systems (2000)
McCluskey, T.L., Aler, R., Borrajo, D., Garagnani, M., Haslum, P., Jarvis, P., Refanidis, I., Scholz, U.: Knowledge Engineering for Planning Roadmap (2003), http://scom.hud.ac.uk/planet/home
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)
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)
Muscettola, N., Nayak, P.P., Pell, B., Williams, B.C.: Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence 103(1-2), 5–48 (1998)
Myers, K., Wilkins, D.: The Act-Editor User’s Guide: A Manual for Version2.2. SRI International. Artificial Intelligence Center (1997)
Richardson, N.E.: an Operator Induction Tool supporting Knowledge Engineering in Planning. PhD thesis, School of Computing and Mathematics, University of Huddersfield (forthcoming 2004)
Simpson, R.M., McCluskey, T.L.: Plan Authoring with Continuous Effects. In: Proceedings of the 22nd UK Planning and Scheduling Workshop (PLANSIG 2003), Glasgow, Scotland (2003)
Simpson, R.M., McCluskey, T.L., Fox, M., Long, D.: Generic Types as Design Patterns for Planning Domain specifications. In: Proceedings of the AIPS 2002 Workshop on Knowledge Engineering Tools and Techniques for AI Planning (2002)
Tate, A., Polyak, S.T., Jarvis, P.: TF Method: An Initial Framework for Modelling and Analysing Planning Domains. Technical report, University of Edinburgh (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
McCluskey, T.L., Simpson, R.M. (2004). Knowledge Formulation for AI Planning. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds) Engineering Knowledge in the Age of the Semantic Web. EKAW 2004. Lecture Notes in Computer Science(), vol 3257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30202-5_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-30202-5_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23340-4
Online ISBN: 978-3-540-30202-5
eBook Packages: Springer Book Archive