Compilation of LTL Goal Formulas into PDDL

Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extended goals. We present a method for compiling LTL goal formulas into Planning Domain Definition Language (PDDL), which is handled by many AI planners. The compilation process first constructs a finite state machine representing all reachable progressions of the goal formula, then modifies the planning domain and problem definition so that the state of the FSM is tracked.

• Type: Conference
• Year: 2004
• Where: ECAI
• Authors: Stephen Cresswell, Alexandra M. Coddington
• Keywords: Artificial Intelligence, ECAI 2004, Extended Goals, Goal Formula, Planning Domain