Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 28
Page 333
... Theorem Proving ... · I. Social Impact ... 1. The Dehumanization - Alienation Hypothesis 2 . The Potential for Increased Unemployment 3 . The Impact on Resources and Environment J. Conclusion iii iv V vi .viii X 1 1 2 2 3 3 4 4 4 5 5 ...
... Theorem Proving ... · I. Social Impact ... 1. The Dehumanization - Alienation Hypothesis 2 . The Potential for Increased Unemployment 3 . The Impact on Resources and Environment J. Conclusion iii iv V vi .viii X 1 1 2 2 3 3 4 4 4 5 5 ...
Page 340
... theorem proving , and robot problem solving overlaps . In a sense , existing compilers already do " automatic programming . " They take in a complete source code specifica- tion of what a program is to accomplish ; they write an object ...
... theorem proving , and robot problem solving overlaps . In a sense , existing compilers already do " automatic programming . " They take in a complete source code specifica- tion of what a program is to accomplish ; they write an object ...
Page 342
... 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 from hypotheses but it also demands ...
... 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 from hypotheses but it also demands ...
Page 399
... theorem proving , and database systems . He is a member of the Association for Computing Machinery , SIAM , and IEEE . He is on the editorial boards of Information Systems and Encyclopedia of Library and Information Science . Dr. Marvin ...
... theorem proving , and database systems . He is a member of the Association for Computing Machinery , SIAM , and IEEE . He is on the editorial boards of Information Systems and Encyclopedia of Library and Information Science . Dr. Marvin ...
Page 407
... theorem proving , pattern recognition , and other do- mains which would seem to require some intelligence . The literature does not include any general discussion of the outstanding problems of this field . In this article , an attempt ...
... theorem proving , pattern recognition , and other do- mains which would seem to require some intelligence . The literature does not include any general discussion of the outstanding problems of this field . In this article , an attempt ...
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