Strathprints logo
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: 5th International Conference on Artificial Intelligence Planning Systems, 2000-04-14 - 2000-04-17, Breckenridge, CO.

[img]
Preview
PDF (strathprints001940.pdf)
strathprints001940.pdf

Download (244kB) | 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
Depositing user: Strathprints Administrator
Date Deposited: 30 Oct 2006
Last modified: 26 Mar 2015 20:58
URI: http://strathprints.strath.ac.uk/id/eprint/1940

Actions (login required)

View Item View Item