Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 28
Page 338
... reasoning , understanding language , and even driving an auto- mobile , are said to demand " intelligence . " Over the past few decades , several computer systems have been built that can perform tasks such as these . Specifically ...
... reasoning , understanding language , and even driving an auto- mobile , are said to demand " intelligence . " Over the past few decades , several computer systems have been built that can perform tasks such as these . Specifically ...
Page 341
... reasoning with the facts in the database . There are several problems that confront the designer of such an intelligent information retrieval system . First , there is the immense problem of building a system that can understand queries ...
... reasoning with the facts in the database . There are several problems that confront the designer of such an intelligent information retrieval system . First , there is the immense problem of building a system that can understand queries ...
Page 342
... reasoning . Many informal tasks , including medical diagnosis and information retrieval , can be formalized as theorem - proving problems . For these reasons , theorem proving is an extremely important topic in the study of AI methods ...
... reasoning . Many informal tasks , including medical diagnosis and information retrieval , can be formalized as theorem - proving problems . For these reasons , theorem proving is an extremely important topic in the study of AI methods ...
Page 394
... reasoning systems , particularly in support of lunar and planetary rovers . • Computer architectures for space systems . • Software tools for space system development . • Algorithm analysis for critical space - related problems ...
... reasoning systems , particularly in support of lunar and planetary rovers . • Computer architectures for space systems . • Software tools for space system development . • Algorithm analysis for critical space - related problems ...
Page 444
... reasoning . For what is the goal defined by a problem but to reduce the " difference " between the present state and the desired state ? The underlying structure of GPS is precisely what we have called a " Character - Method Machine ...
... reasoning . For what is the goal defined by a problem but to reduce the " difference " between the present state and the desired state ? The underlying structure of GPS is precisely what we have called a " Character - Method Machine ...
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