Introduction to the Special Issue on Planning: Research Issues at the Intersection of Planning and Constraint Programming

Members of the constraint programming community are usually more familiar with applications like scheduling than with action planning — the topic of this special issue. However, action planning tackles problems belonging to a similar domain and can be interpreted as an extension of the scheduling problem by the problem of selecting which actions/tasks a plan should include so that a set of given goals is satisfied/optimized. The connections between planning and constraint satisfaction have been recognized, at least since the development of the MOLGEN planner (Stefik, 1981). Much of the subsequent work at the intersection of planning and CSP involved tackling subproblems of plan synthesis that can be posed as constraint satisfaction problems, such as the management of resources, temporal constraints, and the domains of planning objects. Well-known planning systems like SIPE (Wilkins, 1988), OPlan (Tate et al., 1994) and IxTeT (Laborie and Ghallab, 1995) have posed such tasks as constraint satisfaction problems. The planning field often benefits here from techniques developed in the context of scheduling. The advent of Graphplan (Blum and Furst, 1997) further strengthened the connection between plan synthesis and constraint programming. Many of the explanations of Graphplan’s and its extensions’ impressive performance pointed to the connections between its graph search and CSP techniques (Kambhampati, 2000; Rintanen, 1998). Work on variants of Graphplan has shown that bounded-length plan finding (i.e., finding if a plan of length k exists for a given problem) can be usefully posed as a model finding problem, and solved using CSP, SAT or IP techniques (Kautz and Selman, 1996; Do and Kambhampati, 2001; Kautz and Selman, 1999; Bockmayr and Dimopoulos, 1999; Vossen et. al., 1999; Kautz and Walser, 1999).

[1]  Alexander Nareyek,et al.  Constraint-Based Agents-An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoni , 2001 .

[2]  Subbarao Kambhampati,et al.  Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan , 2000, J. Artif. Intell. Res..

[3]  Peter van Beek,et al.  CPlan: A Constraint Programming Approach to Planning , 1999, AAAI/IAAI.

[4]  Henry A. Kautz,et al.  State-space Planning by Integer Optimization , 1999, AAAI/IAAI.

[5]  Brian Falkenhainer,et al.  Dynamic Constraint Satisfaction Problems , 1990, AAAI.

[6]  Daniel S. Weld,et al.  The LPSAT Engine & Its Application to Resource Planning , 1999, IJCAI.

[7]  Jussi Rintanen,et al.  A Planning Algorithm not based on Directional Search , 1998, KR.

[8]  Malik Ghallab,et al.  Planning with Sharable Resource Constraints , 1995, IJCAI.

[9]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[10]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[11]  Dana S. Nau,et al.  On the Use of Integer Programming Models in AI Planning , 1999, IJCAI.

[12]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[13]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[14]  Bart Selman,et al.  Unifying SAT-based and Graph-based Planning , 1999, IJCAI.

[15]  Subbarao Kambhampati,et al.  Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan , 2001, Artif. Intell..

[16]  Alexander Bockmayr,et al.  Integer Programs and Valid Inequalities for Planning Problems , 1999, ECP.

[17]  Austin Tate,et al.  Reasoning with Constraints within O-Plan2 , 2006 .

[18]  Subbarao Kambhampati,et al.  Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP , 2001, Artif. Intell..

[19]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.