Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Page 333
... Proving I. Social Impact 1 . The Dehumanization - Alienation Hypothesis 2 . The Potential for Increased Unemployment 3. The Impact on Resources and Environment J. Conclusion III . NASA Needs ..... IV . Applications of Machine ...
... Proving I. Social Impact 1 . The Dehumanization - Alienation Hypothesis 2 . The Potential for Increased Unemployment 3. The Impact on Resources and Environment J. Conclusion III . NASA Needs ..... IV . Applications of Machine ...
Page 340
... proving , and robot problem solving overlaps . In a sense , existing compilers already do " automatic programming . " They take in a complete source code specification 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 specification 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 between hand - printed letters . Is this enough to ...
... proving mathematical theorems of rather undistinguished character . A few machines might be playing certain games , occasionally defeating their designers . Some might be distinguishing between hand - printed letters . Is this enough to ...
Other editions - View all
Common terms and phrases
activities analysis applications approach areas Artificial Intelligence automated automatic base basic become behavior called centers complex computer science concepts concerned construction cost devices discussion domain elements engineering example existing experience exploration expressions Figure function GAME given goal Group heuristic human important increase information processing interest knowledge language learning limited lines logic machine intelligence major manipulators mathematical mechanisms memory methods mission NASA nature Newell objects operations organization performance planning position possible problem solving Proc procedure processing produce Project properties proving psychology reasoning represent representation robot rules selection sequence Simon simple solution space spacecraft specific Stanford statement step structure Study success symbolic task techniques theorem theory tion understanding Univ University York
Bibliographic information
| Title | Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
| Author | NASA Study Group on Machine Intelligence and Robotics |
| Contributor | United States. National Aeronautics and Space Administration |
| Publisher | National Aeronautics and Space Administration, 1980 |
| Original from | the University of California |
| Digitized | 26 May 2016 |
| Length | 400 pages |
| Export Citation | BiBTeX EndNote RefMan |