PDDL: A Language with a Purpose?. Lee McCluskey Department of Computing and Mathematical Sciences, The University of Huddersfield. Take Home Slide. Generally, language designers must be clear for what PUROSE their language is to be put.
Department of Computing and
The University of Huddersfield
Generally, language designers must be clear for what PUROSE their language is to be put.
When a “standard” language is proposed, this is even more important!
This makes it easier to assess their quality, to make design decisions more transparent, and to allow competing languages to be compared against each other.
WHAT KNOWLEDGE + WHAT PART OF PLANNING?:
There are several kinds of knowledge that may be represented explicitly:
WHO ARE THE USERS?
Machines (communication language) ?
Given the answer to the above question is Domain objects, invariants, actions + Planning Researchers, a more precise purpose could be:
Eg Lambda-calculus, Turing Machines ..
For communication language, substitute reasoning with ‘close to existing languages’
Is PDDL a languages for theoretical investigation of planners, a domain modelling language, or a communication language???
Clear syntax and semantics
Clear mechanisms for reasoning
structure and error-proneness
maintenance and re-usability
guidelines and tool support
closeness of mapping / customisation
support for operational aspects
PDDL has worked as a theoretical/communication language but is over-stretched as a modelling language.