Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Automatic synthesis and use of generic types in planning

Long, D. and Fox, M. (2000) Automatic synthesis and use of generic types in planning. In: Proceedings of AIPS 2000, 2000-04-14 - 2000-04-17, Breckenridge, USA.

[img]
Preview
PDF (strathprints001940.pdf)
Download (238Kb) | Preview

    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.

    Item type: Conference or Workshop Item (Paper)
    ID code: 1940
    Keywords: planning systems, generic types, domains, artificial intelligence, computer science, Electronic computers. Computer science
    Subjects: Science > Mathematics > Electronic computers. Computer science
    Department: Faculty of Science > Computer and Information Sciences
    Related URLs:
      Depositing user: Strathprints Administrator
      Date Deposited: 30 Oct 2006
      Last modified: 06 Oct 2012 01:04
      URI: http://strathprints.strath.ac.uk/id/eprint/1940

      Actions (login required)

      View Item

      Fulltext Downloads: