                                          John McCarthy(1927-2011)  Mathématicien américain qui a fondé avec Marvin Minsky le laboratoire d’intelligence artificielle du prestigieux MIT ! L’un des pionniers de l’intelligence artificielle qui met l’accent sur la logique symbolique et a créé avec Fernando Corbato la technique du temps partagé qui permet à plusieurs personnes d’utiliser le même ordinateur. John McCarthy a également crée le LISP, deuxième plus vieux langage informatique au monde après le Fortran, ce langage est rapidement devenu le langage favori des chercheurs en intelligence artificielle. Il créa aussi le tout premier ordinateur capable de « voir » en trois dimensions et de contrôler un bras robotisé, qui repère des blocs et les empile. Ses travaux servent encore aux chercheurs pour élaborer une intelligence dite forte.                                            Alan Turing (1912-1954)  Il était un logicien anglais spécialisé en cryptologie, notamment le cryptage des communications pendant le Seconde Guerre Mondiale. Il était professeur à Cambridge et Princeton puis à Manchester, c’est là qu’il rencontra ses futurs collaborateurs, Von Neumann, Shannon et Church. Ce passionné des mathématiques a créé de nombreuses machines tel que les machines à penser, qui utilisaient des algorithmes récursifs1 et les fameux ordinateurs ! Leur But premier était d’interpréter des constructions logiques et d’en dégager les catégories de problèmes solvables. A tout juste 20 ans, Turing s’attaque au problème de la décidabilité d’un énoncé mathématique dans une théorie abstraite : Peut-on exhiber une méthode universelle permettant de prouver qu’il est vrai ou faux ? Turing a remodelé ce problème avec des termes nouveau en utilisant, à des fins d’automatisation théorique à priori indépendantes de ce problème, le concept de fonctions récursives outil de bases de ses fameuses machines. Un énoncé décidable devient alors équivalent à une fonction calculable, lui permettant de répondre « non » à ce problème. Turing mit ses compétences aux services de l'armée britannique lors de la seconde guerre mondiale (1943), en concevant avec Max Newman le Colossus 1, ordinateur capable de déchiffrer les codes de la célèbre machine allemande Enigma, d'origine hollandaise et utilisée pour la transmission des messages secrets. La conception du Colossus resta top secret jusqu'en 1975. Turing contribuera aussi à la mise en place du premier puissant ordinateur : le Mark 1, qui vit le jour à Harvard (U.S.A.). Après la guerre, il se met à travailler sur un des tout premiers ordinateurs et a contribué de manière provocatrice au débat sur la capacité des machines à penser en créant son célèbre Test de Turing qui doit déterminer si l’interlocuteur est humain ou une machine. Il s’est suicidé en 1954 car il était poursuivi pour homosexualité en Angleterre. Après sa mort, l’Association for Computing Machinery a fondée le prix Turing qui récompense les travaux en informatique. Ce prix est souvent considéré comme le prix Nobel de l’informatique.                                             Marvin Minsky (1927- )  Scientifique américain dans le domaine des sciences cognitives et de l’intelligence artificielle. Il est le cofondateur avec John McCarthy du groupe d’intelligence artificielle du Massachussetts Institute of Technology (MIT, ceci dit en passant, la faculté de science la plus réputée au monde) Il est l’auteur de nombreuses publications en intelligence artificielle, mais aussi en philosophie. Il défend l’idée que l’intelligence artificielle doit utiliser différentes approches pour résoudre un problème. Ainsi il s’attaque aux réseaux de neurones de type « Perceptrons » dans son livre du même nom, il attaque ces réseaux de neurones sur le fait qu’ils ne peuvent pas traiter des problèmes non linéaires. Son lire entraînera la perte de nombreux crédits de recherche vers l’intelligence artificielle symbolique. Minsky défend l’idée que les systèmes doivent être dotés de « gestionnaires » qui ont pour but de sélectionner les meilleures solutions au problème donné. Un système intelligent possèdera deux types d'agents, des spécialistes et des gestionnaires. Les spécialistes peuvent implémenter les techniques connues d'intelligence artificielle pour résoudre des problèmes précis. Les gestionnaires sont chargés de planifier, de sélectionner les spécialistes, d'évaluer les résultats obtenus.                                           Allan Newell (1927-1992)   Chercheur en informatique et psychologie cognitive à la Rand corporation et à la Carnegie-Mellon’s School of Computer Science. Il a participé aux tous premiers programmes de l’intelligence artificielle avec the Logic Theory Machine en 1956 et General Problem Solver (GPR) en 1957 avec Herbert Simon. Il s’est fondé une réputation internationale comme un fondateur de l’intelligence artificielle grâce à son travail sur les mécanismes de pensée (cognition) humains. Newell a inséré différentes théories pour résoudre un problème, la plus fameuse est l’ACT-R, elle est utilisée avec succès par les scientifiques cognitifs pour modéliser le comportement humain. |