{"id":12348,"date":"2016-03-13T17:38:34","date_gmt":"2016-03-13T15:38:34","guid":{"rendered":"http:\/\/www.oezratty.net\/wordpress\/?p=12348"},"modified":"2016-10-19T20:52:36","modified_gmt":"2016-10-19T18:52:36","slug":"avancees-intelligence-artificielle-2","status":"publish","type":"post","link":"https:\/\/www.oezratty.net\/wordpress\/2016\/avancees-intelligence-artificielle-2\/","title":{"rendered":"Les avanc\u00e9es de l’intelligence artificielle – 2"},"content":{"rendered":"

Apr\u00e8s une petite introduction<\/a> sur ce qu\u2019est ou pas l\u2019intelligence artificielle, passons \u00e0 un c\u00f4t\u00e9 plus terre \u00e0 terre en faisant un petit inventaire approximatif des techniques de l\u2019IA. Il s\u2019agit toujours de vulgarisation et d\u2019une restitution de mon processus de d\u00e9couverte du sujet au fil de l\u2019eau ! Nous \u00e9voquerons en partie la question du mat\u00e9riel, notamment pour les r\u00e9seaux de neurones. Le reste le sera dans la derni\u00e8re partie de cette s\u00e9rie d\u2019articles.<\/p>\n

Des hivers au printemps de l\u2019IA<\/strong><\/p>\n

L\u2019histoire moderne de l\u2019intelligence artificielle a d\u00e9marr\u00e9 comme nous l\u2019avons vu dans la premi\u00e8re partie en 1957. S\u2019en est suivi une p\u00e9riode de recherche fondamentale importante, notamment au MIT AI Lab, \u00e0 l\u2019origine notamment du langage LISP <\/strong>(1958) qui servit pendant deux \u00e0 trois d\u00e9cennies \u00e0 d\u00e9velopper des solutions logicielles d\u2019IA. Ces recherches \u00e9taient financ\u00e9es par l\u2019ARPA, l\u2019agence de recherche du Pentagone devenue ensuite la DARPA, l\u2019\u00e9quivalent de la DGA fran\u00e7aise, mais \u00e9videmment bien mieux financ\u00e9e. La recherche sur l\u2019IA \u00e9tait principalement financ\u00e9e par les deniers publics, notamment aux USA et au Royaume-Uni. Encore aujourd’hui, une tr\u00e8s grande partie des recherches les plus avanc\u00e9es sur l’IA aux USA le sont par l’omnipr\u00e9sente DARPA.<\/p>\n

L\u2019IA connu son premier \u201chiver\u201d avec une r\u00e9duction d\u2019une bonne part de ces budgets \u00e0 partir de 1973, tant au Royaume-Uni qu\u2019aux USA. C\u2019\u00e9tait la cons\u00e9quence de la publication du Rapport Lighthill<\/a> destin\u00e9 \u00e0 l\u2019organisme public britannique Science Research Council <\/strong>\u2013 \u00e9quivalent de l\u2019Agence Nationale de la Recherche fran\u00e7aise – qui remettait en cause le bien fond\u00e9 des recherches de l\u2019\u00e9poque en robotique et en traitement du langage.\u00a0 Cet hiver a dur\u00e9 jusqu\u2019en 1980.<\/p>\n

\"Herbert<\/a><\/p>\n

En cause, des promesses un peu trop optimistes des experts du secteur. Comme souvent, les pr\u00e9visions peuvent \u00eatre justes sur tout ou partie du fond mais \u00e0 c\u00f4t\u00e9 de la plaque sur leur timing. Cette histoire de l\u2019IA<\/a> en fait un inventaire int\u00e9ressant. Herbert Simon <\/strong>(ci-dessus<\/em>) et Allen Newell<\/a> pr\u00e9voyaient en 1958 qu\u2019en 10 ans, un ordinateur deviendrait champion du monde d\u2019\u00e9checs et un autre serait capable de prouver un nouveau et important th\u00e9or\u00e8me math\u00e9matique. 30 ans d\u2019erreur pour la premi\u00e8re pr\u00e9vision et autant pour la seconde sachant qu\u2019elle est toujours largement en devenir pour \u00eatre g\u00e9n\u00e9rique ! Cet \u00e9cueil est le m\u00eame dans les pr\u00e9visions actuelles autour de la singularit\u00e9 et du transhumanisme (l\u2019ordinateur plus intelligent que l\u2019homme en 2030, l\u2019immortalit\u00e9 pour nos enfants, etc).<\/p>\n

Le chercheur d\u2019IBM Herbert Gelernter avait r\u00e9ussi en 1958 \u00e0 utiliser un logiciel de d\u00e9monstration de th\u00e9or\u00e8mes de g\u00e9om\u00e9trie fonctionnant en chainage arri\u00e8re (de la solution jusqu\u2019au probl\u00e8me) sur un IBM 704 et \u00e0 partir d\u2019une base de 1000 r\u00e8gles. Cela relevait d\u2019une combinatoire plut\u00f4t simple. Il en va autrement du th\u00e9or\u00e8me d\u2019incompl\u00e9tude de Godel <\/strong>qui dit que \u201cdans n’importe quelle th\u00e9orie r\u00e9cursivement axiomatisable, coh\u00e9rente et capable de \u00ab formaliser l’arithm\u00e9tique, on peut construire un \u00e9nonc\u00e9 arithm\u00e9tique qui ne peut \u00eatre ni prouv\u00e9 ni r\u00e9fut\u00e9 dans cette th\u00e9orie\u201d <\/em>ou encore du dernier th\u00e9or\u00e8me de Fermat <\/strong>(x^n + y^n = z^n impossible pour un entier n>2) qui n\u2019ont jamais \u00e9t\u00e9 d\u00e9montr\u00e9s via de l\u2019IA.<\/p>\n

Le th\u00e9or\u00e8me de Fermat a \u00e9t\u00e9 d\u00e9montr\u00e9 au milieu des ann\u00e9es 1990 et apr\u00e8s des ann\u00e9es d\u2019efforts de plusieurs math\u00e9maticiens dont Andrew Wiles<\/a>. Sa d\u00e9monstration publi\u00e9e dans les annales de math\u00e9matiques fait 109 pages et fait appel \u00e0 de nombreux concepts ! Un d\u00e9fi a \u00e9t\u00e9 lanc\u00e9 en 2005<\/a> par un certain Jan Bergstra pour d\u00e9montrer le th\u00e9or\u00e8me de Fermat avec un ordinateur et il reste toujours \u00e0 relever. A vous de jouer si cela vous tente !<\/p>\n

\"Fermat<\/a><\/p>\n

Herbert Simon pr\u00e9voyait aussi \u2013 toujours en 1958 – qu\u2019en 1978, les machines seraient capables de r\u00e9aliser toutes les activit\u00e9s intellectuelles humaines. Et la loi de Moore n\u2019existait pas encore puisqu\u2019elle a \u00e9t\u00e9 \u00e9nonc\u00e9e apr\u00e8s, en 1965 ! En 1967, Marvin Minsky pensait qu\u2019en une g\u00e9n\u00e9ration, tous les probl\u00e8mes li\u00e9s \u00e0 l\u2019IA seraient r\u00e9solus. Deux g\u00e9n\u00e9rations plus tard, on en discute encore. Il pr\u00e9voyait aussi qu\u2019au milieu des ann\u00e9es 1970, les ordinateurs auraient l\u2019intelligence d\u2019un homme moyen. Reste \u00e0 savoir ce qu\u2019est un homme moyen. Les retards \u00e9taient aussi manifestes dans la traduction automatique et dans la reconnaissance de la parole. Notons qu\u2019Herbert Simon a \u00e9t\u00e9 r\u00e9compens\u00e9 en 1978 par le Prix Nobel d\u2019\u00e9conomie, pour ses travaux sur les rationalit\u00e9s de la prise de d\u00e9cision, apr\u00e8s avoir gagn\u00e9 la fameuse m\u00e9daille de Turing en 1975. Il n\u2019existe pas de prix Nobel de la pr\u00e9vision ! Il faudrait en g\u00e9n\u00e9ral les attribuer \u00e0 des personnes d\u00e9j\u00e0 d\u00e9c\u00e9d\u00e9es !<\/p>\n

S\u2019en est suivie une p\u00e9riode d\u2019enthousiasme au d\u00e9but des ann\u00e9es 1980 aliment\u00e9e notamment par la vague des syst\u00e8mes experts. Le langage Prolog <\/strong>du fran\u00e7ais Alain Colmerauer a contribu\u00e9 \u00e0 cette vague. Une nouvelle vague de d\u00e9sillusions s\u2019en est suivie autour des ann\u00e9es 1990. L\u2019une des raisons \u00e9tait que le mat\u00e9riel n\u2019arrivait pas \u00e0 suivre les besoins de l\u2019IA, notamment pour traiter deux besoins cl\u00e9s : la reconnaissance de la parole et celle des images, tr\u00e8s gourmandes en puissance de calcul (cf la source du sch\u00e9ma<\/a> ci-dessous).<\/p>\n

\"AI<\/a><\/p>\n

Lors des ann\u00e9es 1980 avaient \u00e9t\u00e9 lanc\u00e9s divers gosplans d\u2019ordinateurs \u201cde la cinqui\u00e8me g\u00e9n\u00e9ration\u201d d\u00e9di\u00e9s aux applications de l\u2019IA. Cela a commenc\u00e9 avec celui du MITI Japonais,\u00a0<\/strong>lanc\u00e9 en 1981 avec des d\u00e9penses d\u2019un milliard de dollars, puis avec le projet anglais Alvey <\/strong>lanc\u00e9 \u00e0 \u20a4350 million et enfin le Strategic Computing Initiative<\/a> de la DARPA. Tous ces projets ont capot\u00e9 et ont \u00e9t\u00e9 termin\u00e9s discr\u00e8tement. Le projet du MITI visait \u00e0\u00a0faire avancer l\u2019\u00e9tat de l\u2019art c\u00f4t\u00e9 mat\u00e9riel et logiciel. Ils cherchaient \u00e0 traiter le langage naturel, \u00e0 d\u00e9montrer des th\u00e9or\u00e8mes et m\u00eame \u00e0 gagner au jeu de Go. Le projet a probablement p\u00e2ti d\u2019une organisation trop traditionnelle, lin\u00e9aire et centralis\u00e9e. La fin des ann\u00e9es 1980 a aussi connu l\u2019effondrement du march\u00e9 des ordinateurs d\u00e9di\u00e9s au langage LISP<\/a>.<\/p>\n

Pendant les ann\u00e9es 1990 et 2000 ont \u00e9merg\u00e9 de nombreux projets de HPC<\/strong> (high-performance computing) tr\u00e8s \u00e9loign\u00e9s de l\u2019IA et focalis\u00e9s sur la puissance brute et les calculs en \u00e9l\u00e9ments finis. Ils \u00e9taient et sont encore utilis\u00e9s pour de la simulation, notamment d\u2019armes nucl\u00e9aires, d\u2019\u00e9coulements d\u2019air sur les ailes d\u2019avion ou pour faire des pr\u00e9visions m\u00e9t\u00e9orologiques. Les HPC de Cray Computers <\/strong>avaient \u00e9t\u00e9 cr\u00e9\u00e9s pour cela ! Cette soci\u00e9t\u00e9 existe toujours<\/a>. C\u2019est l\u2019une des rares survivantes des ann\u00e9es 1970 !<\/p>\n

Depuis le d\u00e9but des ann\u00e9es 2000, l\u2019IA a \u00e9t\u00e9 relanc\u00e9e gr\u00e2ce \u00e0 diverses \u00e9volutions :<\/p>\n