Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 6-10 of 68
Page 342
... language of predicate logic , for example , helps us to understand more clearly some of the components of reasoning . Many informal tasks , including medical diagnosis and information retrieval , can be formalized as theorem - proving ...
... language of predicate logic , for example , helps us to understand more clearly some of the components of reasoning . Many informal tasks , including medical diagnosis and information retrieval , can be formalized as theorem - proving ...
Page 358
... language ( of the DOD ADA variety ) as a basis of this facility . The Study Group also believes that NASA should initiate research towards the creation of automatic tools for software development . 7. Data Management Systems Technology ...
... language ( of the DOD ADA variety ) as a basis of this facility . The Study Group also believes that NASA should initiate research towards the creation of automatic tools for software development . 7. Data Management Systems Technology ...
Page 359
... languages and modern debugging and multiprocessing methods . Self - Assessment . Even more serious , NASA administrators seem to believe that the agency is outstanding in computation science and engineering . This is far from true . The ...
... languages and modern debugging and multiprocessing methods . Self - Assessment . Even more serious , NASA administrators seem to believe that the agency is outstanding in computation science and engineering . This is far from true . The ...
Page 363
... languages for problem solving has been a central focus in artificial intelligence since the science began . In the earliest stages of AI , it was seen that a computer could be programmed to try a variety of alternatives , when it ...
... languages for problem solving has been a central focus in artificial intelligence since the science began . In the earliest stages of AI , it was seen that a computer could be programmed to try a variety of alternatives , when it ...
Page 364
... languages with embedded problem- solving apparatus , so that the " programmer " can give instruc- tions in much the same way as one communicates with people . First , one states the general goal , names the parts , and suggests an order ...
... languages with embedded problem- solving apparatus , so that the " programmer " can give instruc- tions in much the same way as one communicates with people . First , one states the general goal , names the parts , and suggests an order ...
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