Artificial Intelligence Group
Dipartimento di Informatica e Automazione
Università degli Studi di Roma Tre
Pdk (Planning with Domain Knowledge) is a planner based on the translation of planning problems into Linear Time Logic theories, in such a way that finding solution plans is reduced to model search. The model search mechanism is based on temporal tableaux.
The planning language accepted by the system, PDDL-K (Planning Domain Description Language with control Knowledge), allows one to specify extra problem dependent and control information, that can be of help both in reducing the search space and finding plans of better quality.