Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 80
Page 338
... tasks such as these . Specifically , there are computer systems that can diagnose diseases , plan the synthesis of 2 This section is based on copyrighted material in Nils J. Nilsson's book Principles of Artificial Intelligence available ...
... tasks such as these . Specifically , there are computer systems that can diagnose diseases , plan the synthesis of 2 This section is based on copyrighted material in Nils J. Nilsson's book Principles of Artificial Intelligence available ...
Page 339
... 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 develop many AI ...
... 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 develop many AI ...
Page 340
... 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 . Many automatic programming systems ...
... 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 . Many automatic programming systems ...
Page 342
... task . Not only does it require the ability to make deductions from hypotheses but it also demands intuitive skills ... tasks , including medical diagnosis and information retrieval , can be formalized as theorem - proving problems . For ...
... task . Not only does it require the ability to make deductions from hypotheses but it also demands intuitive skills ... tasks , including medical diagnosis and information retrieval , can be formalized as theorem - proving problems . For ...
Page 344
... tasks which existing machine intelligence technology is fully capable of dealing with more reliably and less expensively than if human beings were in the loop . This , in turn , frees human experts for more difficult judgmental tasks ...
... tasks which existing machine intelligence technology is fully capable of dealing with more reliably and less expensively than if human beings were in the loop . This , in turn , frees human experts for more difficult judgmental tasks ...
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