Generic types as design patterns for planning domain specifications

In this paper we investigate the use of ‘Generic Types’ as design patterns to assist in the specification of planning domains. Current planning technology uses induced patterns discovered in a domain specification to speed up plan creation. We argue that such generic types can also be used to help a domain author to develop a design for a domain at specification time using concepts at a much higher level of abstraction than is normally provided by domain specification languages.