Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 32
Page 333
... Proving I. Social Impact iii iv V vi .viii X 1 1 2 2 3 3 4 4 4 LO 5 5 1 . The Dehumanization - Alienation Hypothesis 5 2 . The Potential for Increased Unemployment LO LO 5 3. The Impact on Resources and Environment J. Conclusion 66 III ...
... Proving I. Social Impact iii iv V vi .viii X 1 1 2 2 3 3 4 4 4 LO 5 5 1 . The Dehumanization - Alienation Hypothesis 5 2 . The Potential for Increased Unemployment LO LO 5 3. The Impact on Resources and Environment J. Conclusion 66 III ...
Page 340
... proving , and robot problem solving overlaps . In a sense , existing compilers already do " automatic programming . " They take in a complete source code specifica- tion of what a program is to accomplish ; they write an object code ...
... proving , and robot problem solving overlaps . In a sense , existing compilers already do " automatic programming . " They take in a complete source code specifica- tion of what a program is to accomplish ; they write an object code ...
Page 342
... proving programs have been developed that possess some of these same skills to a limited degree . The study of theorem proving has been of significant value in the development of AI methods . The formalization of the deductive process ...
... proving programs have been developed that possess some of these same skills to a limited degree . The study of theorem proving has been of significant value in the development of AI methods . The formalization of the deductive process ...
Page 399
... proving , and database systems . He is a member of the Association for Computing Machinery , SIAM , and IEEE . He is on the editorial boards of Information Systems and Encyclopedia of Library and Information Science . Dr. Marvin Minsky ...
... proving , and database systems . He is a member of the Association for Computing Machinery , SIAM , and IEEE . He is on the editorial boards of Information Systems and Encyclopedia of Library and Information Science . Dr. Marvin Minsky ...
Page 406
... proving mathematical theorems of rather undistinguished character . A few machines might be playing certain games , occasionally defeating their designers . Some might be distinguishing be- tween hand - printed letters . Is this enough ...
... proving mathematical theorems of rather undistinguished character . A few machines might be playing certain games , occasionally defeating their designers . Some might be distinguishing be- tween hand - printed letters . Is this enough ...
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