Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 1-5 of 12
Page 320
... chart citing the major references . These references are contained in an extensive bibliography . The paper concludes with a discussion of some of the criticisms of AI and with some predictions about the course of future research ...
... chart citing the major references . These references are contained in an extensive bibliography . The paper concludes with a discussion of some of the criticisms of AI and with some predictions about the course of future research ...
Page 321
... ( Chart 1 ) By reasoning , etc. , we mean the major processes in- volved in using knowledge : Using it to make infer- ences and predictions , to make plans , to answer questions , and to obtain additional knowledge . As a core topic , we ...
... ( Chart 1 ) By reasoning , etc. , we mean the major processes in- volved in using knowledge : Using it to make infer- ences and predictions , to make plans , to answer questions , and to obtain additional knowledge . As a core topic , we ...
Page 515
... CHART 1 : COMMON - SENSE REASONING , DEDUCTION AND PROBLEM SOLVING ADVICE TAKER McCarthy ( 1958 , 1963 ) CHART 2 : MODELING AND REPRESENTATION OF KNOWLEDGE 1955 1960 1965 1970 BI - DIRECTIONAL SEARCH Pahl ( 1970 ) CHART 3 : HEURISTIC ...
... CHART 1 : COMMON - SENSE REASONING , DEDUCTION AND PROBLEM SOLVING ADVICE TAKER McCarthy ( 1958 , 1963 ) CHART 2 : MODELING AND REPRESENTATION OF KNOWLEDGE 1955 1960 1965 1970 BI - DIRECTIONAL SEARCH Pahl ( 1970 ) CHART 3 : HEURISTIC ...
Page 516
... CHART 4 : AI SYSTEMS AND LANGUAGES KALAH Russell ( 1964 ) Slagle and Dixon ( 1969 ) CHART 5 : GAME PLAYING ALGOL , ASSOCIATION and HASH - CODING SCHEMES CHART 6 : MATH , SCIENCE AND ENGINEERING AIDS 1950 1955 1960 1965 1970 1950 1955 ...
... CHART 4 : AI SYSTEMS AND LANGUAGES KALAH Russell ( 1964 ) Slagle and Dixon ( 1969 ) CHART 5 : GAME PLAYING ALGOL , ASSOCIATION and HASH - CODING SCHEMES CHART 6 : MATH , SCIENCE AND ENGINEERING AIDS 1950 1955 1960 1965 1970 1950 1955 ...
Page 517
... CHART 7 : AUTOMATIC THEOREM PROVING EARLY PAPERS Turing ( 1949 ) McCarthy ( 1962 ) GENERAL Balzer ( 1972 ) London ( 1970 ) London ( 1972 ) Manna and Waldinger ( 1971 ) EARLY PROGRAM GENERATION SYSTEMS Green ( 1969b ) Waldinger and ...
... CHART 7 : AUTOMATIC THEOREM PROVING EARLY PAPERS Turing ( 1949 ) McCarthy ( 1962 ) GENERAL Balzer ( 1972 ) London ( 1970 ) London ( 1972 ) Manna and Waldinger ( 1971 ) EARLY PROGRAM GENERATION SYSTEMS Green ( 1969b ) Waldinger 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