Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 41
Page 333
E. Expert Consulting Systems 4 F. Natural Language Processing 4 G. Intelligent Retrieval from Databases 4 H. Theorem Proving 5 1 . Social Impact 5 . 1. The Dehumanization - Alienation Hypothesis 5 2 . The Potential for Increased ...
E. Expert Consulting Systems 4 F. Natural Language Processing 4 G. Intelligent Retrieval from Databases 4 H. Theorem Proving 5 1 . Social Impact 5 . 1. The Dehumanization - Alienation Hypothesis 5 2 . The Potential for Increased ...
Page 340
The task of writing a computer program is also related to other areas of Al . Much of the basis research in automatic programming , theorem proving , and robot problem solving overlaps . In a sense , existing compilers already do ...
The task of writing a computer program is also related to other areas of Al . Much of the basis research in automatic programming , theorem proving , and robot problem solving overlaps . In a sense , existing compilers already do ...
Page 342
H. Theorem Proving There is little evidence for the thesis that job satisfaction has declined in recent years , or that the ... skills such as guessing about which lemmas should be proved first in order to help prove the main theorem .
H. Theorem Proving There is little evidence for the thesis that job satisfaction has declined in recent years , or that the ... skills such as guessing about which lemmas should be proved first in order to help prove the main theorem .
Page 364
We believe that this sort of work has great promise of enabling work in space that might otherwise never be done . Still , we emphasize that of all problems described here , computer vision is likely to prove ...
We believe that this sort of work has great promise of enabling work in space that might otherwise never be done . Still , we emphasize that of all problems described here , computer vision is likely to prove ...
Page 365
We believe that artificial intelligence will eventually prove as important to space exploitation and exploration as any of the other technologies for which there are large , focused , and dedicated NASA centers today ...
We believe that artificial intelligence will eventually prove as important to space exploitation and exploration as any of the other technologies for which there are large , focused , and dedicated NASA centers today ...
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 areas Artificial Intelligence associated automated automatic become behavior called complex computer science concerned construction cost decisions defined described devices direct discussion domain elements engineering environment example existing experience exploration expressions field Figure function given goal Group heuristic human important improvement increase interest knowledge language learning limited machine intelligence manipulators mathematical means mechanisms memory methods mission NASA nature Newell objects operations pattern performance planning position possible present problem problem solving procedure processing produce Project properties psychology reasoning represent robot rules selected sequences Simon simple simplex method solution solving space spacecraft specific Stanford statement step structure Study success symbolic task techniques theorem theory tion understanding University
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. Office of Aeronautics and Space Technology |
| Publisher | U.S. Government Printing Office, 1980 |
| Original from | University of Illinois at Urbana-Champaign |
| Digitized | 19 Apr 2011 |
| Length | 400 pages |
| Export Citation | BiBTeX EndNote RefMan |