VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL

Authors:
Richard Howey;Derek Long;Maria Fox
Affiliations:
University of Strathclyde;University of Strathclyde;University of Strathclyde
Venue:
ICTAI '04 Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence
Year:
2004

Citing 0
Cited 11

The role of AI planning as a decision support tool in power substation management

AI Communications
Validating plans in the context of processes and exogenous events

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Modelling mixed discrete-continuous domains for planning

Journal of Artificial Intelligence Research
Tolerance of design faults

Dependable and Historic Computing
Automatic construction of efficient multiple battery usage policies

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
A universal planning system for hybrid domains

Applied Intelligence
Plan-based policies for efficient multiple battery load management

Journal of Artificial Intelligence Research
Planning self-adaption with graph transformations

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Exploring knowledge engineering strategies in designing and modelling a road traffic accident management domain

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Model checking for universal planning in deterministic and non-deterministic domains

AI Communications
Automating the evaluation of planning systems

AI Communications

Quantified Score

Hi-index	0.00

Visualization

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.