Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 6-10 of 51
Page 342
... automatic theorem proving programs have been developed that possess some of these same skills to a limited degree . The study of theorem proving has been of significant value in the development of AI methods . The formalization of the ...
... automatic theorem proving programs have been developed that possess some of these same skills to a limited degree . The study of theorem proving has been of significant value in the development of AI methods . The formalization of the ...
Page 347
... automatically and send- ing the scientific information back to Earth . Figure 4-1 . Galileo spacecraft navigates between Jupiter and Galilean satellites in rendering . After sending a probe into the jovian atmosphere , the robot ...
... automatically and send- ing the scientific information back to Earth . Figure 4-1 . Galileo spacecraft navigates between Jupiter and Galilean satellites in rendering . After sending a probe into the jovian atmosphere , the robot ...
Page 351
... automatic manipulator modules under remote control perform the assembly . Figure 4-8 . Complex construction facility in space with automatic beam builders , cranes , manipulators , etc. , is served by the Shuttle . handling capability ...
... automatic manipulator modules under remote control perform the assembly . Figure 4-8 . Complex construction facility in space with automatic beam builders , cranes , manipulators , etc. , is served by the Shuttle . handling capability ...
Page 355
... automatic vision and manipulation techniques that could be developed into practical systems for automatic inspection and assembly of components . Parts could be marked to allow simple visual tracking programs to roughly position them ...
... automatic vision and manipulation techniques that could be developed into practical systems for automatic inspection and assembly of components . Parts could be marked to allow simple visual tracking programs to roughly position them ...
Page 356
... automatic recovery algorithms can be invoked to " repair " the fault . LSI technology holds the promise of more powerful , sophisticated computers with smaller power and weight requirements . However , since technology is rapidly ...
... automatic recovery algorithms can be invoked to " repair " the fault . LSI technology holds the promise of more powerful , sophisticated computers with smaller power and weight requirements . However , since technology is rapidly ...
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