Pdk: The System and Its Language

  • Marta Cialdea Mayer
  • Carla Limongelli
  • Andrea Orlandini
  • Valentina Poggioni
Conference paper

DOI: 10.1007/11554554_23

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3702)
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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Marta Cialdea Mayer
    • 1
  • Carla Limongelli
    • 1
  • Andrea Orlandini
    • 1
  • Valentina Poggioni
    • 1
  1. 1.Dipartimento di Informatica e AutomazioneUniversità di Roma Tre 

Personalised recommendations