Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 100
Page 339
... methods and techniques have been applied . A. Robotics The problem of controlling the physical actions of a mobile robot might not seem to require much intelligence . Even small children are able to navigate successfully through their ...
... methods and techniques have been applied . A. Robotics The problem of controlling the physical actions of a mobile robot might not seem to require much intelligence . Even small children are able to navigate successfully through their ...
Page 340
... methods currently known for solving NP - complete problems grows exponentially with prob- lem size . It is not yet known whether faster methods ( involving only polynomial time , say ) exist ; but it has been proven that if a faster method ...
... methods currently known for solving NP - complete problems grows exponentially with prob- lem size . It is not yet known whether faster methods ( involving only polynomial time , say ) exist ; but it has been proven that if a faster method ...
Page 341
... methods have also been employed in the development of automatic consulting systems . These systems provide human users with expert conclusions about specialized subject areas . Automatic consulting systems have been built that can ...
... methods have also been employed in the development of automatic consulting systems . These systems provide human users with expert conclusions about specialized subject areas . Automatic consulting systems have been built that can ...
Page 342
... methods of Artificial Intelligence . H. Theorem Proving Finding a proof ( or disproof ) for a conjectured theorem in mathematics can certainly be regarded as an intellectual task . Not only does it require the ability to make deductions ...
... methods of Artificial Intelligence . H. Theorem Proving Finding a proof ( or disproof ) for a conjectured theorem in mathematics can certainly be regarded as an intellectual task . Not only does it require the ability to make deductions ...
Page 355
... method of choice long before robotics become practical on Earth . The uses of robotics can be broadly grouped into manipu- lators and intelligent planetary explorers . There already exist automatic vision and manipulation techniques ...
... method of choice long before robotics become practical on Earth . The uses of robotics can be broadly grouped into manipu- lators and intelligent planetary explorers . There already exist automatic vision and manipulation techniques ...
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