John McCarthy

John McCarthy
Page d'aide sur l'homonymie Pour les articles homonymes, voir Mac Carthy.
John McCarthy
Image illustrative de l'article John McCarthy
John McCarthy en 2006
Naissance 4 septembre 1927
Boston, Massachusetts (États-Unis)
Décès 23 octobre 2011 (à 84 ans)
Stanford, Californie (États-Unis)
Domicile Drapeau des États-Unis États-Unis
Nationalité Américaine
Champs Informatique
Institution Stanford University, Massachusetts Institute of Technology, Dartmouth College, Princeton University
Diplômé de Princeton University, California Institute of Technology
Renommé pour Intelligence Artificielle, LISP
Distinctions Prix Turing (1971)
Prix Kyoto (1988)
National Medal of Science (1991)
Benjamin Franklin Medal (2003)

John McCarthy (né le 4 septembre 1927, à Boston, Massachusetts - mort le 24 octobre 2011[1]) est le principal pionnier de l'intelligence artificielle avec Marvin Minsky ; il incarne le courant mettant l'accent sur la logique symbolique.

À la fin des années 1950, après un doctorat en mathématique, il a créé avec Fernando Cobarto la technique du temps partagé, qui permet à plusieurs utilisateurs d'employer simultanément un même ordinateur. Il est également le créateur du langage LISP, en 1958. Il reçoit le prix Turing en 1971 pour ses travaux en intelligence artificielle.

Sommaire

Adolescence et études

John McCarthy est né à Boston, dans le Massachusetts le 4 septembre 1927 d'un père immigrant Irlandais, John Patrick, et d'une mère juive lituanienne immigrante, Ida Glatt McCarthy[2]. Il a été contraint de voyager fréquemment, jusqu'à ce que son père trouve un travail à Los Angeles, en Californie.

McCarthy a dès son jeune âge montré un intérêt pour les mathématiques. Pendant son adolescence, il apprend par lui-même, avec les livres utilisés à l'institution technologique de Californie (Caltech). À son entrée à la Caltech la même année, ses connaissances lui ont permis de passer les deux premières années de mathématiques[3].

Après avoir obtenu son diplôme en 1948, McCarthy a continué ses études à Caltech, pour finalement recevoir un doctorat en mathématiques à l'université de Princeton, en 1951.

En parallèle, McCarthy s'est marrié avec Vera Watson, une développeuse et alpiniste, qui est morte en 1978, alors qu'elle tentait de monter l'Annapurna I.

Carrière informatique

À partir de 1962, McCarthy a été professeur à l'Université de Stanford, jusqu'à ce qu'il prenne sa retraite en 2000.

En 1955, il dirige la Conférence de Dartmouth, lors de laquelle il présente le principe d'élagage alpha-beta, un algorithme d'évaluation jouant un rôle majeur dans la programmation d'intelligence artificielle, et notamment utilisé par la grande majorité des programmes d'échecs. Le programme Kotok-McCarthy est l'un des plus forts des années 1960. Il est également l'inventeur en 1958 du langage Lisp[1]. Il quitte la MIT en 1962 pour créer le laboratoire d'intelligence artificielle de l'Université Stanford. Il est aussi l'un des pionniers du cloud computing [4]. Il reçoit le prix Turing en 1971 pour ses travaux en intelligence artificielle.

Après sa retraite, il fut l'auteur d'une nouvelle de science-fiction, intitulée Le robot et le bébé[5], « pour illustrer en partie ce que les robots domestiques devraient être »[6].

Récompenses

Publications majeures

  • McCarthy, J. 1959. Programs with Common Sense. In Proceedings of the Teddington Conference on the Mechanization of Thought Processes, 756-91. London: Her Majesty's Stationery Office.
  • McCarthy, J. 1960. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM 3(4):184-195.
  • McCarthy, J. 1963a A basis for a mathematical theory of computation. In Computer Programming and formal systems. North-Holland.
  • McCarthy, J. 1963b. Situations, actions, and causal laws. Technical report, Stanford University.
  • McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463-502.
  • McCarthy, J. 1977. Epistemological problems of artificial intelligence. In IJCAI, 1038-1044.
  • McCarthy, J. 1980. Circumscription: A form of non-monotonic reasoning. Artificial Intelligence 13(1-2):23-79.
  • McCarthy, J. 1986. Applications of circumscription to common sense reasoning. Artificial Intelligence 28(1):89-116.
  • McCarthy, J. 1990. Generality in artificial intelligence. In Lifschitz, V., ed., Formalizing Common Sense. Ablex. 226-236.
  • McCarthy, J. 1993. Notes on formalizing context. In IJCAI, 555-562.
  • McCarthy, J., and Buvac, S. 1997. Formalizing context: Expanded notes. In Aliseda, A.; van Glabbeek, R.; and Westerstahl, D., eds., Computing Natural Language. Stanford University. Also available as Stanford Technical Note STAN-CS-TN-94-13.
  • McCarthy, J. 1998. Elaboration tolerance. In Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning, Commonsense-1998.
  • Costello, T., and McCarthy, J. 1999. Useful counterfactuals. Electronic Transactions on Artificial Intelligence 3(A):51-76
  • McCarthy, J. 2002. Actions and other events in situation calculus. In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M., eds., Proceedings of KR-2002, 615-628.

