A Fluent Calculus Semantics for ADL with Plan Constraints

Plan constraints are the most recent addition to the ever growing Planning Domain Definition Language (PDDL). In this work we consider the PDDL fragment consisting of basic ADL extended by plan constraints. We provide a purely declarative semantics for this fragment by interpreting it in the basic Fluent Calculus. We thus obtain a logical semantics for this fragment of PDDL instead of the usual meta-theoretical state transition semantics.

[1]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[2]  Agostino Dovier,et al.  Multivalued action languages with constraints in CLP(FD) , 2010, Theory Pract. Log. Program..

[3]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[4]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[5]  Vladimir Lifschitz,et al.  ON THE SEMANTICS OF STRIPS , 1987 .

[6]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[7]  Michael Thielscher,et al.  The Concurrent, Continuous Fluent Calculus , 2001, Stud Logica.

[8]  Gerhard Lakemeyer,et al.  A Situation-Calculus Semantics for an Expressive Fragment of PDDL , 2007, AAAI.

[9]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[10]  Alfonso Gerevini,et al.  Preferences and soft constraints in PDDL3 , 2006 .

[11]  Gerhard Lakemeyer,et al.  Situations, Si! Situation Terms, No! , 2004, KR.

[12]  Michael Thielscher,et al.  Reasoning robots - the art and science of programming robotic agents , 2005, Applied logic series.

[13]  Gerhard Lakemeyer,et al.  A Semantics for ADL as Progression in the Situation Calculus , 2006 .

[14]  Edwin P. D. Pednault,et al.  ADL and the State-Transition Model of Action , 1994, J. Log. Comput..

[15]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[16]  Gerhard Lakemeyer,et al.  Towards an Integration of Golog and Planning , 2007, IJCAI.

[17]  Michael Georgeff,et al.  Reasoning about actions and plans , 1986 .

[18]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .