Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 46
Page 342
... present proof and to break his main problem down into subproblems to work on independently . Several automatic theorem proving programs have been developed that possess some of these same skills to a limited degree . The study of ...
... present proof and to break his main problem down into subproblems to work on independently . Several automatic theorem proving programs have been developed that possess some of these same skills to a limited degree . The study of ...
Page 343
... present will be engaged in producing services , and a smaller fraction will be engaged in producing goods . But there is no reason to believe that we will experience satiety of either goods or services at full employment levels . 3. The ...
... present will be engaged in producing services , and a smaller fraction will be engaged in producing goods . But there is no reason to believe that we will experience satiety of either goods or services at full employment levels . 3. The ...
Page 344
... present time , the amount of data made available by NASA missions is larger than scientists can comfortably sift through . This is true , for example , of Landsat and other Earth resources technology satellite missions . A typical ...
... present time , the amount of data made available by NASA missions is larger than scientists can comfortably sift through . This is true , for example , of Landsat and other Earth resources technology satellite missions . A typical ...
Page 347
... presents mission categories , mission objectives , and system character- istics pertinent to space robot and automation technology . Estimates of technology development efforts to automate system functions are given in Table 4-1 . 1 ...
... presents mission categories , mission objectives , and system character- istics pertinent to space robot and automation technology . Estimates of technology development efforts to automate system functions are given in Table 4-1 . 1 ...
Page 349
... The oceanographic satellite's high - data - rate Synthe- tic Aperture Radar imaging device has provided data on ocean waves , coastal regions , and sea ice . Present developments in artificial intelligence , machine intelligence , and. 12.
... The oceanographic satellite's high - data - rate Synthe- tic Aperture Radar imaging device has provided data on ocean waves , coastal regions , and sea ice . Present developments in artificial intelligence , machine intelligence , and. 12.
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