CRIKEY - a temporal planner looking at the integration of scheduling and planning

Halsey, K. and Long, D. and Fox, M. (2004) CRIKEY - a temporal planner looking at the integration of scheduling and planning. In: Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03), 2003-06-09 - 2003-06-13. (http://www.cis.strath.ac.uk/research/publications/...)

Full text not available in this repository.Request a copy

Abstract

For many temporal planning domains, the planning and scheduling problems are not tightly coupled and so can be solved separately. However, in some cases, where the problems do interact, this approach will fail. A domain is presented where this is the case. CRIKEY, a planner that separates out the logical and temporal reasoning, is introduced. It detects where they interact and the paper explains both how it detects them and also how, in these cases, CRIKEY solves the problems simultaneously. It will also look at CRIKEY as an architecture that uses a series of relaxations to find a plan. Preliminary results show its potential.