25 - 29 de Noviembre de 2002

Montevideo, Uruguay

Radisson Victoria Plaza Hotel

 
CL73
 
Planning as Branch and Bound: A Constraint Programming Implementation

Héctor Palacios
Departamento de Computación, Universidad Simón Bolivar
hlp@ldc.usb.ve
Héctor Geffiner
Departamento de Tecnología, Universitat Pompeu Fabra
hector.geffiner@tecn.upf.es
 
Abstract

Branching and lower bounds are two key notions in heuristic search and combinatorial optimization. Branching refers to the way the space of solution is searched, while lower bounds refer to approximate cost measures used for focusing and pruning the search. In Al Planning, admissible heuristics or lower bound have received considerably attention and most current optimal planners use them,either explicity or implicity (e.g by relying on a plan graph). Branching, on the other hand, has received less attention and is seldom discussed explicitly. In this paper, we make the notion of branching in planning explicit and relate it to branching schemes used in combinatorial optimization. We analyze from this perspective the relationship between heuristic-search, constraint-based and partial-order planning, and between planning and scheduling. We also introduce a branch-and-bound formulation for planning. The goals are twofold: to make sense of various techniques that have been found useful in planning in a unified framework, and to lay the ground for systems that can effectively combine recent advances with schedulin capabilities. We have also implemented planner based on this formulation on top of a constraint programming lenguage and present results.

Keywords: Artificial intelligence, planning, branch and bound, constraint programming, scheduling, heuristics, branching



Texto completo        Volver

infoUYclei 2002