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

K. Halsey, D. Long, M. Fox

Research output: Contribution to conferencePaper

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.
Original languageEnglish
Pages46-52
Number of pages6
Publication statusPublished - Jun 2004
EventProceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03) - Trento, Italy
Duration: 9 Jun 200313 Jun 2003

Conference

ConferenceProceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03)
CityTrento, Italy
Period9/06/0313/06/03

Fingerprint

Scheduling
Planning

Keywords

  • temporal planning
  • planning systems
  • automated planning and scheduling
  • domains

Cite this

Halsey, K., Long, D., & Fox, M. (2004). CRIKEY - a temporal planner looking at the integration of scheduling and planning. 46-52. Paper presented at Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03), Trento, Italy, .
Halsey, K. ; Long, D. ; Fox, M. / CRIKEY - a temporal planner looking at the integration of scheduling and planning. Paper presented at Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03), Trento, Italy, .6 p.
@conference{a01df5d5cb794e89a49a17ac53f41a81,
title = "CRIKEY - a temporal planner looking at the integration of scheduling and planning",
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.",
keywords = "temporal planning, planning systems, automated planning and scheduling, domains",
author = "K. Halsey and D. Long and M. Fox",
year = "2004",
month = "6",
language = "English",
pages = "46--52",
note = "Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03) ; Conference date: 09-06-2003 Through 13-06-2003",

}

Halsey, K, Long, D & Fox, M 2004, 'CRIKEY - a temporal planner looking at the integration of scheduling and planning', Paper presented at Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03), Trento, Italy, 9/06/03 - 13/06/03 pp. 46-52.

CRIKEY - a temporal planner looking at the integration of scheduling and planning. / Halsey, K.; Long, D.; Fox, M.

2004. 46-52 Paper presented at Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03), Trento, Italy, .

Research output: Contribution to conferencePaper

TY - CONF

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

AU - Halsey, K.

AU - Long, D.

AU - Fox, M.

PY - 2004/6

Y1 - 2004/6

N2 - 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.

AB - 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.

KW - temporal planning

KW - planning systems

KW - automated planning and scheduling

KW - domains

UR - http://www.cis.strath.ac.uk/research/publications/papers/strath_cis_publication_78.pdf

M3 - Paper

SP - 46

EP - 52

ER -

Halsey K, Long D, Fox M. CRIKEY - a temporal planner looking at the integration of scheduling and planning. 2004. Paper presented at Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03), Trento, Italy, .