Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 88
Page 340
The task of automatically writing a program to achieve a stated result is closely related to the task of proving that a given program achieves a stated result . The latter is called program verification .
The task of automatically writing a program to achieve a stated result is closely related to the task of proving that a given program achieves a stated result . The latter is called program verification .
Page 343
Detailed discussion of the methods and techniques of AI and the wide range of problem domains in which they have been applied is given in various survey articles by Minsky ( 1963 ) , Newell ( 1969 ) , Nilsson ( 1974 ) , and Feigenbaum ...
Detailed discussion of the methods and techniques of AI and the wide range of problem domains in which they have been applied is given in various survey articles by Minsky ( 1963 ) , Newell ( 1969 ) , Nilsson ( 1974 ) , and Feigenbaum ...
Page 344
Given different assumptions , the saving might be several times less or several times more . It is clear , however , that the efficiency of NASA activities in bits of information per dollar and in new data acquisition opportunities ...
Given different assumptions , the saving might be several times less or several times more . It is clear , however , that the efficiency of NASA activities in bits of information per dollar and in new data acquisition opportunities ...
Page 347
Estimates of technology development efforts to automate system functions are given in Table 4-1 . 1. Space Exploration Space exploration robots may be exploring space from Earth orbit as orbiting telescopes , or they may be planetary ...
Estimates of technology development efforts to automate system functions are given in Table 4-1 . 1. Space Exploration Space exploration robots may be exploring space from Earth orbit as orbiting telescopes , or they may be planetary ...
Page 353
A further discussion of future NASA applications of machine intelligence and robotics , and possible spinoff of these activities , is given in the supporting documentation . - With the development of integrated circuits ...
A further discussion of future NASA applications of machine intelligence and robotics , and possible spinoff of these activities , is given in the supporting documentation . - With the development of integrated circuits ...
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 |