Automatic synthesis and use of generic types in planning

Derek Long, Maria Fox

Research output: Contribution to conferencePaper

8 Downloads (Pure)

Abstract

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
Pages196-205
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

Conference

Conference5th International Conference on Artificial Intelligence Planning Systems
Abbreviated titleAIPS 2000
CountryUnited States
CityBreckenridge, CO
Period14/04/0017/04/00

Keywords

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

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

  • Cite this

    Long, D., & Fox, M. (2000). Automatic synthesis and use of generic types in planning. 196-205. Paper presented at 5th International Conference on Artificial Intelligence Planning Systems, Breckenridge, CO, United States.