Pdk: The System and Its Language
- Cite this paper as:
- Mayer M.C., Limongelli C., Orlandini A., Poggioni V. (2005) Pdk: The System and Its Language. In: Beckert B. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2005. Lecture Notes in Computer Science, vol 3702. Springer, Berlin, Heidelberg
This paper presents the planning system Pdk (Planning with Domain Knowledge), 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 allows one to specify extra problem dependent information, that can be of help both in reducing the search space and finding plans of better quality.
Unable to display preview. Download preview PDF.