Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 42
Page 342
... 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 problems . For these ...
... 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 problems . For these ...
Page 344
... logical satellites , and across the full range of NASA activities . At the present time , the amount of data made ... logic cycle . With machine intelligence and modern computer graphics , an immense amount of data can be analyzed and ...
... logical satellites , and across the full range of NASA activities . At the present time , the amount of data made ... logic cycle . With machine intelligence and modern computer graphics , an immense amount of data can be analyzed and ...
Page 354
... logic gate is halving every 2-1 / 2 years . Figure 5-4 . Computer systems technology . The average increase of computer speed is doubling every 1-1 / 2 years , whereas the failure rate is halving every 2-3 / 4 years . 10 10-15 10-16 ...
... logic gate is halving every 2-1 / 2 years . Figure 5-4 . Computer systems technology . The average increase of computer speed is doubling every 1-1 / 2 years , whereas the failure rate is halving every 2-3 / 4 years . 10 10-15 10-16 ...
Page 372
... logical ) . After the sequence has been scrutinized , it is sent a step at a time , with very careful attention to feedback from the craft to ensure successful completion of each step before proceeding to the next . In a mission with ...
... logical ) . After the sequence has been scrutinized , it is sent a step at a time , with very careful attention to feedback from the craft to ensure successful completion of each step before proceeding to the next . In a mission with ...
Page 374
... logic is not being shared . 2. " Intelligent devices " that have their own microproces- sors cannot obtain more memory than initially planned for the space mission . There may be instances whereby information learned on the ground could ...
... logic is not being shared . 2. " Intelligent devices " that have their own microproces- sors cannot obtain more memory than initially planned for the space mission . There may be instances whereby information learned on the ground could ...
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