ABSTRACT
Modern interest in artificial intelligence (AI) is coincident with the development of high-speed digital computers. Shortly after World War II, many hoped that truly intelligent machines would soon be a reality. In 1950, Turing, in his now-famous article “Computing Machinery and Intelligence,” which appeared in the journal Mind, predicted that machines would duplicate human intelligence by the end of the century. In 1956, at a workshop held at Dartmouth College, McCarthy introduced the term “artificial intelligence,” and the race was on. The first attempts at mechanizing reasoning included Newell and Simon’s 1956 computer program, the Logic Theory Machine, and a computer program developed by Wang that proved theorems in propositional logic.
