Extending the classical AI planning paradigm to robotic assembly planning

A description is given of SPAR, a task planner that has been implemented on a PUMA 762. SPAR is capable of formulating manipulation plans to meet specified assembly goals; these manipulation plans include grasping and regrasping operations if they are deemed necessary for successful completion of assembly. SPAR goes beyond classical AI planners in the sense that SPAR is capable of solving geometric goals associated with high-level symbolic goals. Consequently, if a high-level symbolic goals. Consequently, if a high-level symbolic goal is on (A,B), SPAR can also entertain the geometric conditions associated with such a goal. Therefore, a simple goal such as on (A,B) may or may not be found to be feasible depending on the kinematic constraints implied by the associated geometric conditions. SPAR has available to it a user-defined repertoire of actions for solving goals and associated with each action is an uncertainty precondition that defines the maximum uncertainty in the world description that would guarantee the successful execution of that action. SPAR has been implemented as a nonlinear constraint posting planner.<<ETX>>

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

[2]  Yanxi Liu,et al.  Planning for assembly from solid models , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[3]  Bruce Randall Donald,et al.  A Search Algorithm for Motion Planning with Six Degrees of Freedom , 1987, Artif. Intell..

[4]  Seth Hutchinson,et al.  Task Planner for Simultaneous Fulfillment of Operational, Geometric and Uncertainty-Reduction Goals , 1988 .

[5]  Rodney A. Brooks,et al.  Symbolic Error Analysis and Robot Planning , 1982 .

[6]  C. S. George Lee,et al.  Precedence knowledge in feature mating operation assembly planning , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[7]  Ernest Davis,et al.  Constraint Propagation with Interval Labels , 1987, Artif. Intell..

[8]  Rodney A. Brooks,et al.  Symbolic Reasoning Among 3-D Models and 2-D Images , 1981, Artif. Intell..

[9]  Micha Sharir,et al.  A Survey of Motion Planning and Related Geometric Algorithms , 1988, Artificial Intelligence.

[10]  Avinash C. Kak,et al.  A dynamic approach to high-precision parts mating , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[11]  Pierre Puget,et al.  Delaying with uncertainty in robot planning using program proving techniques , 1988 .

[12]  W. Eric L. Grimson,et al.  Handey: A robot system that recognizes, plans, and manipulates , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[13]  Rina Dechter,et al.  Network-Based Heuristics for Constraint-Satisfaction Problems , 1987, Artif. Intell..

[14]  Rodney A. Brooks,et al.  An approach to automatic robot programming , 1986, CSC '86.

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

[16]  David E. Wilkins,et al.  Representation in a Domain-Independent Planner , 1983, IJCAI.

[17]  Narendra Ahuja,et al.  Path planning using a potential field representation , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[18]  Ann Patricia Fothergill,et al.  Inferring the Positions of Bodies from Specified Spatial Relationships , 1974, Artif. Intell..

[19]  Arthur C. Sanderson,et al.  A correct and complete algorithm for the generation of mechanical assembly sequences , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[20]  Arthur C. Sanderson,et al.  A correct and complete algorithm for the generation of mechanical assembly sequences , 1991, IEEE Trans. Robotics Autom..