Automatic synthesis and use of generic types in planning
Derek Long, Maria Fox · Strathprints: The University of Strathclyde institutional repository (University of Strathclyde) · 2000
Domain-independent planning concentrates on the general algorithmic issues raised in exploring a search space generated in nding sequences of state-transition functions between an initial state and a goal state. It is acknowledged that domain-dependent planning, in which features of specic domains are exploited in this search, oers opportunities for more ecient planning, but at the price of greater eort in the domain-encoding. The work presented in this paper is concerned with giving a domain-independent planner access to certain kinds of domain-specic heuristics without the need for additional domain encoding eort. This is achieved by automatically identifying generic types from strips planning domain descriptions. Generic types are higher order types allowing the categorisation of domains (and components of domains) into domain classes, including the commonly occurring transportation domain class. We show how the generic type structure of domains can begin to ...