Localized Planning with Action-Based Constraints

Abstract This paper describes collage, a planner that utilizes a variety of nontraditional methods of plan constmction within a partitioned or localized reasoning framework. The foundation of the collage approach is the use of action-based constraints . Such constraints represent domain and problem requirements directly in terms of actions, action relationships, and action parameter bindings rather than in terms of state-based goals and preconditions. In our experience, such constraints can provide a more natural vehicle for domain encoding than traditional STRIPS-based operator descriptors. In order to cope with the complexity and scale of realistic domains, COLLAGE also utilizes localization , a representational technique for partitioning problem requirements into subproblems. A localized search space consists of several smaller search spaces, one for each subproblem. collage allows these subproblem spaces to overlap and interact, and provides mechanisms for maintaining plan consistency and correctness. This combination of action-based reasoning with flexible localized search has yielded a powerful and efficient planning framework that is useful for challenging realistic domains.

[1]  Amy L. Lansky,et al.  Scope and Abstraction: Two Criteria for Localized Planning , 1995, IJCAI.

[2]  James F. Allen An Interval-Based Representation of Temporal Knowledge , 1981, IJCAI.

[3]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[4]  Carla S. Williams,et al.  An integrated data flow visual language and software development environment , 1991, J. Vis. Lang. Comput..

[5]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[6]  Subbarao Kambhampati,et al.  On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-ordering Planning , 1993, IJCAI.

[7]  Amy L. Lansky Web-Based Planning for Image Processing , 1996 .

[8]  Steve A. Chien Using AI Planning Techniques to Automatically Generate Image Processing Procedures , 1994, AIPS.

[9]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[10]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[11]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[12]  James A. Hendler,et al.  A Validation-Structure-Based Theory of Plan Modification and Reuse , 1992, Artif. Intell..

[13]  Robert James Firby,et al.  Adaptive execution in complex dynamic worlds , 1989 .

[14]  David A. McAllester,et al.  Systematic Nonlinear Planning , 1991, AAAI.

[15]  Craig A. Knoblock,et al.  Cooperating Agents for Information Retrieval , 1994, CoopIS.

[16]  Karen L. Myers Strategic Advice for Hierarchical Planners , 1996, KR.

[17]  Austin Tate,et al.  Goal Structure, Holding Periods and “Clouds” , 1987 .

[18]  Amy L. Lansky Action-based Planning , 1994, AIPS.

[19]  Jens Christensen A Hierarchical Planner that Generates Its Own Hierarchies , 1990, AAAI.

[20]  A. Lansky A REPRESENTATION OF PARALLEL ACTIVITY BASED ON EVENTS, STRUCTURE, AND CAUSALITY , 1987 .

[21]  John L. Bresina,et al.  Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction , 1990, AAAI.

[22]  Richard E. Korf,et al.  Planning as Search: A Quantitative Approach , 1987, Artif. Intell..

[23]  Alan K. Mackworth Consistency in Networks of Relations , 1977, Artif. Intell..

[24]  Amy L. Lansky,et al.  The COLLAGE/KHOROS Link: Planning for Image Processing Tasks , 1995 .

[25]  Raymond E. Levitt,et al.  Investigating the utility of artificial intelligence techniques for automatic generation of construction project plans , 1989 .

[26]  Austin Tate Reasoning About Actions and Plans , 1986 .

[27]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[28]  Peter Norvig,et al.  Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp , 1991 .

[29]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[30]  James A. Hendler,et al.  Readings in Planning , 1994 .

[31]  Kristian J. Hammond,et al.  CHEF: A Model of Case-Based Planning , 1986, AAAI.

[32]  Craig A. Knoblock Learning Abstraction Hierarchies for Problem Solving , 1990, AAAI.

[33]  Amy L. Lansky,et al.  GEM: A tool for concurrency specification and verification , 1983, PODC '83.

[34]  James A. Hendler,et al.  A Review of AI Planning Techniques , 1990 .

[35]  Manuela Veloso,et al.  Planning for Complex Tasks: Replay and Merging of Multiple Plans , 1993 .

[36]  Leslie Pack Kaelbling,et al.  An Architecture for Intelligent Reactive Systems , 1987 .

[37]  Amy L. Lansky,et al.  Practical Planning in COLLAGE , 1994 .

[38]  Amy L. Lansky,et al.  AI-Based Planning for :Data Analysis Tasks , 1993 .

[39]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..