ECAI 2004 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Compilation of LTL goal formulas into PDDL

Stephen Cresswell, Alexandra Coddington

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 PDDL, which is the standard language used to define planning domains and problems and is handled by many 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. We discuss the complexity issues relating to the size of the representation resulting from the compilation.

Keywords: planning, temporal logic

Citation: Stephen Cresswell, Alexandra Coddington: Compilation of LTL goal formulas into PDDL. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.985-986.


[prev] [tofc] [next]


ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).