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

K. Halsey; D. Long; M. Fox

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

K. Halsey
, D. Long
, M. Fox

Computer And Information Sciences

Research output: Contribution to conference › Paper › peer-review

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 language	English
Pages	46-52
Number of pages	6
Publication status	Published - Jun 2004
Event	Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03) - Trento, Italy Duration: 9 Jun 2003 → 13 Jun 2003

Conference

Conference	Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03)
City	Trento, Italy
Period	9/06/03 → 13/06/03

Keywords

temporal planning
planning systems
automated planning and scheduling
domains

Cite this

@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 = jun,

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",

}

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 conference › Paper › peer-review

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

T2 - Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03)

Y2 - 9 June 2003 through 13 June 2003

ER -

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

Abstract

Conference

Keywords

Other files and links

Fingerprint

Cite this