Genre
Some methods of artificial intelligence and heuristic programming
Particular attention is given to processes involving pattern recognition, learning, planning ahead, and the use of analogies or?models!. Also considered is the question of designing "administrative" procedures to manage the use of these other devices. The paper begins with a discussion of what is meant by "Intelligence" and concludes with a sec-- tion concerned with some techniques through which a machine might further improve itself by adding to Its collection of problem--solving methods. I. INTELLIGENCE I feel that it would not be useful to lay down any absolute defini-- tion of "intelligence" or of "intelligent behaviour". For our goals in trying to design "thinking machines" are constantly changing in relation to our ever--increasing resources in this area. Certainly there are many kinds of performances which if exhibited by a man we would all agree, today, require or manifest intelligence. But would we agree tomorrow?
Empirical Explorations with the Logic Theory Machine: A Case Study in Heuristics
This is a case study in problem-solving, representing part of a program of research on complex information-processing systems. We have specifieda system for finding proofs of theorems in elementary symbolic logic, and by programming a computer to these specifications, have obtained empirical data on the problem-solving process in elementary logic. The program is called the Logic Theory Machine (LT); it was devised to learn how it is possible to solve difficult problems such as proving mathematical theorems, discovering scientific laws from data, playing chess, or understanding the meaning of English prose.The research reported here is aimed at understanding the complexp rocesses (heuristics) that are effective in problem-solving. Hence, we are not interested in methods that guarantee solutions, but which require vastamounts of computation. Rather, we wish to understand how a mathematician, for example, is able to prove a theorem even though he does not know when he starts how, or if, he is going to succeed.Proceedings of the Western Joint Computer Conference, 15:218-239. Reprinted in Feigenbaum and Feldman, Computers and Thought (1963).
Dynamic Programming
The Dawn of Dynamic Programming Richard E. Bellman (1920–1984) is best known for the invention of dynamic programming in the 1950s. During his amazingly prolific career, based primarily at The University of Southern California, he published 39 books (several of which were reprinted by Dover, including Dynamic Programming, 42809-5, 2003) and 619 papers. Despite battling the crippling effects of a brain injury, he still published 100 papers during the last eleven years of his life. He was a frequent informal advisor to Dover during the 1960s and 1970s. Professor Bellman was awarded the IEEE Medal of Honor in 1979 "for contributions to decision processes and control system theory, particularly the creation and application of dynamic programming."
Logical syntax and semantics: Their linguistic relevance
Language, a journal of the Linguistic Society of America (LSA), has appeared continuously since 1925 (4 issues per year). It publishes scholarly articles that report on original research covering the field of linguistics broadly, thus treating topics that include, among others, linguistic theory (phonology, morphology, syntax, and semantics); language description; language in its social setting; the history of individual languages; language acquisition; experimentation on language perception, production, and processing; computational modeling of language; and the history of linguistics. Language also publishes research reports, discussion notes, and reviews and, beginning in 2013, has expanded to include digital content in four online-only sections: Perspectives, Phonological Analysis, Language and Public Policy, and Teaching Linguistics. Language also included the LSA Bulletin newsletter as a supplement from 1930 - 1969.
Computing machinery and intelligence
An excellent place to start. In this article, Turing not only proposes the Imitation Game in its original form, but addresses nine different arguments against AI, including Goedel's theorem and consciousness. Several recent arguments against AI are variations on the ones Turing enumerates. 'I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous....The new form of the problem can be described in terms of a game which we call the "imitation game."' I.—COMPUTING MACHINERY AND INTELLIGENCE. Mind 59, p. 433-460 (PDF from Oxford University Press).