Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 6-10 of 63
Page 341
... knowledge that human experts in these subjects obviously possess and use . This problem is made more difficult by the fact that the expert knowledge in many important fields is often imprecise , uncertain , or anecdotal ( though human ...
... knowledge that human experts in these subjects obviously possess and use . This problem is made more difficult by the fact that the expert knowledge in many important fields is often imprecise , uncertain , or anecdotal ( though human ...
Page 342
... knowledge should be represented and used is one of the system design problems that invites the methods of Artificial Intelligence . H. Theorem Proving Finding a proof ( or disproof ) for a conjectured theorem in mathematics can ...
... knowledge should be represented and used is one of the system design problems that invites the methods of Artificial Intelligence . H. Theorem Proving Finding a proof ( or disproof ) for a conjectured theorem in mathematics can ...
Page 343
... knowledge and information - processing tech- nology is knowledge of how to produce and use knowledge more effectively . Modern instruments - those , for example , that allow us to detect trace quantities of contaminants in air , water ...
... knowledge and information - processing tech- nology is knowledge of how to produce and use knowledge more effectively . Modern instruments - those , for example , that allow us to detect trace quantities of contaminants in air , water ...
Page 356
... knowledge guided interpretation systems and initiate development of LSI - based smart sensors capable of both signal - based and symbolic interpretation . 3. Mission Operations Technology It appears that significant cost - effective ...
... knowledge guided interpretation systems and initiate development of LSI - based smart sensors capable of both signal - based and symbolic interpretation . 3. Mission Operations Technology It appears that significant cost - effective ...
Page 357
... knowledge ( i.e. , knowledge about how programs are constructed ) is embedded within a computer tool that utilizes this knowledge to automate 20.
... knowledge ( i.e. , knowledge about how programs are constructed ) is embedded within a computer tool that utilizes this knowledge to automate 20.
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