Automatic synthesis and use of generic types in planning

Derek Long, Maria Fox

Research output: Contribution to conferencePaperpeer-review

14 Downloads (Pure)


This work is concerned with the automatic inference of generic types from STRIPS planning domain descriptions. Generic types are higher order types allowing the partition of domains (and components of domains) into different domain classes, including the commonly occurring transportation domains class. We show how the generic type structure of domains can be exploited to increase planner efficiency. We have focussed so far on the generic types of typical of transportation domains, but instead to go on to characterise, and identify examples of, other domain classes such as construction domains. One of the most interesting properties of the work described here is that domains which would not be recognised, by the human, as transportation domains can turn out to have an underlying transportation character which can be exploited by the application of heuristics suited to standard transportation domains. We illustrate this by considering both standard transportation domains (such as Logistics) and non-standard ones (the PaintWall domains presented in this paper). The analyses described here are completely planner-independent and contribute to an increasing collection of pre-planning analysis tools which help to increase performance of planners by decomposing and understanding the structures of planning problems before planners are applied.
Original languageEnglish
Number of pages9
Publication statusPublished - Apr 2000
Event5th International Conference on Artificial Intelligence Planning Systems - Breckenridge, CO, United States
Duration: 14 Apr 200017 Apr 2000


Conference5th International Conference on Artificial Intelligence Planning Systems
Abbreviated titleAIPS 2000
Country/TerritoryUnited States
CityBreckenridge, CO


  • planning systems
  • generic types
  • domains
  • artificial intelligence
  • computer science


Dive into the research topics of 'Automatic synthesis and use of generic types in planning'. Together they form a unique fingerprint.

Cite this