John McCarthy (1927-2011) était un informaticien américain qui a inventé le terme « intelligence artificielle » en 1955 et a organisé l'atelier de Dartmouth de 1956, qui a fondé ce domaine en tant que discipline académique. Il a également créé le langage de programmation LISP, l'un des premiers et des plus influents langages pour la recherche en IA.
Début de carrière et proposition de Dartmouth
McCarthy a étudié les mathématiques à Caltech et à Princeton, où il a été influencé par les travaux de Claude Shannon sur la théorie de l'information. En 1955, alors qu'il était au Dartmouth College, il a co-écrit une proposition de financement avec Marvin Minsky, Claude Shannon et Nathaniel Rochester pour un projet de recherche estival visant à explorer « la conjecture selon laquelle chaque aspect de l'apprentissage ou toute autre caractéristique de l'intelligence peut, en principe, être décrit si précisément qu'une machine peut être construite pour le simuler ». La proposition a introduit le terme « intelligence artificielle », et l'atelier de 1956 qui en a résulté est conventionnellement considéré comme l'événement fondateur du domaine.
LISP et calcul symbolique
En 1958, McCarthy, alors au MIT, a conçu LISP (List Processor), un langage construit autour d'expressions symboliques et de fonctions récursives, qui est devenu le langage dominant de la recherche en IA symbolique pendant des décennies. LISP a introduit des idées, notamment le ramassage de déchets et les expressions conditionnelles, qui ont influencé les langages de programmation bien au-delà de l'IA. McCarthy a également été un pionnier des systèmes de temps partagé et, dans un article de 1959, a proposé le « Advice Taker », une conception précoce d'un programme capable d'utiliser le raisonnement logique pour résoudre des problèmes, un ancêtre des travaux ultérieurs sur les systèmes experts et la représentation des connaissances.
Stanford et carrière ultérieure
McCarthy a rejoint l'Université Stanford en 1962, où il a fondé le Laboratoire d'intelligence artificielle de Stanford et a passé la majeure partie de sa carrière. Il est resté un partisan des approches logiques de l'IA, soutenant que le raisonnement de sens commun nécessitait des représentations formelles des connaissances, une position qui l'a mis en tension avec les approches statistiques et par réseaux de neurones qui ont fini par dominer le domaine des décennies plus tard, y compris les méthodes de apprentissage profond derrière les grands modèles de langage modernes. Il a reçu le prix Turing en 1971 pour ses contributions à l'IA.
Héritage
La proposition de Dartmouth de McCarthy a effectivement nommé le domaine de l'intelligence artificielle, et sa conviction que l'intelligence pouvait être capturée par des règles formelles et symboliques a façonné les premières décennies de la recherche en IA, une approche plus tard qualifiée d'« IA à l'ancienne » ou d'IA symbolique. Bien que son paradigme basé sur la logique ait été largement supplanté par le apprentissage automatique piloté par les données, son accent sur le raisonnement de sens commun et la représentation formelle des connaissances continue d'informer les discussions sur les limites des systèmes purement statistiques et la quête de l'intelligence artificielle générale.