La naissance officielle de l'IA remonte à une conférence en Août 1956, au Darmouth College (Hanover, New Hampshire), à laquelle participèrent entre autre A. Newell, M. Minsky, H. Simon, C. Shannon, et J. Mac Carthy. C'est ce dernier qui donna son nom à cette discipline, et proposa l'objectif de décrire l'intelligence afin de la reproduire dans une machine.
Les premier programme d'IA datent également de cette période, avec le démonstrateur de théorème en logique des propositions de Newell, Shaw et Simon (The logic theorist, 1956) et leur programme de jeu d'échec (1957), et aussi un interprète du langage LISP (MacCarthy, 1958).
D'autres auteurs avaient cependant déjà eu l'idée de machines mimant l'activité mentale humaine, notamment Descartes et ses animaux-machines. Mais les aspects les plus importants de l'IA furent l'oeuvre de Leibniz, Boole (1850), puis Whitehead et Russel, avec leur "Principia Mathematica" (1910). Des apports important sont le fait également de Gödel (le théorème d'incomplétude, 1930) ainsi que de Tarsky et Church (Le théorème d'indécidabilité, 1934).
D'autres concepts furent nécessaire à la naissance et au développement de l'IA, comme le Lambda-calcul et les divers travaux philosophique et technique sur la machine intelligente et la vie artificielle. On se doit de citer ici Alan Turing qui inventa le concept de machine universelle ainsi qu'un test d'intelligence d'une machine.
Sommaire Intelligence Artificielle
> Fondements
L'I.A., une science cognitive?
Ou une branche de l'Informatique?
Science cognitive et Informatique : opposition et convergence
Turing : les machines peuvent-elles penser?
