A Qualitative Discretization for Two-Body Contacts

In this work we use contact alignments as qualitative landmarks to discretize the relative motion between two 3D objects. We use assembly planning as a sample domain, and address the question of obtaining the assembly blocking graphs from the geometry and the motion constraints. Starting from a geometrical description of the objects we characterize contacts involving topologically distinct feature sets, called contact formations (CF) and obtain a qualitative decomposition of the configuration space based on CFs. We show how standard algorithms for finding the configuration-space routinely discard CF information, and how these can be extracted at no additional computational cost. Finally we show how CFs can be used to generate assembly solutions and for correcting jamming and other assembly.

[1]  Jean-Claude Latombe,et al.  Reasoning about Mechanical Assembly , 1994 .

[2]  Jean-Claude Latombe,et al.  Robot motion planning , 1970, The Kluwer international series in engineering and computer science.

[3]  P. D. Felice,et al.  A comparison of methods for representing topological relationships , 1995 .

[4]  Tomás Lozano-Pérez,et al.  Spatial Planning: A Configuration Space Approach , 1983, IEEE Transactions on Computers.

[5]  Varol Akman,et al.  The Power of Physical Representations , 1989, AI Mag..

[6]  Boi Faltings,et al.  Qualitative Kinematics in Mechanisms , 1987, IJCAI.

[7]  Raimund Seidel,et al.  Efficiently Computing and Representing Aspect Graphs of Polyhedral Objects , 1991, IEEE Trans. Pattern Anal. Mach. Intell..

[8]  Benjamin Kuipers,et al.  Learning to Explore and Build Maps , 1994, AAAI.

[9]  Sukhan Lee,et al.  Backward assembly planning with assembly cost analysis , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[10]  Kenneth D. Forbus,et al.  Qualitative Spatial Reasoning: The Clock Project , 1991, Artif. Intell..

[11]  Rajiv S. Desai,et al.  Identification and verification of termination conditions in fine motion in presence of sensor errors and geometric uncertainties , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[12]  Jan Wolter,et al.  Mating constraint languages for assembly sequence planning , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[13]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[14]  John Canny,et al.  The complexity of robot motion planning , 1988 .

[15]  Tomás Lozano-Pérez,et al.  Spatial Planning: A Configuration Space Approach , 1983, IEEE Transactions on Computers.

[16]  John H. Reif,et al.  Complexity of the mover's problem and generalizations , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).