Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 6
Page 289
... logic , for instance , important rules of inference , such as modus ponens , take two inputs and deliver a single ... Theorist ) , which worked on elementary symbolic logic [ 15 ] . It is a heuristic search , using a breadth first ...
... logic , for instance , important rules of inference , such as modus ponens , take two inputs and deliver a single ... Theorist ) , which worked on elementary symbolic logic [ 15 ] . It is a heuristic search , using a breadth first ...
Page 290
... logic expressions , { x } . Initial element : theorem to be proved , xo- Desired elements : any of the assumed ... Logic Theorist . 389 that any of the set of theorems will do . C - 29 Problem statement.
... logic expressions , { x } . Initial element : theorem to be proved , xo- Desired elements : any of the assumed ... Logic Theorist . 389 that any of the set of theorems will do . C - 29 Problem statement.
Page 321
... logic problems , etc. ) . The Logic Theorist and GPS ( see Chart 1 ) are typical examples . From this work certain problem - solving concepts were developed and clarified in an uncluttered atmosphere . Among these were the concepts of ...
... logic problems , etc. ) . The Logic Theorist and GPS ( see Chart 1 ) are typical examples . From this work certain problem - solving concepts were developed and clarified in an uncluttered atmosphere . Among these were the concepts of ...
Page 515
... LOGIC THEORIST Newell and Simen ( 1956 ) Newell , Show and Simen ( 1957 ) Newell , Shaw and Simen ( 1960 ) Ernst and Newell ( 1969 ) QA2,3 REF - ARF Raphael and Fikes ( 1968 , 1970 ) Green ( 1968 ) Green ( 19690 , b , c ) STRIPS Fikes ...
... LOGIC THEORIST Newell and Simen ( 1956 ) Newell , Show and Simen ( 1957 ) Newell , Shaw and Simen ( 1960 ) Ernst and Newell ( 1969 ) QA2,3 REF - ARF Raphael and Fikes ( 1968 , 1970 ) Green ( 1968 ) Green ( 19690 , b , c ) STRIPS Fikes ...
Page 518
... LOGIC THEORIST Newell and Simon ( 1958 ) Newell , Shaw and Siman ( 1957 , 1950 ) 660 1965 1970 LINGUISTICS Chomsky ( 1956 , 1957 , 1955 ) Paxton and Robinson ( 1973 ) Barnett ( 1972 ) ETHOLOGY See for example , L Tinbergen ( 1951 ) AND ...
... LOGIC THEORIST Newell and Simon ( 1958 ) Newell , Shaw and Siman ( 1957 , 1950 ) 660 1965 1970 LINGUISTICS Chomsky ( 1956 , 1957 , 1955 ) Paxton and Robinson ( 1973 ) Barnett ( 1972 ) ETHOLOGY See for example , L Tinbergen ( 1951 ) AND ...
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