.
FRDCSA | git codebases | INVAL
Homepage

[Project image]
INVAL

Jump to: Project Description

Project Description

The planning Domain Definition Language (PDDL) is a modelling language for expressing AI planning problems, and used as the input language of a large number of general-purpose AI planning systems. The role of a plan validator is to check if a plan (generated by an AI planner or manually written) is valid, according to the domain and problem specification. A validator is a very useful tool for debugging a domain/problem specification, a planner implementation, and indeed the specification of PDDL itself.


This page is part of the FWeb package.
Last updated Sat Oct 26 17:00:23 EDT 2019 .