L`héritage d`Alan Turing
Contents
1. 1 Unit CNRS Universit de Lorraine inria C LEBEDINSKVY INRIA ne pu TS l en Londres un article qui confirme son intui tion et marquera l histoire de l informa tique jamais Pour expliquer sa d mar che il a imagin une machine fictive qui lui permet de d crire un calcul complexe sous forme d une s quence d op rations simples Il a prouv que ce qui peut tre calcul par un humain qui travaille avec du papier et un crayon peut l tre aussi par une machine r sume Olivier Bournez Le plus remarquable c est que le math ma ticien n a pas eu besoin de construire sa machine ni de s appuyer sur des exemples la seule force du raisonnement a suffi L INTUITION DE L ALGORITHME Malgr cela Alan Turing ne dispose pas encore d un arsenal assez complet pour r pondre au probl me de la d cision pos par Hilbert Car sa machine ne peut effec tuer qu un seul type de calcul celui pour lequel elle a t con ue Elle ne peut donc r pondre dans le cas g n ral comme l exige la question de Hilbert Il faut quelque chose de plus souple Le math maticien imagine alors toujours dans son article de 1936 un outil pour sa d monstration une machine univer selle capable de simuler n importe quelle autre machine simple Il suffit de lui four nir sous forme cod e le programme quelle devra ex cuter en plus des don n es qui seront manipul es Le concept d ordinateur est n tel qu il2. Mea a a d ALAN TURING gt l inventeur de l ordinateur gt Le pionnier de intelligence artificielle d passer les fronti res ER CRON aS rend hommage a T N mi ir ai 1912 PR CORSEURDE L INFORMATIQUE MODERNE www cnrs fr turing2012 d passer a9 Monteres T moignages films agenda des v nements C FR SILLON CNRS PHOTOTH QUE HORS S RIE MAI 2012 ditorial PAR PHILIPPE BAPTISTE DIRECTEUR DE L INSTITUT DES SCIENCES DE L INFORMATION ET DE LEURS INTERACTIONS INS21 DU CNRS Que peut il y avoir de commun entre un th or me abstrait de math matiques et l univers num rique qui bouleverse notre quotidien Rien a priori Pourtant quand le math maticien Alan Turing r sout en 1936 le probl me de la d cision question fonda mentale de la logique pos e quelques ann es plus t t par Hilbert et Ackermann il pose la premi re pierre de notre monde num rique Dix ans plus tard le m me Alan Turing par ticipe d ailleurs la conception et la mise en uvre des premiers ordinateurs Comment le math maticien a t il pu contribuer de mani re d cisive des avanc es fondamentales et technologiques si diverses Gr ce son incroyable machine de Turing mod le abstrait d ordinateur qui permet de d finir pr cis ment la notion de calcul et d algorithme Ce saut conceptuel majeur associ l apparition des premi res machines prog
3. CARACT RE M MORIS D COMPTE DES CARACT RES RESTANTS 1 CARACT RE PALINDROME Radar est ainsi devenu ada puis d il ne reste qu une seule lettre la machine r pond oui le mot est bien un palindrome RESTANT C EST UN ILLUSTRATIONS C HEIN POUR CNRS LE JOURNAL CNRS I LE JOURNAL ouverte ou ferm e Dans le monde de l in finiment petit la r alit d passe lenten dement une cluse quantique peut tre ouverte ferm e ou ouverte et ferm e en m me temps Autrement dit l analogue quantique du bit le qubit peut valoir 0 1 ou 0 et 1 la fois DES R SULTATS IMMUABLES Encore tr s rudimentaires les premi res puces quantiques ne manipulent que quelques uns de ces qubits coups d atomes ou de mol cules bien loin des milliards de bits de nos puces lectro niques Mais en th orie un ordinateur quantique serait capable d effectuer des milliards de milliards de milliards de calculs en m me temps quand les ma chines les plus puissantes actuellement n en font que des milliers Est ce suffisant pour s affranchir des difficult s soulev es par Alan Turing il y a pr s de quatre vingts ans Pour le savoir les scienti fiques ont d j d crit ce que serait une machine de Turing quantique D apr s Nicolas Ollinger les espoirs de r volution demeurent toutefois minces Si on parvient construire des ordinateurs qu
4. 3 0 consacr e au c l bre math maticien dont il porte le nom Lexposition aborde diff rents sujets tels que le microprocesseur les pavages ou les jeux vid os pr cise l informaticien Marc Monticelli responsable de l Espace Turing et organisateur de la manifestation De nombreuses exp riences didactiques viennent compl ter ce programme de m me qu un livret qui est remis aux enseignants Ce film est voir sur le journal en ligne www2 cnrs fr journal PHOTOS 01 02 CNRS IMAGES AVANT PREMI RE Le film Le Mod le Turing sera diffus en avant premi re le mercredi 6 juin 20 heures dans le cadre du Festival du film de chercheur de Nancy La projection sera suivie d un d bat en pr sence notamment de Catherine Bernstein sa r alisatrice de Catherine Balladur directrice de CNRS Images et de Jean Mairesse chercheur au CNRS gt Www filmdechercheur eu LIVRE L intelligence artificielle Jean Gabriel Ganascia Le Cavalier Bleu ditions coll Id es re ues 2007 1 d 128 p 9 95 gt Synth tiser les connaissances sur l intelligence artificielle et tordre le cou aux id es re ues telles sont les ambitions du livre de Jean Gabriel Ganascia sp cialiste du domaine Parmi ces id es discut es par l auteur il n y a rien craindre avec les ordinateurs il suffit de les d brancher ou encore Demain les robots nous
5. affiner leur diagnostic ou proposer un traitement contre le can cer On dit toujours que l intelligence GETTY IMAGES AFP 117 artificielle na pas tenu ses promesses quelle na pas r ussi faire un double de l homme Mais cela n a jamais t l ob jectif souligne Jean Gabriel Ganascia Aujourd hui l intelligence artificielle doit donc tre jug e l aune de ses r ali sations concr tes et non pas des r ves fous qu elle a pu susciter 1 Computing Machinery and Intelligence Mind 1950 2 Unit CNRS UPMC 3 Unit CNRS Grenoble INP Inria UJF UPMF Universit Stendhal Grenoble lll 4 Intelligent Machinery National Physical Laboratory 1948 CONTACTS Matthieu Cord gt matthieu cord lip6 fr Ludovic Denoyer gt ludovic denoyer lip6 fr Jean Gabriel Ganascia gt jean gabriel ganascia lip6 fr Jean Paul Haton gt jean paul haton loria fr Marie Christine Rousset gt marie christine rousset imag fr Nicolas Sabouret gt nicolas sabouret lip6 fr MGM AKG IMAGES 18 Culture CNRS I LE JOURNAL Le Mod le Turing R alis par Catherine Bernstein produit par CNRS Images et Inria 28 min 2012 http videotheque cnrs fr gt Une dizaine de personnalit s scien tifiques tels le cryptologue Jacques Stern M daille d or du CNRS le neuro biologiste Alain Prochiantz les philo sophes des sciences Jean Lass gue et Michel Serres les chercheurs e
6. allait bien au del r v le Jean Lass gue Il voulait construire un qui valent du cerveau capable de penser LA MACHINE PENSER Ainsi Turing se concentre d sormais sur la possibilit conceptuelle de pr ter une intelligence des machines En octo bre 1950 il publie son article intitul Lordinateur et l intelligence dans la revue philosophique Mind Souvent consid r comme posant la base de ce qui deviendra l intelligence artificielle le texte souvre sur le jeu de l imitation dans lequel le chercheur imagine le moyen pour une machine de se faire passer pour un tre humain lire p 13 RE DIE ON CL TE RE PT TE CODEC e ns ms D m l Bi ni Mlh E D IL 1 i WEE e a a o a a al NATIONAL SECURITY AGENCY SPL COSMOS HORS S RIE MAI 2012 CL DE CHIFFREMENT soosi Ekel E ERa Biographie LE D CRYPTAGE DES CODES SECRETS NAZIS Fran ois Morain du Laboratoire d informatique de l cole polytechnique d taille le r le d terminant jou par Turing pendant la Seconde Guerre mondiale En septembre 1939 Alan Turing rejoint le manoir de Bletchley Park quartier g n ral des services de renseignement britannique pour briser le syst me de cryptage des sous marins allemands r put inviolable Il y parvient avec ses coll gues d s 1942 contribuant viter l invasion de l Angleterre Comment ont ils fait Fran ois Mo
7. cryptanalyse qui consiste casser un code secret I n y a pas de th orie du cassage Il s agit essentiellement d avoir l intelligence et l astuce d exploiter les faiblesses d un syst me ou de son utilisation parles op rateurs humains Quoi qu il en soit la fa on dont Turing y est parvenu l poque sans ordinateur reste un immense tour de force et fait partie de la mythologie de la discipline Propos recueillis par C Z 1 Unit CNRS cole polytechnique 2 Fran ois Morain donnera une conf rence intitul e Turing etla cryptoanalyse le 20 septembre lire p 19 CONTACT Fran ois Morain gt morain lix polytechnique fr SSPL LEEMAGE Par ailleurs apr s avoir construit l ordi nateur machine d terministe qui exploite dans toute son extension le domaine de ce qui est calculable Turing se heurte aux pro cessus biologiques qui entretiennent avec le d terminisme un rapport tout autre note Jean Lass gue Impossible par exemple de pr dire les al as de l volution des formes des feuilles d une plante de m choires d animaux etc aufildemicrochangements al atoires tal s sur des milliers de mill naires En s interrogeant sur la r gularit de la r partition des feuilles d une plante et sur ses r gles math matiques Alan Turing renoue avec sa passion d enfance Le secret quil s attache d s lors percer devient celui de la mati re comment sait elle quelle
8. d ici cinq ans gr ce un syst me de traduction instan tan e on pourra discuter en fran ais avec un ami japonais qui parle japonais illustre Jean Paul Haton Ce n est plus de la science fiction UN D BAT TOUJOURS OUVERT Alors les machines peuvent elles pen ser Le d bat reste ouvert Mais force est de constater que les programmes imagi n s par les sp cialistes de l intelligence artificielle r alisent des performances de plus en plus poustouflantes En 2005 le robot scientifique Adam de l univer sit d Aberystwyth au pays de Galles r alisait des exp riences sur le g nome G EVANS ABERYSTWYTH UNIVERSITY 26 Le robot Adam met des hypoth ses sur la fonction des g nes 27 En 2011 ordinateur Watson aremport le jeu Jeopardy 28 Dans son film 2001 l odyss e de l espace Stanley Kubrick a imagin un superordinateur dot d uneintelligence artificielle Enqu te de la levure de boulanger et formulait des hypoth ses convaincantes sur la fonction de certains g nes Plus r cemment en 2011 le super ordinateur Watson d IBM capable de r pondre en quelques secondes mim porte quelle question de culture g n rale mais aussi de s abstenir lorsqu il n est pas s r de sa r ponse remportait le jeu Jeopardy Dot de nouveaux algorithmes et de solides connaissances m dicales Watson va rejoindre l h pital Cedars Sinai Los Angeles pour aider les sp cialistes
9. d intelligence artificielle certaines sont les descendantes directes DS FES Re 25 CNRS LE JOURNAL SR T EN ENCORE a Cu a ele c M mime E beigs ea E l N e um mm bE m A le RU de r UFJ ms sms Fr T B LETERRIER CNRS PI JOTOTH QUE B m i i Tiira diaj Bent ba ati i ET Ci near b a h at FES ETES VERS LES DE 5 E Eme e Ba ps er ia U EEr rE E E F CE RD F e e e E E E a n Meke de ns SUN i eo M mm Os mm ue En 25 Eliza l un des tout premiers agents conversationnels imite un psychoth rapeute lors d un premier entretien avec son patient des machines d crites par Turing dans son test soit des automates pass s ma tres dans l art de la conversation Qui n a jamais t interpell sur Internet dans un magasin ou un mus e par lun ces petits personnages anim s Puis je vous aider Posez moi votre question On appelle ces avatars des chatbots des robots bavards en anglais ou encore des agents conversationnels en fran ais Il y a deux cat gories d agents conversationnels ceux qui comprennent LES ROBOTS BAVARDS ONT LEUR PRIX Tous les ans depuis 1991 le prix Loebner r compense les chatbots les plus convaincants ceux qui imitent l homme la perfection ou plut t l imperfection Comme dans le sc nario imagin par Turing des juges dialoguent l aveugle avec des hommes et des chatbots
10. d une cluse ILLUSTRATIONS C HEIN POUR CNRS LE JOURNAL Enqu te I UNE MACHINE ENTR E DANS LA L GENDE gt Alan Turing a imagin une machine m canique qui manipulerait des informations des lettres ou des chiffres suivant des r gles d finies dans une table Une machine capable de r soudre un probl me unique pour lequel elle aura t con ue On peut la repr senter comme un appareil qui comporte un ruban de papier de longueur infinie portant une succession de cases et un registre m morisant l tat de la machine L op rateur une t te de lecture criture peut lire et crire le contenu d une case une lettre tir e d un alphabet fini nos 26 lettres ou les 10 chiffres par exemple et se d placer d une case vers la gauche ou vers la droite partir d un mot d entr e not sur le ruban la machine va ex cuter une instruction qui peut tre Si la machine est dans l tat q et LECTURE DU CARACT RE LE PLUS DROITE LECTURE DU CARACT RE LE PLUS GAUCHE qu elle lit le chiffre 1 sur le ruban alors crire le chiffre 2 passer dans l tat q et d placer la t te d une case vers la droite commente le chercheur Nicolas Ollinger chaque tape la machine cherche dans sa table l instruction appliquer et l ex cute jusqu ce qu elle ait l ordre de s arr ter Pour tablir un parall le avec nos ordinateur
11. du Laboratoire de l informatique du parall lisme Lyon 1 Unit CNRS ENS Lyon Inria UCBL Je me prends r ver que comme le signale Andrew Hodges dans sa biographie Turing aurait pu postuler l universit de Nancy Je pense que la France l poque sans doute moins puritaine que l Angleterre aurait pu offrir un cadre ad quat ce scientifique g nial prolifique et polyvalent Que se serait il pass alors ULLSTEIN BILD AKG IMAGES EMEF sous la direction d Alonzo Church John von Neumann sommit des math ma tiques et de la physique lui propose de devenir son assistant mais le chercheur pr f re rentrer en Angleterre Nous sommes en 1938 Les menaces d un conflit avec l Allemagne se pr cisent AU SERVICE DES RENSEIGNEMENTS son retour Alan Turing est recrut par le service britannique du chiffre le Government Code and Cypher School qui vient de s installer Bletchley Park pr s d Oxford signale Jean Lass gue Le but de cette unit d crypter les messages radios que les Nazis changent avec leur redoutable flotte de sous marins lire l interview ci contre Gr ce l ing niosit de Turing et de ses coll gues la plupart des messages allemands intercept s sont d crypt s d s 1942 Selon l historien Philippe Breton du laboratoire Culture et soci t en Europe Strasbourg des dizaines de milliers de vies humaines ont t pargn es gr ce cette pro
12. et doivent deviner qui est qui Turing avait pr dit qu en l an 2000 les ordinateurs parviendraient tromper 30 des juges apr s cinq minutes de conversation Cette pr diction ne s est pas encore r alis e mais les meilleurs chatbots arrivent duper plusieurs juges tandis que les humains de la comp tition se voient d cerner l trange titre d humain le plus humain DR r ellement ce qu on leur dit en r alisant un traitement automatique de la langue et ceux qui ne comprennent rien ce qu on leur raconte comme Eliza mais qui ont un syst me de r gles suffisamment malin pour r pondre peu pr s bien n importe quelle question explique Nicolas Sabouret sp cialiste des agents conversationnels au LIP6 LE SUCC S DU ROBOT PSYCHIATRE Eliza d velopp par Joseph Weizenbaum en 1966 pour jouer les apprentis psy chiatres fut l un des tout premiers agents conversationnels Il poss dait alors moins de 50 mots cl s et reformulait la plupart des phrases de son patient P Je suis angoiss E Pourquoi dites vous que vous tes angoiss P C est cause de ma femme E Parlez moi de votre famille Eliza fut tellement convaincant que certains chercheurs l imaginaient d j passer le test de Turing avec succ s Mais aujourd hui encore aucun pro gramme n a r ussi cette prouesse lire l encadr ci contre Les agents de conver sation les plus perfectionn s fonctio
13. mesure quon augmente la taille des donn es explique Guillaume Theyssier chercheur au Laboratoire de math ma tiques de l universit de Savoie Ce qui permet par exemple de savoir si un dou blement du nombre de param tres g rer va doubler d cupler ou multiplier par mille le temps de calcul Dans la th orie de la complexit les informaticiens regroupent dans la classe P les probl mes qui peuvent tre r solus avec un temps de calcul raisonnable On appelle cela un temps polynomial trier des nombres du plus petit au plus grand d terminer si un nombre entier est pre mier cest dire divisible seulement par un et par lui m me Une autre classe baptis e NP rassemble des probl mes dont une solution peut tre v rifi e dans un temps raisonnable C est le cas du probl me d un voyageur de commerce qui pr pare sa tourn e Existe t il un trajet inf rieur une certaine distance mille kilom tres par exemple qui relie les villes o je dois me rendre V rifier que la longueur d un trajet pr tabli traversant trente villes est inf rieure une distance donn e est facile puisque cela ne demande qu une trentaine d additions En revanche trouver le ou les trajets ne l est pas forc ment Avec un ordi nateur calculer un parcours en partant des coordonn es des villes est un terrible G THEYSSIER HORS S RIE MAI 2012 15 Illustration de la th orie du castor affair e
14. syst me analogique ne peut pas calculer ce qui n est pas calculable avec un ordinateur num rique au sens de Turing explique Olivier Bournez On ne peut pas imaginer de mod le physique ment r alisable et plus puissant que celui de Turing cause des lois de la physique poursuit Pascal Koiran Tous les ordina teurs doivent les respecter Soixante seize ans apr s leur publi cation les r sultats de Turing n en finis sent pas de jouer des tours aux informa ticiens Le fait qu il existe des choses non calculables les emp che par exemple d tre s rs 100 qu un programme ne CNRS I LE JOURNAL comporte pas de bug ou que le logiciel de vol d une fus e ne va pas s garer dans une boucle de calcul infini et causer sa perte Il existe bien des syst mes qui analysent le code informatique pour y d celer des erreurs remarque Olivier Bournez Mais il y a beaucoup de limita tions Il n est pas facile de contourner la notion d incalculabilit d montr e par Turing Savoir qu on ne peut pas tout pro grammer ni tout v rifier est tr s frustrant pour un informaticien LES D FIS QUI RESTENT RELEVER De m me les th oriciens font beaucoup d efforts depuis les ann es 1970 pour valuer la difficult des calculs C est ce que l on appelle la th orie de la com plexit al gorithmique Il s agit d valuer comment le co t en ressources le temps de calcul et la m moire volue au fur et
15. antiques on gagnera peut tre beaucoup de temps r soudre des probl mes qui d passent aujourd hui les capacit s de nos machines Mais en termes de calculabilit ils ne feront pas mieux ce qui nest pas calculable au sens de Turing ne le deviendra pas pour autant Les r sultats de Turing semblent tre une barri re d cid ment infranchissable 1 Universit d Orl ans Ensi de Bourges 2 Unit CNRS Universit de Savoie CONTACTS Olivier Bournez gt bournez lix polytechnique fr Pascal Koiran gt pascal koiran ens lyon fr Nicolas Ollinger gt nicolas ollinger univ orleans fr Guillaume Theyssier gt guillaumetheyssier univ savoie fr Thierry Vi ville gt thierryvieville inria fr HORS S RIE MAI 2012 Enqu te 113 Informatique En cr ant son concept de machine universelle puis en mettant au point son fameux test visant d terminer si une machine peut penser Alan Turing a ouvert la voie aux travaux sur l intelligence artificielle de mani re d cisive Sur la piste de l intelligence artificielle PAR LAURIANNE GEFFROY Les machines peuvent elles K penser s interroge Alan Turing en pr ambule de lune de ses publications les plus c l bres La question est abstraite et sans conteste philosophique Elle ouvre n anmoins tr s concr tement la voie de l intelligence artificielle et influencera des g n rations de chercheurs dans leurs r alisations moteurs de recherche r sea
16. c tion que les fonctions de notre esprit peu vent s crire sous forme math matique partir dun nombre fini de symboles que l on stockerait et que l on emploierait au fur et mesure que le raisonnement avance C est dire qu une machine dot e d une m moire d une bonne base de connaissances et de r gles de calcul bien choisies pourrait tout fait mimer le raisonnement humain Ce faisant il dresse le portrait intui tif de ce qui deviendra l ordinateur mo derne avec son disque dur son proces seur son syst me d exploitation et ses L ERREUR EST HUMAINE Pour se faire passer pour un humain une machine doit avoir sa logique mais aussi ses d fauts Alan Turing tayera sa d monstration avec des dialogues imaginaires pr cisant les erreurs et les errements humains reproduire pour donner toutes les chances la machine de r ussir le test Ainsi lorsque l interrogateur demande Pourriez vous m crire un sonnet la machine maura qu botter en touche comme le feraient la plupart des gens et r pondre Je mai aucun talent pour la po sie De la m me fa on si l interrogateur demande Ajoutez 34957 70764 la machine apr s une pause de 30 secondes pourra fournir une r ponse fausse 105 621 B KRAFFT B KRAFFT R LAMOUREUX INRIA CNRS PHOTOTH QUE programmes Alan Turing est le p re de l intelligence artificielle mais aussi et de fa on indisso
17. ciable le p re de l infor matique souligne Marie Christine Rousset d l gu e scientifique au Labo ratoire d informatique de Grenoble Une paternit qui lui est ce point recon nue que certains n h sitent pas voir dans le c l bre logo de la pomme cro qu e appos sur quelques millions d ordinateurs un hommage posthume ce math maticien visionnaire LES LIMITES DES ALGORITHMES En d crivant sa machine Turing envisage galement ses possibilit s Il a ouvert le domaine de l intelligence artificielle tout en montrant qu il existait des limites que certaines choses pouvaient tre m canis es et automatisables dans le raisonnement humain et d autres pas poursuit Marie Christine Rousset Ces limites propres aux algorithmes offrent un cadre fonda mental qu il est indispensable de connai tre pour ne pas promettre la lune ce que beaucoup de chercheurs en intelligence 20 21 Enqu te A BADERTSCI 1IER COLE POLYTECHNIQUE F D RALE DE LAUSANNE A pm pe i Cm i Li un dj TT HAE EE artificielle ont fait au d part ce pre mier pr suppos concernant la repro duction de l intelligence par les nom bres s ajoute un second l intelligence est ind pendante de la forme La diff rence physique entre un homme et une femme na donc aucune incidence sur lintel ligence proprement dite pas plus que la diff rence de constitution entre un h
18. cle en quoi le test de Turing joue t il un r le pist mologique majeur Ces t moignages vivants et denses disent combien l uvre du chercheur reste encore pr gnante dans bien des domaines De nouvelles contributions seront ajout es tout au long de l ann e 19 E Une question r siduelle apr s Turing formaliser la notion d algorithme Du formel la forme Alan Turing et l apparition de l informatique Cycle de six conf rences L h ritage d Alan Turing ou comment la machine universelle a boulevers notre soci t gt Turing du formel logique la forme biologique en passant par l informatique gt Alan Turing un inventeur de langages gt A M Turing l audace d un penseur le human computer la machine tat discret la gen se des formes gt La construction et le calcul gt La th se de Turing l re du calcul quantique gt Calculabilit langages et machines Turing et ses contemporains Cycle de trois conf rences gt Turing la machine et les formes du vivant gt Turing et la cryptoanalyse gt M canisme et criture Turing dans l histoire graphique de l Occident 14h La t te au carr Echange avec les plus grands scientifiques qui racontent avec passion et clart l actualit des sciences au quotidien franceinter fr
19. d informatique de Paris 6 Le test de Turing circonscrit la port e de l intelligence des machines Il vacue le d bat sur la conscience ou plut t sur la reproduction d une conscience il vacue les dimensions perceptives et corporelles de l intelligence ainsi que les interrogations m taphysiques Ce faisant il a trac la voie l approche pragmatique et empirique qu a adopt e l intelligence artificielle et qui a assur ses ind niables succ s pendant plus d un demi si cle Pour Alan Turing les connaissances sont indispensables la r alisation d une ma chine intelligente Aucune machine ne peut jouer au jeu de l imitation et r ussir duper l homme si on ne lui donne pas un solide bagage culturel et des r gles logiques pour l utiliser bon escient Cette appro che anticipe ainsi ce que seront les sys t mes base de connaissance l une des deux voies de l intelligence artificielle LE CERVEAU D CORTIQU Ces connaissances Turing envisage ga lement que la machine puisse les acqu rir toute seule et se met donc tudier l organisation et la dynamique de notre cerveau Il d crit dans une publication de 1948 des r seaux de neurones artifi ciels mod lis s sous forme math ma tique et destin s en th orie devenir des r seaux lectroniques initialement connect s de fa on al atoire et capables de s auto organiser en fonction de l usage que l on en fait C est la
20. deuxi me voie de l intelligence artificielle Ces deux coles intitul es Making a mind imiter la pens e et Modeling the brain imiter le cerveau par le philosophe am ricain Hubert Dreyfus se sont long temps oppos es mais connaissent depuis le d but du xxr si cle un rapprochement certain signale Jean Paul Haton Une troisi me voie fond e sur des m thodes statistiques et probabilistes a galement fait son apparition pour prendre en compte la variabilit naturelle des don n es Cette approche que l on couple volontiers aux deux autres permet par exemple de faire de la reconnaissance vocale de qualit en prenant en compte C LEBEDINSKY CNRS PHOTOTH QUE voir sur le journal en ligne le film Le QI d iCub 22 Le robot humano de europ en iCub a la taille d un enfant de 3 ans Ses algorithmes lui permettent d apprendre mesure qu il interagit avec son environnement Enqu te la variabilit de la voie humaine Idem pour la reconnaissance de l criture manuscrite ou le traitement automa tique de la langue naturelle Quelle que soit la voie utilis e l intel ligence artificielle a envahi notre quoti dien Elle joue notamment un r le indis pensable dans une soci t nourrie par un flux constant de vid os d images et de messages en tout genre Tout un pan de la recherche d veloppe ainsi de nouveaux outils pour compulser trier et analyser les ressou
21. e ma ni re occasionnelle durant leur enfance 10 ans le jeune Alan d vore les Merveilles de la nature que tout enfant devrait conna tre L ouvrage raconte comment l embryon se d veloppe partir d une cellule f cond e en suivant les lois de la physique et de la chimie commente HORS S RIE MAI 2012 Biographie Jean Lass gue philosophe au Centre de recherche en pist mologie appliqu e Paris et auteur d une biographie de Turing lire p 19 C est une r v lation le corps y est pr sent comme une gigan tesque machine Alan se met en t te qu il est possible de d terminer les lois qui r gissent sa construction l aide des sciences de la nature D s lors il ne cesse de se passionner pour le d codage des secrets de la vie et la nature de l esprit LES ANN ES D INTERNAT l ge de 14 ans l adolescent rejoint l internat de la tr s stricte Sherborne Grammar School o l on privil gie les valeurs propres l ducation de gentle man le grec et la litt rature par rapport aux mati res scientifiques pr cise Jean Lass gue Les r sultats du jeune homme sont m diocres Il est jug brouillon et mal habile et comble du scandale dans un milieu imbu de culture classique et de morale victorienne il fait de l alg bre pen dant les cours d instruction religieuse Peu sociable Turing ne trouve de r con fort que dans les cours de sciences Impressionn par cet l ve
22. existe encore aujourd hui une machine re oit un algorithme un programme et les don n es auxquelles ce dernier s applique C est bien Turing qui a formalis le concept d algorithme confirme Nicolas Ollinger Nos ordinateurs sont d riv s de sa machine universelle Fort de cette machine g n raliste Turing peut enfin s attaquer au probl me de Hilbert La d monstration est loin d tre vidente D abord il se demande s il existe une m thode un algorithme qui permet de d cider si un calcul quel qu il soit s arr tera un moment donn Turing prouve que ce n est pas le cas qu il est impossible de pr voir qu un calcul CC BY SA 10 peut s achever Il va ensuite raisonner par l absurde Il d montre que s il existe une solution au probl me de Hilbert alors elle peut tre utilis e pour montrer qu il est possible de pr voir la fin d un calcul Or il a justement prouv le contraire Donc cette fameuse solution au probl me de Hilbert n existe pas Il n est pas pos sible de dire de mani re m canique si un nonc est vrai ou faux Ce qui signi fie qu il y aura toujours du travail pour les math maticiens s amuse Pascal Koiran du Laboratoire de l informatique du parall lisme Lyon UNE M THODE SIMPLE Quelque temps auparavant l Am ricain Alonzo Church tait arriv au m me constat quAlan Turing mais par une autre d marche baptis e lambda calcul Lapproche de Turin
23. font fonctionner Tout comme le jeune homme devait s imaginer que son corps sa machine pourrait porter comme un programme l esprit de Christopher LE TEMPS DES PREMIERS ARTICLES Entre 1931 et 1935 Turing poursuit des tudes de math matiques pures au Kings College Cambridge Il publie ses premiers articles obtient une bourse de recherche et r sout l pineux probl me dit de la d cision formul par David Hilbert la fin des ann es 1920 lire p 9 Gr ce son article sur ce probl me qu il finalise en 1936 Turing pr cise de ma ni re compl tement originale la notion de calcul Il parvient tablir une limite entre ce qui est calculable et ce qui ne l est pas explique Jean Lass gue Ce qui est calculable peut tre pr dit le r sultat sera toujours le m me Le non calculable c est ce qui r siste ce d terminisme c est ce qui peut voluer de mani re impr visible comme cela arrive parfois en physique Surtout Turing montre que ce qui est calculable peut tre d compos en un nombre fini d tapes pouvant chacune tre r alis e par une machine poursuit Jean Lass gue Cette fameuse machine de Turing qui n existe alors que sur le papier nest autre que le computer litt ralement machine calculer ou ordinateur Alan na que 24 ans Il rejoint alors l univer sit de Princeton aux tats Unis o il pr pare un doctorat de logique math matique Pierre Lescanne
24. forme prendre En 1952 il publie sur cette question dans la revue Philosophical Transactions of the Royal Society un article qui deviendra fondateur en biologique th orique lire l encadr ci contre UNE FIN TRAGIQUE Mais les deux derni res ann es de sa vie pr cipitent sa fin tragique Une aventure avec un jeune homme le conduit au tribu nal o il plaide coupable pour pratiques ind centes r it r es en compagnie d un autre homme Consid rant qu il a bien trop de travail pour aller en prison il ac cepte l alternative qu on lui propose la castration chimique Ils peuvent bien faire ce qu ils veulent de son corps pense t il CS Biographie 09 10 FOTOLIA atf 11 Fleur de tournesol pomme de pain motifs de coquillages La r gularit math matique de l organisation des formes dans la nature passionne Alan Turing depuis son enfance La morphogen se tude Philippe Breton gt Jean Lass gue gt Pierre Lescanne gt des m canismes de croissance des formes biologiques partir de la f condation devient m me une obsession durant les quatre derni res ann es de sa vie l poque Watson et Crick sont sur le point LIBRARY AND ARCHIVE CENTER KING S COLLEGE CAMBRIDGE AMT C 25 P N FURBANK CNRS LE JOURNAL son esprit son logiciel restera intact Mais sous l effet des hormones le voil transform en ce qu il s imagine
25. g n tait pas la pre mi re Mais cest la plus simple et la plus naturelle C est pour cette raison quelle TOPORY WIKIMEDIA COMMONS Enqu te LELLLLE ESS pu ss soda A DINGLEY est pass e la post rit pr cise Pascal Koiran On sait aujourd hui que les deux m thodes et d autres imagin es depuis sont parfaitement quivalentes et affi chent les m mes potentialit s qu on construise un ordinateur suivant les id es de Turing de Church ou de n im porte quel autre principe ce qui n est pas calculable pour un ordinateur ne le sera pas non plus pour un autre M me les syst mes dits analogiques qui historiquement ont pr c d les ordi nateurs num riques et leurs s ries de 0 et de 1 seraient incapables de d passer cette limite Une machine analogique manipule 13 14 des signaux continus du courant lec trique un mouvement m canique ou de la lumi re Au x1x si cle Lord Kelvin calculait la hauteur des mar es avec un assemblage de tiges de sph res et de disques tandis que les artilleurs am ri cains de la Seconde Guerre mondiale ont profit des tables de balistique calcul es par la machine lectrom canique con ue par Vannevar Bush au Massachusetts Institute of Technology Ft si le calcul analogique a rapide ment t supplant par l ordinateur apr s la guerre il reste un objet d tude M me si ce nest pas totalement d montr nous pensons qu un
26. hode m ca nique qui puisse d cider si un nonc ma th matique est vrai ou faux Au King s College de l universit de Cambridge Alan Turing s attelle au sujet La ques tion tait de savoir s il tait possible de d terminer si un nonc est d montrable ou non avec une machine raconte Olivier Bournez directeur du Laboratoire d informatique de l cole polytechnique Hilbert est persuad que la r ponse est positive Alan Turing tait convaincu du contraire explique Nicolas Ollinger du Laboratoire d informatique fonda mentale d Orl ans Et le Britannique a raison en 1936 il na encore que 24 ans il publie dans les Annales de la Soci t de math matiques de E 1928 le math maticien David 12 Dans le cadre du projet Rubens des tudiants de l cole normale sup rieure de Lyon ont fabriqu une machine de Turing en Lego Thierry Vi ville Laboratoire lorrain de recherche en informatique et ses applications Pour que nos citoyen ne s comprennent les fondements de ce qui fait la soci t num rique d aujourd hui afin qu ils en soient les cr ateurs et pas seulement les utilisateurs il fallait choisir un visage cette mutation de civilisation Celui de Turing est un fort bon choix C est celui de la pluridisciplinarit de la rigueur technique associ e imaginaire cr atif Qu un antih ros soit l ic ne de cette science ne peut que la rendre plus accessible
27. la morphogen se D c s l ge de 41ans ER au destin bris PAR CHARLINE ZEITOUN e 7 juin 1954 Alan Mathison L math maticien de g nie fraichement lu membre de la Royal Society de Londres inventeur de l ordinateur pr curseur de l intelligence artificielle est retrouv mort allong sur son lit l ge de 41 ans Pr s de lui une pomme empoisonn e au cyanure est moiti entam e Selon les sources off cielles il s agit d un suicide Depuis deux ans l homme tait humili par la justice britannique qui ne lui avait pargn la pri son qu condition qu il subisse une cas tration chimique par traitement hormo nal Son tort tre homosexuel dans une Angleterre encore ultraconservatrice o la loi condamne de telles m urs Durant la Seconde Guerre mondiale ce scienti fique hors pair avait contribu briser le code secret de la marine allemande et viter ainsi l invasion de l Angleterre UNE ENFANCE LOIN DE SA FAMILLE Alan Turing est n Londres en 1912 Le climat de Madras en Inde o son p re doit regagner son poste d administrateur colo nial est jug peu favorable la sant des enfants Encore nourrisson Alan est donc plac avec son fr re a n pr s d Hastings au sud de la Grande Bretagne dans la famille dun colonel o l on pense que l ducation des gar ons doit en faire des hommes des durs des vrais Les fils Turing ne verront leurs parents que d
28. la recherche intelligente d images est loin d tre parfaite Il y a toujours un foss s mantique entre ce que la machine peut faire et les attentes des utilisateurs r agit Matthieu Cord sp cialiste du traitement de l image au Lu lt lt mad ai 16 per pin EE FENFFEFF 23 Certains agents virtuels peuvent exprimer des motions 24 Mis au point dans le cadre du projet europ en Semaine l auditeur sensible artificiel SAL peut dialoguer avec un humain via un personnage virtuel M OCHS FTP LIP6 En ce moment avec le projet Asap nous d veloppons des algorithmes pour faire de la reconnaissance automatique du texte enfoui dans les images ou les vid os afin de pouvoir g n rer des r su m s automatiques Pour nous c est tr s simple mais pour une machine LA RECONNAISSANCE FACIALE Les r seaux de neurones artificiels boost s ces derni res ann es par l volution des technologies et des m thodes d apprentis sage sont eux particuli rement efficaces pour la reconnaissance de visages Les r seaux de neurones derni re g n ration peuvent l image de notre il analyser les visages couche d information apr s couche d information les m moriser puis les reconna tre lorsqu ils les rencontrent nou veau raconte Ludovic Denoyer sp cia liste des r seaux de neurones LIP6 Parmiles inventions contemporaines en mati re
29. me qui lui sans conteste pense LE TEST DE L IMITATION Le test de Turing sera donc un jeu d imi tation l issue duquel une machine pour ra tre d clar e intelligente ou pas Dans un premier temps un interrogateur doit dialoguer avec une femme et un homme ayant pour consigne de se faire passer pour une femme puis d terminer lequel des deux est r ellement une femme Pour faire abstraction des apparences de la voix et du visage les changes sont dactylogra phi s Dans un second temps l homme est remplac par une machine linsu de l interrogateur D sormais la machine imite l homme qui imite la femme Si l interrogateur est incapable d identifier la femme qu il ne peut dissocier l homme et la machine alors on peut consid rer que la machine est intelligente Deux pr suppos s qui fondent la notion d intelligence pour Turing sont requis pour laborer ce test En premier lieu Alan Turing a la certitude que toute activit intellectuelle peut se reproduire S HONDA AFP l aide de nombres Le calcul qui vient du mot caillou consiste manipuler des objets symboliques pour d crire des op ra tions de la pens e raconte Jean Gabriel Ganascia chercheur au Laboratoire d informatique de Paris 6 LIP6 Alan Turing sest demand quelle tait la puis sance de ces objets symboliques autre ment dit ce que l on pouvait faire avec des calculs D s 1945 il a l intime convi
30. mettront tous au ch mage HORS S RIE MAI 2012 Culture JEU INTERACTIF Opera ex machina l cho des dialogues avec une machine en qu te d identit Au mois de juin en ligne et Montpellier 34 http operaexmachina blogspot fr gt L entit virtuelle Opera a t inspir e parles travaux d Alan Turing surle dialogue entre l homme etla machine gt Quelle diff rence y a t il entre toi et moi interroge l trange cr ature appel e Opera Moi je r ve r pond l enfant Mais moi aussi je r ve r plique la machine tout droit sortie de l imagination de la plasticienne C cile P ndha Thiam Celle ci s imagine humaine et cherche savoir ce qui la diff rencie de son interlocuteur explique l artiste Les participants au projet ont choisi cet hommage artistique et scientifique pour pr senter Turing au grand public indique Jean Sallantin sp cialiste en intelligence artificielle Au mois de juin cette exp rience interactive s ouvre tous sur Internet et se prolonge dans la ville de Montpellier via des crans tactiles C P NDHA THIAM LIVRE REVUE Turing Robots trangement humains Jean Lass gue Gradhiva n 15 Denis Vidal et Emmanuel Les Belles Lettres Grimaud dir Mus e du quai Branly coll Figures mai 2012 240 p 20 du savoir 1998 gt Faut il donner aux robots une 1 d 210 p 12 appare
31. n infor matique V ronique Cortier et Laurent Bienvenu le sp cialiste en intelligence artificielle Jean Gabriel Ganascia ou encore le math maticien G rard Berry voquent dans ce film l apport lin fluence et le rayonnement du math maticien Alan Turing De ce chercheur reconnu unanimement comme l un des pionniers de l informatique et dont les d couvertes rayonnent encore de nos jours ils parlent avec reconnais sance posant sur lui un regard chaleu reux et admiratif Le film d voile un homme la personnalit nigmatique sensible tel point passionn par ses recherches que lorsqu il fut condamn ENPOTIOMT POLE ea on on mu msn nu Cle bo Fu Eu 01 Maison d Alan Turing Manchester 02 De gauche droite Jean Lass gue Michel Serres Jean Gabriel Ganascia et G rard Berry 02 ji pour homosexualit il pr f ra la cas tration chimique la prison De sa fin tragique Alan Turing s est officielle ment suicid Michel Serres tire cette conclusion am re Cette mort est sym bolique d un rapport entre un individu g nial lucide et salvateur et une soci t obscurantiste sotte et criminelle qui ne le comprend pas EXPOSITION Interactiv 3 0 Jusqu au 20 d cembre Espace Turing Nice 06 Entr e libre www espace turing fr gt Nice l Espace Turing ouvre ses portes un large public dans le cadre de la manifestation p dagogique Interactiv
32. nce humaine Si quelques traits gt De son itin raire anthropomorphiques facilitent le premier intellectuel aux contact entre les hommes et les machines d cryptages de ses une trop grande ressemblance peut D trova et de leurs um rapidement provoquer cons quences pist mologiques et un malaise travers des exemples concrets des automates de lInde ancienne aux robots philosophiques cet ouvrage du philosophe Jean Lass gue revisite l ensemble de l uvre d Alan Turing Son legs s av re consid rable La mise en rapport de la logique les plus perfectionn s et de la biologie par Turing a transform des anthropologues radicalement le visage de la science MISE LS explorent nos relations Reste en mesurer la valeur et en avec ces machines qui approfondir le sens conclut l auteur nous ressemblent EN LIGNE 2012 ann e Turing www cnrs fr turing2012 gt Retrouvez tous les v nements organis s par les laboratoires du CNRS l occasion de l Ann e Turing sur ce site incontournable Outre cet agenda dans une rubrique sous forme de verbatims des scientifiques comme Pierre Lescanne Thierry Vi ville ou Laurent Fribourg et des artistes tel l crivain et sc nariste Beno t Peeters livrent leur point de vue sur l h ritage laiss par Alan Turing comment le math maticien prodige et visionnaire a t il influenc leur parcours pourquoi Turing est il un rep re pour les lyc ens du xxr si
33. ng s College Cambridge AMT K 7 38 Photogravure Scoop Communication Impression Groupe Morault Imprimerie de Compi gne 2 avenue Berthelot Zac de Merci res BP 60524 60205 Compi gne Cedex ISSN 0994 7647 AIP 0001309 D p t l gal parution D Photos CNRS disponibles phototheque cnrs bellevue fr http phototheque cnrs fr La reproduction int grale ou partielle des textes et des illustrations doit faire obligatoirement l objet d une demande aupr s de la r daction NATIONAL PHYSICAL LABORATORY CROWN COPYRIGHT SPL COSMOS L NATALE P TRESSET ALAN TURING EN 6 DATES 23 JUIN 1912 1939 1942 1945 1950 1952 7 JUIN 1954 4 Biographie Histoire CNRS LE JOURNAL l occasion du centenaire de la naissance d Alan Turing CNRS Le journal revient sur le parcours du c l bre math maticien britannique dont l h ritage demeure incroyablement vivace aujourd hui dans le monde scientifique mais aussi au del UN 1 genie 01 Portrait d Alan Turing r alis Naissance a Londres par le bras robot A du projet Aikon D codage du syst me de men actuellement cryptage allemand Enigma A tuniversite de Londres Projet de la machine universelle ou ordinateur Le p re spirituel de l informatique a en quelque sorte t dessin par sa propre cr ation Publication de Particle L ordinateur et l intelligence Publication de Particle La base chimique de
34. nnent d sormais avec 40 000 r gles et ont re cours des mod les statistiques ce qui am liore sensiblement la pertinence de leurs r ponses tend le champ de leur conversation et leur offre m me le sens de l humour lire l encadr p 13 Depuis Turing les agents conver sationnels et les robots compagnons se sont dot s de la parole et de la vision ce qui a am lior consid rablement leurs HORS S RIE MAI 2012 interactions avec l homme Il est d ailleurs tonnant de constater qu travers nos seules expressions faciales un robot arrive cerner notre tat d esprit et nous r pondre de fa on tout fait pertinente Ce type de programme est de plus en plus utilis lors de formations pour ap prendre par exemple g rer un client difficile ou un manifestant agit Dans le cadre du projet europ en Tardis nous allons d velopper un agent virtuel pour que des jeunes en insertion sociale s entra nent passer des entre tiens d embauche indique Nicolas Sabouret Le recruteur virtuel n utilisera que les motions exprim es par le jeune travers la voix et la reconnaissance des expressions faciales pour r agir de fa on adapt e Si un jeune se r v le trop d sinvolte l agent pourra ainsi se mon trer cassant dans la question suivante D autres laboratoires se focalisent sur la voix Aujourd hui il est courant de pouvoir donner des ordres son t l phone portable mais
35. omme et une machine Avec son test Alan Turing circons crit vraiment la port e de intelli gence artificielle en liminant les aspects physiques et physiologiques r sume Jean Gabriel Ganascia D barrass e de la forme l intelligence mest donc plus le propre de l homme On peut ainsi la d celer dans la nature l volution des esp ces ou certains comportements animaux et l utiliser au m me titre que le raisonnement humain pour cr er des au nent IUH CNRS LE JOURNAL C BOUJOT V CHEVRIER A algorithmes destin s nourrir les machines Aujourd hui les robots en essaim s inspirent largement des insectes sociaux des fourmis ou des abeilles qui font merger de l intelligence partir d interactions tr s simples informe Jean Paul Haton Nous avons par exemple mod lis le comportement d araign es sociales de type Anelosimus eximius qui coop rent pour construire leurs toiles Il s agit de recherches fondamentales qui pourraient tr s bien un jour inspirer le monde industriel pour les cha nes de fabrication la fin de sa vie Turing lui m me tentera de mettre en quation la croissance des cellules biologiques la fa on dont celles ci s organisent et per mettent l intelligence d merger Ces travaux sur la morphogen se devance ront les notions d algorithme g n tique et d informatique volutionniste HORS S RIE MAI 2012 Jean Gabriel Ganascia Laboratoire
36. qu on ne peut pas tout calculer de mani re automatique en imaginant un concept de machine qui inspire encore le fonctionnement de nos ordinateurs TOPORY WIKIMEDIA COMMONS 13117 Surlapiste de l intelligence artificielle En mettant au point son concept de machine universelle puis son fameux test visant a d terminer si une machine peut penser Alan Turing a ouvert la voie aux travaux sur lintelligence artificielle Li M nd A G AE TTT Retrouvez tous les v nements du CNRS livres films expositions sites Internet conf rences consacr s Alan Turing CNRS IMAGES R daction 1 place Aristide Briand 92195 Meudon Cedex T l phone 01 45 07 53 75 T l copie 01 45 07 56 68 M l journal du cnrs cnrs dirfr Le journal en ligne www2 cnrs fr journal CNRS si ge 3 rue Michel Ange 75794 Paris Cedex 16 Directeur de la publication Alain Fuchs Directrice de la r daction Brigitte Perucca e jo u FN d Directeur adjoint de la r daction Fabrice Imp rial R dacteur en chef adjoint Matthieu Ravaud Chefs de rubrique Fabrice Demarthon Fr d rique Laubenheimer Charline Zeitoun Assistante de la r daction et fabrication Laurence Winter Ont particip ce num ro Denis Delbecq Laurianne Geffroy LES he Secr taire de r daction Isabelle Grandrieux Conception graphique C line Hein Iconographe St phanie Tritz Couverture Library and Archive Center Ki
37. qui ses heures perdues d veloppe des calculs tr s complexes son professeur de math ma tique plaide sa cause aupr s du directeur de l cole et le sauve du redoublement Lann e suivante en 1927 Alan fait l cole une rencontre d terminante Il s appelle Christopher Morcom est g d un an de plus que lui et se passionne pour les sciences et les math matiques C est 02 Turing courant le3 miles 4 8 km du Laboratoire national de physique en 1946 03 Alan croqu par un camarade vers 1920 semblant davantage fascin par la pousse des marguerites que par son match de hockey le coup de foudre Avec cette relation sans doute platonique le jeune Turing prend conscience de son homosexualit alors s v rement r prim e dans l Angleterre de ce d but du xx si cle Mais Christopher meurt d une tuberculose bovine 19 ans La vocation d Alan Turing est li e ce drame il a sans doute pens qu il se devait d incarner le destin scientifique qui tait promis son ami d c d analyse Jean NATIONAL PHYSICAL LABORATORY CROWN COPVRIGHT SPL COSMOS SHERBORNE SCHOOL Lass gue Selon le philosophe cette ton nante id e le hantera toute sa vie Et on peut y entrevoir en filigrane la source de ses futurs travaux dans lesquels il invente un concept devenu aujourd hui d une absolue vidence il est possible de disso cier une machine et les programmes qui la
38. r donner la m t o ou annoncer qu il ne se passait rien En cryptanalyse justement on cherche souvent d abord deviner ce que des mots veulent dire et ensuite on teste si la cl de chiffrement ainsi d finie fonctionne sur l ensemble du ou des messages Cest dans 07 Bombe de PUS Navy construite deTuring EF 08 Reconstitution de l une de ces machines qui ont permis aux Alli s de d crypter les messages cod s des Allemands J KING HOLMES BLETCHLEY PARK TRUST SPL COSMOS d apr s les bombes anglaises avec l aide INRIA cette approche d ductive que Turing a fait preuve d une grande intuition pour r duire le nombre de combinaisons tester Cest l que r sident la prouesse et l intelligence Que peut on dire de l apport de Turing la cryptographie F M Peu de choses en r alit Ses travaux n ont jamais fait l objet de publications scientifiques On ne dispose que de son carnet de laboratoire inaccessible jusqu en 1996 cause du secret militaire et qui n a pas t r dig de mani re scientifique Ily consigne tout ce qu il sait mais on ignore la partentre ses propres r flexions et les informations glan es aupr s des autres scientifiques et agents des services secrets Ensuite il faut bien comprendre la distinction entre la cryptographie science du chiffrement qui n cessite la production d algorithmes et de th ories et la
39. rain Bletchley Park tait une usine d crypter dans laquelle la quasi totalit des math maticiens de Cambridge et d Oxford s taient enr l s travaillant dans des baraquements et faisant les trois huit Les r flexions de Turing sur le calcul le pla aient en premi re ligne pour participer cette entreprise La marine allemande utilisait une machine crypter Enigma Il s agissait d une version ultrasophistiqu e d autres mod les allemands du m me nom employ s par les arm es de terre et de lair et d ja tudi s par les services de renseignement polonais Ces derniers avaient en effet construit des bombes machines qui permettaient de testertoutes les cl s de chiffrement possibles dans un minimum de temps Faire vite tait indispensable car la cl changeait tous les jours Turing m a t il fait qu utiliser les bombes concues et construites par les Polonais F M Non les bombes des Polonais ne permettaient de casser que les premi res versions d Enigma Turing a particip a la construction de bombes adapt es la version utilis e par la marine Surtout il a exploit diff rentes faiblesses dans la fa on dont les Allemands utilisaient leur syst me de codage Ils commen aient par exemple leurs messages par des formules de politesse assez convenues de type Herr Kommandant faciles deviner Tout comme les messages tr s courts et st r otyp s qu ils envoyaient r guli rement pou
40. rammables annonce l re de l ordinateur et du num rique Les travaux de Turing restent toujours d actualit th orie de la calculabilit th o rie de la complexit th orie de la preuve et complexit de Kolmogorov sont autant de domaines de recherche qui trouvent leur source dans les formalisations du pr curseur de l informatique Aussi extraordinaire que cela puisse para tre les contributions d Alan Turing ne s arr tent pas l Il a particip pen dant la Seconde Guerre mondiale au d cryp tage des codes secrets allemands con us gr ce la fameuse machine Enigma Il a pos une question centrale de l intelligence artificielle une machine peut elle penser Enfin il a cher ch comprendre des processus morphog n tiques et a expliqu par exemple comment apparaissent les rayures des z bres Cryptologie intelligence artificielle math matiques informatique biologie Alan Turing est le symbole clatant de l art de faire dialoguer les disciplines Ses travaux sont au c ur des sciences de l information et de la grande r volution num rique que nous connaissons aujourd hui Sommaire 3 418 Ung nie au destin brise l occasion du centenaire de la naissance d Alan Turing CNRS Le journal revient sur le parcours du c l bre math maticien britannique dont l h ritage demeure incroyablement vivace aujourd hui 9 12 Les pr mices de l ordinateur En 1936 Alan Turing d montre
41. rces du Web des technologies regroup es sous le terme de Web s man tique On souhaite d velopper des moteurs de requ te afin de pouvoir inter roger le Web par l interm diaire d une question pr cise telle O est mort Albert Einstein et de pouvoir obtenir en retour une r ponse claire et non une liste de docu ments illustre Marie Christine Rousset qui dirige pour l Institut universitaire de France le projet Intelligence artificielle et Web extraire et raisonner sur les donn es du Web L une des difficult s est la mise au point d outils qui restent per formants face la masse ph nom nale 15 d informations disponibles sur le Web Le cadre formel de la calculabilit et de la complexit fond sur le mod le de la machine de Turing est fondamental pour relever ce d fi lire p 9 Lautre challenge est d valuer la qualit des donn es car sur le Web il y a toujours des erreurs ou des opinions divergentes L ANALYSE DE CONTENUS Au LIP6 certains chercheurs se concen trent sur limage et d veloppent des outils pour analyser son contenu savoir ce quelle repr sente s il sagit d un objet ou d une personne et m me de quelle personne exactement Sur le Web il est d ores et d j possible de faire de la recherche d images simples par simila rit forme couleur texture etc en sou mettant au moteur de recherche une requ te sous la forme d une image exemple Mais
42. s la taille de la m moire est repr sent e par la longueur du ruban et le temps de calcul par le nombre d op rations accomplir sur ce ruban Un exemple classique est la reconnaissance de langage indique Nicolas Ollinger Selon le mot d entr e l appareil doit r pondre oui si c est un palindrome c est dire un mot qui se lit indiff remment de gauche droite et de droite gauche et non dans le cas contraire Inscrivons sur le ruban le mot radar pour que la machine d finisse s il Sagit ou non d un palindrome La machine lit le caract re le plus droite et le m morise CARACT RE M MORIS Puis la machine lit le caract re le plus gauche et le compare au pr c dent m moris s ils sont diff rents elle r pond non et arr te le calcul Sils sont identiques comme dans cetexemple la machine efface les caract res CARACT RE M MORIS 12 LECTURE DU CARACT RE LE PLUS DROITE LECTURE DU CARACT RE LE PLUS GAUCHE Enqu te OS La machine v rifie ensuite qu il reste plus d un caract re a lire sur le ruban Si oui elle reprend la proc dure depuis le d but CARACT RE M MORIS La machine compare donc de nouveau les deux caract res situ s aux extr mit s S ils sont identiques comme c est encore le cas dans cet exemple elle les supprime
43. tre une presque femme Et si la pens e et le corps entretenaient des liens plus profonds qu il ne le croyait Et s il s tait tromp interroge Jean Lass gue se figurant les derni res pens es du math maticien Le 7 juin 1954 Alan Turing est retrouv raide et froid dans son lit La pomme au cyanure a fait son uvre 1 Unit CNRS cole polytechnique 2 Unit CNRS Universit de Strasbourg 3 Vieet mort de l trange Dr Turing documentaire de Christopher Sykes 1992 de percer la structure de l ADN Mais Turing avait d j per u que la g n tique ne suffirait pas pour tout d crire Celle ci fonctionne selon un code fixe or il n existe pas de d terminisme en biologie les al as impr visibles de l volution des esp ces en t moignent Dans son article de 1952 Turing est le premier autiliser les quations diff rentielles tr s complexes de r action diffusion dans le cadre de la morphogen se Sa d monstration est capitale dans l histoire de la biologie du d veloppement 11 HORS S RIE MAI 2012 Enqu te informatique En 1936 Alan Turing d montre qu on ne peut pas tout calculer de mani re automatique I imagine pour cela un concept de machine dont le principe inspire encore le fonctionnement de nos ordinateurs Les pr mices de l ordinateur PAR DENIS DELBECQ Hilbert lance un d fi ses coll gues qu il baptise probl me de la d cision Existe t il une m t
44. uesse Pour Shaun Wylie ami d Alan rencontr Princeton et retrouv Bletchley Park mieux valut que la s curit ne sut rien de son homosexualit il aurait sans doute t vir et nous aurions perdu la guerre Apr s la guerre Turing peut enfin se consacrer la mat rialisation de la ma chine id ale con ue dans son article de 1936 Il entre au Laboratoire national de physique pr s de Londres o il r dige NATIONAL PHYSICAL LABORATORY CROWN COPYRIGHT SPL COSMOS 06 Biographie un Lu lt z D nA lt en trois mois le projet de construction d un prototype d Automatic Computing Engine ACE Il ne s agit pas d un simple calcula teur comme pour les projets am ricains concurrents mais d une machine suscep tible de traiter n importe quel type de don n es Les plans vite achev s Turing laisse programmateurs et ing nieurs construire l ACE qui rentrera en service qu en 1950 CNRS I LE JOURNAL Entre temps il a rejoint en octobre 1948 l quipe de Max Newman l universit de Manchester Et c est en fait l bas que en juin de la m me ann e le premier programme au monde fonctionne sur un ordinateur con u lui aussi en grande partie d apr s les id es de Turing Paradoxalement en cette p riode de concr tisation de ses travaux le scientifique commence se d sint resser de cette infor matique naissante Parce que son ambi tion profonde
45. ux sociaux analyses d images agents virtuels Mais comment la question d une machine pensante a t elle pu avoir une telle influ ence Tout simplement parce quen y r pondant Turing propose une d fini tion de l intelligence et donne en quelque sorte le mode d emploi pour construire cette fameuse machine pensante ALAN TURING AUDACIEUX Il fallait vraiment tre audacieux et vision naire pour se poser une question pareille une poque o les ordinateurs avaient la puissance de calcul d une montre affirme Jean Paul Haton chercheur au Laboratoire lorrain de recherche en informatique et ses applications Effectivement nous sommes en 1950 l informatique est bal butiante et la discipline de l intelligence artificielle ne fera son apparition officielle quen 1956 apr s la mort de Turing la suite de l atelier d t organis par John McCarthy au Darthmouth College D audace et de vision Turing n en manquera pas puisqu il r pondra cette question philosophique en math maticien et laborera le test qui porte aujourd hui son nom La premi re tape de son raisonnement consiste refor muler la question de d part abstraite en une proposition plus facilement 16 En 1997 Garry Kasparov le champion du monde d checs est battu par l ordinateur Deep Blue mis au point par la soci t IBM d montrable Ainsi Une machine peut elle penser devient Une machine peut elle imiter l hom
46. xemple d incalculabilit une machine de Turing avec un i iias nombre fixe cy d instructions doit crire un maximum de 1 sur son ruban avant de s arr ter Orilestimpossible de d terminer le nombre maximal de 1atteignable casse t te entre 4 points il y a 6 tra jets diff rents possibles pour 8 il existe plus de 5000 chemins et pour 13 on en recense pr s de 480 millions Une des grandes questions non r so lues est de d terminer si les classes des pro bl mes P et des probl mes NP sont quiva lentes C est la qu te du Graal pour les th oriciens souligne Pascal Koiran dont c est le pain quotidien En d autres termes un probl me dont une solution est v ri fiable dans un temps raisonnable la classe NP peut il aussi tre r solu dans un temps raisonnable la classe P La r ponse est si peu vidente que cette ques tion a t inscrite parmi les sept d fis du mill naire lanc s en 2000 par l Institut am ricain de math matiques Clay P RE DE LA PHYSIQUE QUANTIQUE Ces derni res ann es une nouvelle disci pline est venue enrichir la r flexion des penseurs de l informatique fondamen tale en 1982 le Prix Nobel de physique Richard Feynman avait propos de r ali ser des calculateurs avec des syst mes reposant sur la physique quantique Dans un ordinateur classique une information l mentaire le bit peut prendre deux valeurs le 1 ou le 0 l image
Download Pdf Manuals
Related Search