A framework for CAD-based geometric reasoning for robot assembly language

For automatic robot programming, world modelling of the robot's environment is one of the most important phases of the task planning. World modelling requires that the robot know the environment in which it operates, including the spatial configuration of all objects in the task environment. In robotic assembly planning at the task level, representation of these objects requires symbolic feature and shape identification of the objects to be assembled by the robot. In this paper, we present a framework for reasoning about objects based on their shapes and features and the representation of such objects for robotic assembly planning when the modelling is done on a CAD system. We show the importance of AI languages in the communication of constructive solid geometry (CSG) based information from modellers. Finally, we present the schematic for a formalism, based on Prolog, for expressing object properties and assembly situations.

[1]  Richard Waldinger,et al.  Achieving several goals simultaneously , 1977 .

[2]  Tomás Lozano-Pérez,et al.  LAMA: A Language for Automatic Mechanical Assembly , 1977, IJCAI.

[3]  Adrian Walker.  Knowledge systems and PROLOG , 1987 .

[4]  Robin J. Popplestone,et al.  RAPT, A Language for Describing Assemblies , 1978 .

[5]  Bartholomew O. Nnaji,et al.  A generalized shape descriptor from wire frame models on a CAD/CAM system , 1986 .

[6]  Jack C. McCormac.  Structural Steel Design , 1981 .

[7]  Bartholomew O. Nnaji.  Computer-aided design, selection, and evaluation of robots , 1986 .

[8]  George Gratzer,et al.  Universal Algebra , 1979 .

[9]  Friedrich L. Bauer,et al.  Revised report on the algorithm language ALGOL 60 , 1963, CACM.

[10]  Thomas Ewing French,et al.  Graphic science and design , 1984 .

[11]  Bartholomew O. Nnaji,et al.  A schema for CAD-based robot assembly task planning for CSG-modeled objects , 1988 .

[12]  Frederick E. Giesecke.  Technical Drawing , 1940 .

[13]  Robin J. Popplestone,et al.  The Edinburgh designer system as a framework for robotics , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[14]  Geoffrey Boothroyd,et al.  Handbook of feeding and orienting techniques for small parts , 1976 .

[15]  Dennis Merritt.  Forward chaining in Prolog , 1986 .

[16]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[17]  Jose Encarnacao.  Computer Aided Design Modelling, Systems Engineering, CAD-Systems , 1980, Lecture Notes in Computer Science.

[18]  Michael A. Wesley,et al.  AUTOPASS: An Automatic Programming System for Computer Controlled Mechanical Assembly , 1977, IBM J. Res. Dev..

[19]  Warren Jacob Luzadder,et al.  Graphics for engineers , 1957 .

[20]  Aristides A. G. Requicha,et al.  The PADL-1.0/2 system for defining and displaying solid objects , 1978, SIGGRAPH.

[21]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[22]  Claudia Marcus.  Prolog Programming , 1986 .

[23]  T. Lozano-Perez,et al.  Robot programming , 1983, Proceedings of the IEEE.