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

References

• BINFORD , T. O. , 1979 , Computer integrated assembly systems . Artificial Intelligence Laboratory , Stanford , USA.
   Google Scholar
• BOOTHROYD , G. , POLI , C. and MURCH , L. , 1977 , The handbook of feeding and orienting techniques for small parts . Department of Mechanical Engineering , University of Massachusetts , Amherst , Mass. , USA.
   Google Scholar
• CAMERON , C. , 1986 , ‘Robmod user guide.’ Department of Artificial Intelligence , University of Edinburgh , UK.
   Google Scholar
• CLOCKSIN , W. F. and MELLISH , C. S. , 1981 , Programming in Prolog ( Springer-Verlag ).
   Google Scholar
• COHN , P. L. , 1981 , Universal Algebra ( D. Reidel Publishing Company ).
   Google Scholar
• COLEMAN , R. M. , 1971 , Technical Drafting ( Rhinehart Press ).
   Google Scholar
• ENCARNACAO , J. , 1980 , Computer Aided Design Modeling, Systems, Engineering, CAD systems ( Springer-Verlag ).
   Google Scholar
• FRENCH , T. E. and VIERCK , C J. , 1970 , Graphic Science and Design ( McGraw-Hill ).
   Google Scholar
• GIESECKE , F. E. , 1980 , Technical Drawing ( Macmillan Publishing ).
   Google Scholar
• GROOVER , M. P. , WEISS , M. , NAGEL , R. N. , ODREY , N. G. , 1986 , Industrial Robots Technology, Programming and Applications ( McGraw-Hill Inc .).
   Google Scholar
• LIBARDI , E. C. and DIXON , J. R. , 1986 , Designing with features design and analysis of extrusions as an example . Spring National Design Engineering Conference and Show , Chicago , Illinois , March 24 – 27 .
   Google Scholar
• LEE , Y. C. , 1984 , Integration of solid modeling and database management for CAD/CAM . Ph.Dthesis , Purdue University , USA , August .
   Google Scholar
• LEVENS , A. S. , 1968 , Graphics ( John Wiley and Sons ).
   Google Scholar
• LIEBERMAN , L. I. and WESLEY , M. A. , 1977 , AUTOPASS An automatic programming system for computer-controlled mechanical assembly . IBM Journal of Research and Development , July .
   Google Scholar
• LOZANO , PEREZ, T. , 1983 , Robot programming . Proceedings of the IEEE , 71 , 821 – 841 .
   Google Scholar
• LOZANO , PEREZ, T. and WINSTON , P. H. , 1977 , LAMA A language for automatic mechanical assembly . Proceedings of the Fifth International Joint Conference on Artificial Intelligence , Massachusetts Institute of Technology , Cambridge , MA , USA , August .
   Google Scholar
• LUZADDER , W. J. , 1962 , Graphics for Engineers ( Prentice-Hall ).
   Google Scholar
• MARCUS , C. , 1986 , Prolog Programming ( Arity Company ).
   Google Scholar
• MCCORMACK , J. C. , 1981 , Structural Steel Design ( Harper and Row ).
   Google Scholar
• MERRITT , D. , 1986 , Forward chaining in Prolog. AI Expert , November .
   Google Scholar
• MORTERSON , M. E. , 1986 , Geometric Modeling ( John Wiley and Sons ).
   Google Scholar
• NAUR , P. , (editor)., 1963 , Revised report on the algorithmic language ALGOL 60 , Comm. ACM , 6 ( 1 ), 1 – 17 .
   Web of Science ®Google Scholar
• NNAJI , B. O. , 1986 , Computer-Aided Design, Selection and Evaluation of Robots ( Amsterdam Elsevier Science Publishers ).
   Google Scholar
• NNAJI , B. O. , 1987 , A solid model interpreter using boundary surfaces . Journal Manufacturing Systems ( in review ).
   Google Scholar
• NNAJI , B. O. and AKREP , M. , 1988 , The relationship between form and function in robotic manipulation and assembly . Working paper, Automation and Robotics Laboratory , University of Massachusetts at Amherst .
   Google Scholar
• NNAJI , B. O. , CHU , J. Y. and AKREP , M. , 1988 , A schema for CAD-based robot assembly task planning for CSG-based objects . Journal of Manufacturing Systems ( in review ).
   Google Scholar
• NNAJI , B. O. , LIU , H. C. and POPPLESTONE , R. J. , 1988 , Extraction, restruction of CAD data into a Prolog format . Working paper, Automation and Robotics Laboratory , University of Massachusetts at Amherst .
   Google Scholar
• NNAJI , B. O. , DIPAK , S. and AKREP , M. , 1987 b , Shape classification for robot assembly planning . Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing ( in review ).
   Google Scholar
• NNAJI B. O. and VishNU , A. K. , 1986 , A generalized shape-descriptor from wire-frame models on a CAD/CAM system . Journal of Manufacturing Systems , 5 , No. 4 .
   Web of Science ®Google Scholar
• NNAJI , B. O. and VISHNU , A. K. , 1985 , Automatic shape interpreter of computer-aided models for manufacturing . Symposium on Artificial Intelligence in Engineering , October , George Washington University , Washington , DC .
   Google Scholar
• POPPLESTONE , R. J. , 1987 , The Edinburgh Designer System as a framework for robotics . Journal ofArtificial Intelligence for Engineering Design, Analysis and Manufacturing , 1 , 23 – 36 .
   Google Scholar
• POPPLESTONE , R. J. , AMBLER , A. P. and BELLOS , I. , 1978 , RAPT A language for describing assemblies . The Industrial Robot , September .
   Google Scholar
• STERLING , L. and SHAPIRO , E. , The Art of Prolog ( The MIT Press ).
   Google Scholar
• VAGHUL , M. V. , DIXON , J. R. , ZINSMEISTER , G. E. and SIMMONS , M. K. , 1985 , Expert systems in a CAD environment Injection molding part design as an example . Proceedings of the 1985 ASME Computers in Engineering Conference , Boston , MA , August 4 – 8 .
   Google Scholar
• VOELKER , H. B. , REQUICHA , A. , HARTQUIST , E. , FISHER , W. , METZGER , R. , TILOVE , R. , BIRREL , N. , HUNT , W. , ARMSTRONG , G. , CHECK , T. , MOOTE , R. and MCSWEENEY , J. , 1978 , The PADL-1.0/2 system for defining and displaying solid objects . ACM Computer Graphics , 12 , No. 3 .
   Google Scholar
• WALDINGER , R. , 1977 , Achieving several goals simultaneously . In E. W. Elcock and D. Michie (Eds.), Machine Intelligence 8 ( New York Halslead/Wiley ).
   Google Scholar
• WALKER , A. , MCCORD , M. , SOWA , J. F. and WILSON , W. G. , 1987 , Knowledge Systems and Prolog ( Addison-Wesley ).
   Google Scholar
• WINSTON , P. H. , 1984 , Artificial Intelligence Reading ( Mass . Addison-Wesley ).
   Google Scholar
• † This research is supported by the National Science Foundation, Grant # DMC-8610417 and Digital Equipment Corporation.
   Google Scholar