Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 79
Page 338
Over the past few decades , several computer systems have been built that can perform tasks such as these . Specifically , there are computer systems that can diagnose diseases , plan the synthesis of 2This section is based on ...
Over the past few decades , several computer systems have been built that can perform tasks such as these . Specifically , there are computer systems that can diagnose diseases , plan the synthesis of 2This section is based on ...
Page 339
However these same tasks , performed almost unconsciously by humans , when performed by a machine require many of the same abilities used in solving more intellectually demanding problems . Research on robots or robotics has helped to ...
However these same tasks , performed almost unconsciously by humans , when performed by a machine require many of the same abilities used in solving more intellectually demanding problems . Research on robots or robotics has helped to ...
Page 340
D. Automatic Programming The task of writing a computer program is also related to other areas of AI . Much of the basis research in automatic programming , theorem proving , and robot problem solving overlaps .
D. Automatic Programming The task of writing a computer program is also related to other areas of AI . Much of the basis research in automatic programming , theorem proving , and robot problem solving overlaps .
Page 342
Many informal tasks , including medical diagnosis and information retrieval , can be formalized as theorem - proving problems . For these reasons , theorem proving is an extremely important topic in the study of AI methods .
Many informal tasks , including medical diagnosis and information retrieval , can be formalized as theorem - proving problems . For these reasons , theorem proving is an extremely important topic in the study of AI methods .
Page 344
Further development of automation can , at the same time , dramatically decrease the operations costs of complex missions and dramatically increase the number and kinds of tasks performed , and therefore , the significance of the data ...
Further development of automation can , at the same time , dramatically decrease the operations costs of complex missions and dramatically increase the number and kinds of tasks performed , and therefore , the significance of the data ...
What people are saying - Write a review
We haven't found any reviews in the usual places.
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 |