Strathprints logo
Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

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

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

[img]
Preview
PDF (strathprints002550.pdf)
Download (193Kb) | Preview

    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.

    Item type: Conference or Workshop Item (Paper)
    ID code: 2550
    Keywords: VAL, plan validation tool, Electronic computers. Computer science
    Subjects: Science > Mathematics > Electronic computers. Computer science
    Department: Faculty of Science > Computer and Information Sciences
    Related URLs:
      Depositing user: Strathprints Administrator
      Date Deposited: 15 Feb 2007
      Last modified: 08 Dec 2013 11:12
      URI: http://strathprints.strath.ac.uk/id/eprint/2550

      Actions (login required)

      View Item

      Fulltext Downloads: