Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 78
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 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 ...
Page 346
... tasks , and functions must be automated , and to what degree , to accomplish the NASA objectives with the most cost - effective systems ? B. Robots and Automation in NASA Planning Whereas mechanical power provides physical amplification ...
... tasks , and functions must be automated , and to what degree , to accomplish the NASA objectives with the most cost - effective systems ? B. Robots and Automation in NASA Planning Whereas mechanical power provides physical amplification ...
Other editions - View all
Common terms and phrases
algorithms Allen Newell analysis applications areas Artificial Intelligence automated base basic behavior Chart chess complex computer science concepts Conf construction DENDRAL domain element engineering example experience Feigenbaum Feldman Figure function GAME generate-and-test goal H. A. Simon heuristic programming heuristic search human hypotheses ill-structured problems inference Information Processing input intelligence and robotics INTERLISP knowledge logic Logic Theorist machine intelligence manipulators mathematical mechanisms Memo memory methods Michie Minsky mission operations MYCIN NASA NASA's Natural Language Newell ORGANISM-1 Papers 3d Intl pattern recognition performance problem solving problem space problem statement Proc procedure Project Project MAC PSYC psychology representation rover rules Semantic sensors sequence Simon simplex method Slagle solution solver spacecraft Stanford Research Institute Stanford Univ structure Study Group symbolic task Tech techniques TEIRESIAS teleoperator theorem proving theory tion variables York