Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 11-15 of 32
Page 518
... STANFORD EARLY MIT SYSTEMS Griffith ( 1979 ) Horn ( 1971 ) SYSTEMS INSTANT INSANITY Foldman ( 1971 ) Pingle and Tenenbaum ( 1971 ) | CHART 10 : MACHINE VISION MECHANICAL TRANSLATION See , for example , Locke and Booth ( 1955 ) Edmundson ...
... STANFORD EARLY MIT SYSTEMS Griffith ( 1979 ) Horn ( 1971 ) SYSTEMS INSTANT INSANITY Foldman ( 1971 ) Pingle and Tenenbaum ( 1971 ) | CHART 10 : MACHINE VISION MECHANICAL TRANSLATION See , for example , Locke and Booth ( 1955 ) Edmundson ...
Page 522
... Stanford Research Institute [ Elspas et al . ( 1973 ) ] is typical of one in which the assertions are both produced [ Elspas ( 1972 ) ] and proved [ Waldinger and Levitt ( 1973 ) ] automatically . This system has been used to verify ...
... Stanford Research Institute [ Elspas et al . ( 1973 ) ] is typical of one in which the assertions are both produced [ Elspas ( 1972 ) ] and proved [ Waldinger and Levitt ( 1973 ) ] automatically . This system has been used to verify ...
Page 523
... Stanford , HITAC , and MIT sys- tems consisted of manipulator arms and TV cameras or other visual input devices . These became capable of building structures out of simple blocks . In one case ( Stanford ) , the system could assemble an ...
... Stanford , HITAC , and MIT sys- tems consisted of manipulator arms and TV cameras or other visual input devices . These became capable of building structures out of simple blocks . In one case ( Stanford ) , the system could assemble an ...
Page 524
... Stanford Research Institute robot system ( Raphael et al . 1971 ) was independently programmed in almost exactly this pro- duction formalism . Production systems have been used in other AI programs as well . ] Newell and Simon ( 1972 ...
... Stanford Research Institute robot system ( Raphael et al . 1971 ) was independently programmed in almost exactly this pro- duction formalism . Production systems have been used in other AI programs as well . ] Newell and Simon ( 1972 ...
Page 526
... Stanford Univ . , Stanford , CA , July 1972. Available as Stanford Artificial Intelligence Laboratory Memo AIM - 173 , Oct. 1972 . ( VIS ) Agin , Gerald J. and Binford , Thomas O. ( 1973 ) , " Computer Description of Curved Objects ...
... Stanford Univ . , Stanford , CA , July 1972. Available as Stanford Artificial Intelligence Laboratory Memo AIM - 173 , Oct. 1972 . ( VIS ) Agin , Gerald J. and Binford , Thomas O. ( 1973 ) , " Computer Description of Curved Objects ...
Other editions - View all
Common terms and phrases
algorithms Allen Newell analysis applications areas Artificial Intelligence automated base basic behavior capabilities centers complex computer programs computer science computer systems concepts Conf construction cost DENDRAL devices discussion domain elements engineering environment example existing experience exploration Feigenbaum Figure functions GAME goal hardware heuristic programming heuristic search human hypotheses ill-structured problems inference information processing input intelligence and robotics interaction knowledge learning logic machine intelligence man-machine systems manipulators Marvin Minsky mathematical mechanisms memory ment methods Minsky mission operations MYCIN NASA NASA's Natural Language Newell Papers 3d Intl pattern recognition performance planetary planning problem solving problem space problem statement Proc procedure processor Project Project MAC PSYC psychology representation rover rules sensors sequence Simon simplex method solution solver spacecraft Stanford Research Institute Stanford Univ structure Study Group subproblems symbolic task Tech techniques TEIRESIAS teleoperator theory tion