ECAI 2004 Conference Paper

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

Using Multiple Relaxations in Temporal Planning

Keith Halsey, Maria Fox, Derek Long

CRIKEY is a planner that separates out the temporal and logical reasoning in temporal planning. This can be seen as a relaxation of the temporal information during the classical planning phase. Relaxations in planning are used to guide the search. However, the quality of the relaxation greatly affects the performance of the planner, and in some cases can lead the search into a dead end. This can happen whilst separating out the planning and scheduling problems, leading to the production of an unschedulable plan. Whilst planning, CRIKEY can detect these cases and change the relaxation accordingly. This paper describes how it does this and presents some domains where this reasoning is required.

Keywords: Temporal Planning, Planning, Scheduling, Relaxation, Separation of Problems, PDDL2.1

Citation: Keith Halsey, Maria Fox, Derek Long: Using Multiple Relaxations in Temporal Planning. 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.1029-1030.

[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).