Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 12
Page 517
... memos . SRI SHAKEY SYSTEM Raphael ( 1968 ) Nilsson ( 1969b ) Coles ( 1970 ) Raphael , et al ( 1971 ) Hart , et al ( 1972 ) ADVANCED INDUSTRIAL AUTOMATION Rosen ( 1973 ) Nevins , et bl ( 1973 ) Bolles and Paul ( 1973 ) NITAC Ejiri , et ...
... memos . SRI SHAKEY SYSTEM Raphael ( 1968 ) Nilsson ( 1969b ) Coles ( 1970 ) Raphael , et al ( 1971 ) Hart , et al ( 1972 ) ADVANCED INDUSTRIAL AUTOMATION Rosen ( 1973 ) Nevins , et bl ( 1973 ) Bolles and Paul ( 1973 ) NITAC Ejiri , et ...
Page 526
... Memo AIM - 173 , Oct. 1972 . ( VIS ) Agin , Gerald J. and Binford , Thomas O. ( 1973 ) , " Computer Description of Curved Objects , " Adv . Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ . , Stanford , CA , Aug. 1973 ...
... Memo AIM - 173 , Oct. 1972 . ( VIS ) Agin , Gerald J. and Binford , Thomas O. ( 1973 ) , " Computer Description of Curved Objects , " Adv . Papers 3d Intl . Conf . on Artificial Intelligence , Stanford Univ . , Stanford , CA , Aug. 1973 ...
Page 527
... Memo CS - 396 , Comp . Sci . Dept. , Stanford Univ . , Artifi- cial Intelligence Lab . Memo AIM - 220 , Oct. 1973 . ( ROB ) Boyer , Robert S. and Moore , J Strother ( 1973 ) , " Proving Theorems About LISP Functions , " Adv . Papers 3d ...
... Memo CS - 396 , Comp . Sci . Dept. , Stanford Univ . , Artifi- cial Intelligence Lab . Memo AIM - 220 , Oct. 1973 . ( ROB ) Boyer , Robert S. and Moore , J Strother ( 1973 ) , " Proving Theorems About LISP Functions , " Adv . Papers 3d ...
Page 528
... Memo MIP - R - 89 , School of Artificial Intelligence , Univ . of Edinburgh . ( SYS ) Davis , M. and Putnam , H. ( 1960 ) , " A Computing Proce- dure for Quantification Theory , " J. ACM , Vol . 7 , 201-215 , 1960. ( TP ) Derksen , J ...
... Memo MIP - R - 89 , School of Artificial Intelligence , Univ . of Edinburgh . ( SYS ) Davis , M. and Putnam , H. ( 1960 ) , " A Computing Proce- dure for Quantification Theory , " J. ACM , Vol . 7 , 201-215 , 1960. ( TP ) Derksen , J ...
Page 529
... Memo AI - 96 , June 1969. ( REP , DED , PROG , TP ) Green , C. ( 1969c ) , " Application of Theorem - Proving to Problem Solving , " Proc . Intl . Joint Conf . Artificial Intelligence , Donald E. Walker and Lewis M. Norton , eds ...
... Memo AI - 96 , June 1969. ( REP , DED , PROG , TP ) Green , C. ( 1969c ) , " Application of Theorem - Proving to Problem Solving , " Proc . Intl . Joint Conf . Artificial Intelligence , Donald E. Walker and Lewis M. Norton , eds ...
Other editions - View all
Common terms and phrases
algorithms Allen Newell analysis applications areas Artificial Intelligence automated base basic behavior Chart chess complex computer science concepts Conf construction DENDRAL domain element engineering example experience Feigenbaum Feldman Figure function GAME generate-and-test goal H. A. Simon heuristic programming heuristic search human hypotheses ill-structured problems inference Information Processing input intelligence and robotics INTERLISP knowledge logic Logic Theorist machine intelligence manipulators mathematical mechanisms Memo memory methods Michie Minsky mission operations MYCIN NASA NASA's Natural Language Newell ORGANISM-1 Papers 3d Intl pattern recognition performance problem solving problem space problem statement Proc procedure Project Project MAC PSYC psychology representation rover rules Semantic sensors sequence Simon simplex method Slagle solution solver spacecraft Stanford Research Institute Stanford Univ structure Study Group symbolic task Tech techniques TEIRESIAS teleoperator theorem proving theory tion variables York