Notes et références

  • "Spider & LISP, des amis pour la vie" by Nicolas D.
  • "Last but not the least, My Spider in LISP" by Nicolas D.
  1. a et b L'intelligence artificielle est orpheline; sur SLate.fr
  2. Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists, Dennis Shasha and Cathy Lazere, Printemps 1998.
  3. Patrick J. Hayes, « On John McCarthy's 80th Birthday, in Honor of his Contributions », dans AI Magazine, Association for the Advancement of Artificial Intelligence, vol. 28, no 4, 2007, p. 93–102 [texte intégral (page consultée le 2010-11-24)] 
  4. "We keep inventing new names for time-sharing. It came to be called servers.… Now we call it cloud computing. That is still just time-sharing. John started it." [1]
  5. Le robot et le bébé par John McCarthy
  6. John McCarthy, père de l'intelligence artificielle, est mort
  7. DOI:10.1109.2FMIS.2011.64
    This citation will be automatically completed in the next few minutes. You can jump the queue or expand by hand
  8. IEEE Computer Society Magazine Honors Artificial Intelligence Leaders (décembre 24, 2011 (2011-08-24)). Consulté le juin 18, 2011 (2011-09-18). Press release source: PRWeb (Vocus).

Liens externes

Sur les autres projets Wikimedia :


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article John McCarthy de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • John McCarthy — en 2006. Nombre …   Wikipedia Español

  • John McCarthy — may refer to:;Government: * John McCarthy (ambassador) (b. 1942), Australian ambassador * John H. McCarthy (1850 ndash;1908), U.S. Representative from New York * John McCarthy (Nebraska) (1857 ndash;1943), Nebraska Republican politician;Science:… …   Wikipedia

  • John McCarthy — (2006) John McCarthy (* 4. September 1927 in Boston, Massachusetts; † 23. Oktober 2011 in Palo Alto, Kalifornien[1]) …   Deutsch Wikipedia

  • John McCarthy, Jr. — is a set decorator with an extensive filmography of over 600 films that began in 1935, when he dressed the set for His Fighting Blood . Gaining experience on a seemingly endless succession of B movies, his stock began to rise steadily in 1948… …   Wikipedia

  • John McCarthy — (n. 4 de septiembre de 1927, Boston, Massachusetts), a veces conocido afectuosamente como Tío John McCarthy, es un prominente científico computacional que recibió el Premio Turing en 1971 por sus importantes contribuciones en el campo de… …   Enciclopedia Universal

  • John McCarthy (journalist) — John Patrick McCarthy CBE (born November 26 1956) is a British journalist who was kidnapped by Islamic Jihad terrorists in Lebanon in April 1986, and held hostage for more than five years. McCarthy, of Irish Catholic extraction,Fact|date=May 2008 …   Wikipedia

  • John McCarthy (ambassador) — John McCarthy (born 1942) has served as Australia s Ambassador to Vietnam (1981 83), Ambassador to Mexico (1985 87), Ambassador to Thailand (1992 94), Ambassador to the United States from 1995 to 1997, Ambassador to Indonesia (1997 2001) and… …   Wikipedia

  • John McCarthy Roll — Juez presidente del Distrito de Arizona …   Wikipedia Español

  • John McCarthy Roll — (* 8. Februar 1947 in Pittsburgh, Pennsylvania; † 8. Januar 2011 in Casas Adobes, Arizona) war ein US amerikanischer Bundesrichter. Leben …   Deutsch Wikipedia

  • John McCarthy (linguist) — John McCarthy (born 1953 in Medford, Massachusetts) is a linguist and professor in the Department of Linguistics at the University of Massachusetts Amherst with a speciality in phonology and morphology. He was educated at Harvard University and… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”