Picture of virus under microscope

Research under the microscope...

The Strathprints institutional repository is a digital archive of University of Strathclyde research outputs.

Strathprints serves world leading Open Access research by the University of Strathclyde, including research by the Strathclyde Institute of Pharmacy and Biomedical Sciences (SIPBS), where research centres such as the Industrial Biotechnology Innovation Centre (IBioIC), the Cancer Research UK Formulation Unit, SeaBioTech and the Centre for Biophotonics are based.

Explore SIPBS research

VAL's progress: the automatic validation tool for PDDL2.1 used in the International planning competition

Howey, R. and Long, D. (2003) VAL's progress: the automatic validation tool for PDDL2.1 used in the International planning competition. In: Proceedings of the ICAPS 2003 workshop on "The Competition: Impact, Organization, Evaluation, Benchmarks", 2003-01-01.

Full text not available in this repository. (Request a copy from the Strathclyde author)

Abstract

A key element in the success of the 3rd International Planning Competition was the implementation of an automatic plan validator for PDDL2.1 , VAL. Over 5000 plans were generated by entrants, so it was clearly essential for evaluation of the results alone. VAL was a vital tool in the development process of competitors to develop their planners. This document describes the evolution of VAL to handle more complex types of plans for competitions of the future. In the 3rd IPC the handling of numeric resources was limited in that the values could only be updated discretely. We report on the progress made with extending VAL so that numeric resources can be updated continuously. Also a new reporting option in LATEX has been implemented including a Gantt chart and graphs of the numerical resources - this greatly increases the usefulness of VAL as a tool for the development of planners using PDDL2.1.