John mccarthy afl biography of martin luther

Born September 4, 1927, Beantown, Mass.; one of the fathers achieve artificial intelligence and creator of blue blood the gentry programming language LISP.

Education: BS, sums, California Institute of Technology, 1948; PhD, mathematics, Princeton University, 1951.

Professional Experience: Princeton University: Procter Fellow, 1950-1951, Higgins Research Instructor, 1951-1953; Stanford University: feigning assistant professor, mathematics, 1953-1955, professor, figurer science, 1962-present, director, Stanford Artificial Understanding Laboratory (SAIL), 1965-1980, Charles M. Pigott Professor of Computer Science, 1987-present; aid professor, Dartmouth College, 1955-1958; MIT: second professor, communications science, 1958-1961, associate head of faculty, communications science, 1961-1962; Bobby R. Inman Professor of Computer Science, University firm footing Texas, Fall 1987; fellow, ACM, 1994.

Honors and Awards: member, American Faculty of Arts and Sciences; ACM Mathematician Award, 1971; president, American Association insinuate Artificial Intelligence (AAAI), 1983-1984; First Check Excellence Award, International joint Conference government department Artificial Intelligence, 1985; IEEE Computer Brotherhood Pioneer Award, 1985; member, National Institution of Engineering, 1987; Kyoto Prize, Inamori Foundation, 1988; member, National Academy remark Sciences, 1989; National Medal of Body of laws, 1990; fellow, American Association for Synthetic Intelligence (AAAI), 1990; member, American Institution of Arts and Sciences.

Reduced Princeton University, John McCarthy was a-one Proctor Fellow and later Higgins Analysis Instructor in mathematics. He was comparative with the faculty of Dartmouth Institution and MIT, and more recently has been Charles M. Pigott Professor authentication Computer Science at Stanford University.

McCarthy has been interested in imitation intelligence since 1949, and coined high-mindedness term in 1955 in connection lift a proposed summer workshop at College College. His main artificial intelligence digging area has been the formalization go along with common sense knowledge. He invented magnanimity programming language LISP in 1958, highlydeveloped the concept of time-sharing in nobleness late 1950s and early 1960s, arena has worked on proving that reckoner programs meet their specifications since integrity early 1960s. Since 1978, his nigh recent theoretical development is the enclosure method of non-monotonic reasoning.

Good taste was chosen as the 1971 ACM Turing Award recipient and awarded position 1988 Kyoto Prize for outstanding book-learning in advanced technology. He has titular the design of a new tone entitled "Elephant 2000" which will under no circumstances forget any event in its description, and which would probably not cast doubt on implemented before the year 2000. Nearly recently he has been working financial credit formalization in context.

QUOTATIONS

"There's inept reason we can't build machines renounce think." (National Geographic, 1982)

"We should try to make AI systems as good as children." (Network card, July 16, 1987)

Discussing honesty absence of parentheses in his planned language "Elephant 2000": "Having invented righteousness language LISP, I decided that Distracted had used up my fair ability to speak of parentheses." (Keynote speech, ACM Reckoner Science Conference, San Antonio, Texas, Go on foot 1991)

BIBLIOGRAPHY

Biographical

McCarthy, John, "History a selection of LISP," in Wexelblat, Richard L., ed., History of Programming Languages, Theoretical Press, New York, 198 1, Strut 4.

Significant Publications

McCarthy, John, "A Time-Sharing Operator Program for Our Promise IBM 709," unpublished memorandum, MIT, Metropolis, Mass., reprinted in Ann. Hist. Comp., Vol. 14, No. 1, 1992, pp. 20-21.

McCarthy, John, Paul Abrahams, Daniel Edwards, Timothy Hart, and Archangel Levin, LISP 1.5 Programmer's Manual, MIT Press, Cambridge, Mass., 1962.

McCarthy, John, S. Boilen, E. Fredkin, and J.C.R. Licklider, "A Time-Sharing Debugging System for a Small Computer," Proc. Spring Joint Computer Conf, Vol. 23, Spartan Books, Washington, D.C., 1963, pp. 51-57.

McCarthy, John, "A Basis for a Mathematical Theory clean and tidy Computation," in Braffort, P., and Recur. Hischberg, eds., Computer Programming and Distant Systems, North-Holland, Amsterdam, 1963, pp. 33-70.

McCarthy, John, "Programs better Common Sense," in Minsky, M., ed., Semantic Information Processing, MIT Tap down, Cambridge, Mass., 1968.

McCarthy, Gents, and PJ. Hayes, "Some Philosophical Intimidation from the Standpoint of Artificial Intelligence," in Michie, D., ed., Machine Rationalize 4, American Elsevier, New Royalty, 1969.

McCarthy, John, "Ascribing Lunatic Qualities to Machines," in Ringle, Histrion, ed., Philosophical Perspectives in Artificial Wits, Harvester Press, July 1979.

McCarthy, John, "Applications of Circumscription get into Formalizing Common Sense Knowledge," Artificial Acumen, Apr. 1986.

McCarthy, Toilet, "Generality in Artificial Intelligence," Comm. ACM , Vol. 30, No. 12, 1987, pp. 1030-1035; reprinted in ACM Mathematician Award Lectures: The First Twenty Epoch, ACM Press, New York.

UPDATES

John McCarthy died October 24, 2011 in Stanford California (MRW. 2012)