Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 89
Page 340
... given program achieves a stated result . The latter is called program verification . Many automatic programming systems produce a verification of the output program as an added benefit . One of the important contributions of research in ...
... given program achieves a stated result . The latter is called program verification . Many automatic programming systems produce a verification of the output program as an added benefit . One of the important contributions of research in ...
Page 343
... given in various survey articles by Minsky ( 1963 ) , Newell ( 1969 ) , Nilsson ( 1974 ) , and Feigenbaum ( 1978 ) all of which appear as Appendixes B to E of this report . Appendix F ( Newell , 1970 ) discusses the relationship between ...
... given in various survey articles by Minsky ( 1963 ) , Newell ( 1969 ) , Nilsson ( 1974 ) , and Feigenbaum ( 1978 ) all of which appear as Appendixes B to E of this report . Appendix F ( Newell , 1970 ) discusses the relationship between ...
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
... 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 flyby and / or orbiting spacecraft like the Mariner and Pioneer families . They ...
... 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 flyby and / or orbiting spacecraft like the Mariner and Pioneer families . They ...
Page 353
... given in the supporting documentation . With the development of integrated circuits , microprocessors , and silicon chip technology , the capabilities of computers have been growing at an astonishing rate . Figures 5-1 through 5-4 ...
... given in the supporting documentation . With the development of integrated circuits , microprocessors , and silicon chip technology , the capabilities of computers have been growing at an astonishing rate . Figures 5-1 through 5-4 ...
Other editions - View all
Common terms and phrases
algorithms Allen Newell analysis applications areas Artificial Intelligence automated basic behavior capabilities centers chess complex computer science computer systems concept 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 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 space missions spacecraft specific Stanford Research Institute Stanford Univ structure Study Group subproblems symbolic task Tech techniques TEIRESIAS teleoperator theory tion