Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 6-10 of 28
Page 408
... theorem - proving , or in games with precise rules for play and scoring . In one sense all such problems are trivial . For if there exists a solution to such a problem , that solution can be found eventually by any blind exhaustive ...
... theorem - proving , or in games with precise rules for play and scoring . In one sense all such problems are trivial . For if there exists a solution to such a problem , that solution can be found eventually by any blind exhaustive ...
Page 438
... theorem proving in the predicate cal- culus ( for which exhaustive decision procedures are no longer available ) . We have no space to discuss this area , 25 but it seems clear that a program to solve real mathematical problems will ...
... theorem proving in the predicate cal- culus ( for which exhaustive decision procedures are no longer available ) . We have no space to discuss this area , 25 but it seems clear that a program to solve real mathematical problems will ...
Page 267
... theorem- proving program in logic [ 15 ] , a checker - playing program [ 19 ] , and a pattern recognition program ... theorems in plane geometry , one that did symbolic indefinite integration , a couple of chess programs , a program for ...
... theorem- proving program in logic [ 15 ] , a checker - playing program [ 19 ] , and a pattern recognition program ... theorems in plane geometry , one that did symbolic indefinite integration , a couple of chess programs , a program for ...
Page 277
... theorem - proving programs and the methods that lie behind them do not involve mathematical advances ; rather they appear to capture methods available for proof discovery within the existing state of ignorance . demands that have to be ...
... theorem - proving programs and the methods that lie behind them do not involve mathematical advances ; rather they appear to capture methods available for proof discovery within the existing state of ignorance . demands that have to be ...
Page 283
... theorem , that our mathematical sophistication leads us not to notice how powerful it is . Whenever a set of ... proving theorems and doing other mathe- matics , matching shows up in tasks that seem remote from this discipline . One of ...
... theorem , that our mathematical sophistication leads us not to notice how powerful it is . Whenever a set of ... proving theorems and doing other mathe- matics , matching shows up in tasks that seem remote from this discipline . One of ...
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