Knowledge Formulation for AI Planning

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 mixedinitiative 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. 

• Type: Conference
• Year: 2004
• Where: EKAW
• Authors: T. L. McCluskey, Ron M. Simpson
• Keywords: EKAW 2004, Generic Type Composition, Information Retrieval, Knowledge Formulation, Operator Induction Facility