Validating plans with continuous effects

Richard Howey, Derek Long

Research output: Contribution to conferencePaper

7 Downloads (Pure)

Abstract

A critical element in the use of PDDL2.1, the modelling language developed for the International Planning Competition series, has been the common understanding of the semantics of the language. The fact that this has been implemented in plan validation software was vital to the progress of the competition. However, the validation of plans using actions with continuous effects presents new challenges (that precede the challenges presented by planning with those effects). In this paper we review the need for continuous effects, their semantics and the problems that arise in validation of plans that include them. We report our progress in implementing the semantics in an extended version of the plan validation software.
Original languageEnglish
Number of pages10
Publication statusPublished - 9 Dec 2003
Event22nd Workshop of the UK Planning and Scheduling Special Interest Group - Glasgow, United Kingdom
Duration: 9 Dec 200310 Dec 2003

Workshop

Workshop22nd Workshop of the UK Planning and Scheduling Special Interest Group
Abbreviated titlePLANSIG 2003
CountryUnited Kingdom
CityGlasgow
Period9/12/0310/12/03

Fingerprint

Semantics
Planning
Modeling languages

Keywords

  • continuous effects
  • plan validation software

Cite this

Howey, R., & Long, D. (2003). Validating plans with continuous effects. Paper presented at 22nd Workshop of the UK Planning and Scheduling Special Interest Group, Glasgow, United Kingdom.
Howey, Richard ; Long, Derek. / Validating plans with continuous effects. Paper presented at 22nd Workshop of the UK Planning and Scheduling Special Interest Group, Glasgow, United Kingdom.10 p.
@conference{28855b4ecaad4d619ca031e2503199f4,
title = "Validating plans with continuous effects",
abstract = "A critical element in the use of PDDL2.1, the modelling language developed for the International Planning Competition series, has been the common understanding of the semantics of the language. The fact that this has been implemented in plan validation software was vital to the progress of the competition. However, the validation of plans using actions with continuous effects presents new challenges (that precede the challenges presented by planning with those effects). In this paper we review the need for continuous effects, their semantics and the problems that arise in validation of plans that include them. We report our progress in implementing the semantics in an extended version of the plan validation software.",
keywords = "continuous effects, plan validation software",
author = "Richard Howey and Derek Long",
year = "2003",
month = "12",
day = "9",
language = "English",
note = "22nd Workshop of the UK Planning and Scheduling Special Interest Group, PLANSIG 2003 ; Conference date: 09-12-2003 Through 10-12-2003",

}

Howey, R & Long, D 2003, 'Validating plans with continuous effects' Paper presented at 22nd Workshop of the UK Planning and Scheduling Special Interest Group, Glasgow, United Kingdom, 9/12/03 - 10/12/03, .

Validating plans with continuous effects. / Howey, Richard; Long, Derek.

2003. Paper presented at 22nd Workshop of the UK Planning and Scheduling Special Interest Group, Glasgow, United Kingdom.

Research output: Contribution to conferencePaper

TY - CONF

T1 - Validating plans with continuous effects

AU - Howey, Richard

AU - Long, Derek

PY - 2003/12/9

Y1 - 2003/12/9

N2 - A critical element in the use of PDDL2.1, the modelling language developed for the International Planning Competition series, has been the common understanding of the semantics of the language. The fact that this has been implemented in plan validation software was vital to the progress of the competition. However, the validation of plans using actions with continuous effects presents new challenges (that precede the challenges presented by planning with those effects). In this paper we review the need for continuous effects, their semantics and the problems that arise in validation of plans that include them. We report our progress in implementing the semantics in an extended version of the plan validation software.

AB - A critical element in the use of PDDL2.1, the modelling language developed for the International Planning Competition series, has been the common understanding of the semantics of the language. The fact that this has been implemented in plan validation software was vital to the progress of the competition. However, the validation of plans using actions with continuous effects presents new challenges (that precede the challenges presented by planning with those effects). In this paper we review the need for continuous effects, their semantics and the problems that arise in validation of plans that include them. We report our progress in implementing the semantics in an extended version of the plan validation software.

KW - continuous effects

KW - plan validation software

M3 - Paper

ER -

Howey R, Long D. Validating plans with continuous effects. 2003. Paper presented at 22nd Workshop of the UK Planning and Scheduling Special Interest Group, Glasgow, United Kingdom.