VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL

R. Howey, D. Long, M. Fox

Research output: Contribution to conference › Paper

86 Citations (Scopus)

Abstract

This paper describes aspects of our plan validation tool, VAL. The tool was initially developed to support the 3rd International Planning Competition, but has subsequently been extended in order to exploit its capabilities in plan validation and development. In particular, the tool has been extended to include advanced features of PDDL2.1 which have proved important in mixed-initiative planning in a space operations project. Amongst these features, treatment of continuous effects is the most significant, with important effects on the semantic interpretation of plans. The tool has also been extended to keep abreast of developments in PDDL, providing critical support to participants and organisers of the 4th IPC.
LanguageEnglish
Pages294-301
Number of pages7
Publication statusPublished - 17 Nov 2004
Event16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004) - Florida, USA
Duration: 15 Nov 2004 → 17 Nov 2004

Conference

Conference16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004)
CityFlorida, USA
Period15/11/04 → 17/11/04

Fingerprint

Planning
Semantics

Keywords

  • VAL
  • plan validation tool

Cite this

Howey, R., Long, D., & Fox, M. (2004). VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL. 294-301. Paper presented at 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), Florida, USA, .
Howey, R. ; Long, D. ; Fox, M. / VAL : automatic plan validation, continuous effects and mixed initiative planning using PDDL. Paper presented at 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), Florida, USA, .7 p.
@conference{ee009a3adca64000a8f5637ef2701be9,
title = "VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL",
abstract = "This paper describes aspects of our plan validation tool, VAL. The tool was initially developed to support the 3rd International Planning Competition, but has subsequently been extended in order to exploit its capabilities in plan validation and development. In particular, the tool has been extended to include advanced features of PDDL2.1 which have proved important in mixed-initiative planning in a space operations project. Amongst these features, treatment of continuous effects is the most significant, with important effects on the semantic interpretation of plans. The tool has also been extended to keep abreast of developments in PDDL, providing critical support to participants and organisers of the 4th IPC.",
keywords = "VAL, plan validation tool",
author = "R. Howey and D. Long and M. Fox",
year = "2004",
month = "11",
day = "17",
language = "English",
pages = "294--301",
note = "16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004) ; Conference date: 15-11-2004 Through 17-11-2004",

}

Howey, R, Long, D & Fox, M 2004, 'VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL' Paper presented at 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), Florida, USA, 15/11/04 - 17/11/04, pp. 294-301.

VAL : automatic plan validation, continuous effects and mixed initiative planning using PDDL. / Howey, R.; Long, D.; Fox, M.

2004. 294-301 Paper presented at 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), Florida, USA, .

Research output: Contribution to conference › Paper

TY - CONF

T1 - VAL

T2 - automatic plan validation, continuous effects and mixed initiative planning using PDDL

AU - Howey, R.

AU - Long, D.

AU - Fox, M.

PY - 2004/11/17

Y1 - 2004/11/17

N2 - This paper describes aspects of our plan validation tool, VAL. The tool was initially developed to support the 3rd International Planning Competition, but has subsequently been extended in order to exploit its capabilities in plan validation and development. In particular, the tool has been extended to include advanced features of PDDL2.1 which have proved important in mixed-initiative planning in a space operations project. Amongst these features, treatment of continuous effects is the most significant, with important effects on the semantic interpretation of plans. The tool has also been extended to keep abreast of developments in PDDL, providing critical support to participants and organisers of the 4th IPC.

AB - This paper describes aspects of our plan validation tool, VAL. The tool was initially developed to support the 3rd International Planning Competition, but has subsequently been extended in order to exploit its capabilities in plan validation and development. In particular, the tool has been extended to include advanced features of PDDL2.1 which have proved important in mixed-initiative planning in a space operations project. Amongst these features, treatment of continuous effects is the most significant, with important effects on the semantic interpretation of plans. The tool has also been extended to keep abreast of developments in PDDL, providing critical support to participants and organisers of the 4th IPC.

KW - VAL

KW - plan validation tool

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

M3 - Paper

SP - 294

EP - 301

ER -

Howey R, Long D, Fox M. VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL. 2004. Paper presented at 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), Florida, USA, .

Access to Document