LES MACHINES PENSENT
Contents
1. crire ce n est pas tracer des lettres au stylo mais effectuer une manipulation de marques qui change une configuration formelle lire ne n cessite aucune compr hension mais seulement une capacit distinguer des marques et leur configuration Ainsi l activit de lecture ou d criture est sp cifique que repr sentent les r sultats d une manipulation formelle Pour un joueur le but de la partie est de gagner Aux checs la fin de la partie est attein te quand un des joueurs a gagn ou quand on ne peut d partager les joueurs Or cette expression se traduit dans le langage formel par un ensemble de configurations o un roi en chec est dans l incapacit de supprimer au coup suivant la cause de cet chec soit par une prise de pi ce soit par un d placement Ainsi finir une partie s interpr te de deux fa ons l une par rapport aux configurations des pi ces l autre par rapport au joueur qui gagne De m me les syst mes infor matiques peuvent se lire de deux fa ons Aussi peut on se demander quoi correspond dans la r alit le traitement effectu par un ordinateur Car le r ve des informaticiens est de remplacer les processus naturels par des proc dures informatiques contr lables En r sum l ordinateur se pr sente comme un syst me formel inter pr t le jeu d checs n est qu un jeu En respectant les r gles nous raisonnons parfaitement mais les transfor2. nous tonne 2 Titre d un livre d j ancien de Couffignal repris par Jacques Arsac Le Seuil 1987 3 L expression figure dans de nombreux titres et concerne un domaine de recherches en plein d veloppement 4 John Haugeland L esprit dans la machine Fondements de l intelligence artificielle Editions Odile Jacob Paris 1989 traduit de l am ricain par Jacqueline Henry Cambridge 1985 5 Jean Pierre Changeux et Alain Connes Mati re pens e Editions Odile Jacob 1989 215 10 11 12 13 14 15 16 17 18 19 20 21 216 LES MACHINES PENSENT ELLES Une somme une moyenne un cart type etc L ordinateur traite de m me des graphiques des images et des sons Le mot ordinateur est une traduction faite en 1955 du terme computer Le mot anglais vient du verbe to compute qui signifie calculer On remarquera la connotation diff rente des quivalents fran ais et anglais Si on admet en suivant Changeux que les pens es constituent des objets mentaux il faut reconna tre qu il s agit d objets flous aux contours vanescents Les informaticiens abusent de l anglicisme digital qui vient de digit dont l tymologie voque le calcul avec les doigts Un Allemand aurait invent la machine calculer peu de temps avant Pascal Mais sa machine aurait t d truite dans un incendie On raconte que l auteur l aurait supprim
3. sultat soit compr hensible par des Chinois Il reste vrai que la seule limite au pouvoir de l ordinateur est la complexit du r el qui conduit l explosion combinatoire 211 LES MACHINES PENSENT ELLES Mais l application des r gles suffit elle pour comprendre Des r gles correctement appliqu es peuvent elles engendrer du sens Malgr la mise au point d assistants il est plus facile d adapter un homme une machine qu une machine l homme l utilisateur doit pour communiquer avec elle appliquer rigoureusement les r gles de syntaxe inscrites en elle Sur ce point les ordinateurs n ont pas les capacit s des humains En pr sence d un texte mal crit avec de nombreuses fautes l homme comprend malgr tout le message qui lui a t adress La machine jusqu ce jour en est peu capable elle nous envoie un message d erreur pr d fini Certes un correcteur d orthographe remarque des permutations de lettres dans un mot et propose par exemple le mot ordinateur la place d ordinatuer Il ne fait cependant pas la diff rence entre deux mots qui sont tous les deux dans le dictionnaire comme cours avec un s et court avec un t D expression ch ne de t l vision avec dans cha ne ne sera pas corrig e Le v rificateur grammatical peut de m me relever des erreurs qui n en sont pas Il appartient l usager comme au citoyen de faire le b
4. classe un billet Metz Paris etc Une phrase prononc e dans la vie courante n est comprise que si on la r f re son contexte O se trouve t on Qu a t on dit pr c demment De quoi parle t on Sans oublier nos habitudes de pens e la situation de communication etc Traduire une phrase dans un code informatique demande l lucidation de ce qu elle contient d implicite Il y a perte d information quand on passe d une phrase du langage courant un langage formel Aussi la rigueur n est obtenue qu au prix d une limitation de l ensemble de r f rence L informatique renvoie aux math matiques plus qu la r alit comprise par le sens commun Saussure nous a rendus attentifs au caract re 210 LES MACHINES PENSENT ELLES arbitraire des signes qui comportent un signifiant et un signifi Lorsque dans l apocalypse de Jean il est question des 144 000 marqu s du sceau l expression ne signifie pas un nombre exact d lus mais une totalit un tr s grand nombre d lus Si le signifiant en tant que forme peut tre manipul son signifi varie avec les cultures d une fa on plus ou moins arbitraire Enfin n oublions pas que les codes sont surtout au service de l action Les langages ont d abord un aspect pratique Ils sont un moyen d agir sur les choses ou de communiquer ils permettent accessoirement de comprendre le monde Cela est aussi vrai des codes informatiques Ceux ci s
5. e pour des raisons religieuses horrifi la pens e qu une machine pouvait effectuer des op rations de l esprit humain C est la mode des automates Sur cette discipline lire Jean Paul Haton et Marie Christine Haton Que sais je PUF 1989 On trouve d j dans des trait s de m decine ou de divination m sopota miens des s ries ordonn es de pr ceptes du type si on observe tel signe alors il faut poser tel diagnostic Voir Pierre Levy les technologies de l intelligence La D couverte 1990 p 104 Boole explique vers 1854 que l on peut coder les d marches de la pens e l aide des trois propositions ET O NON mises en pratique l aide de portes qui ne poss dent que deux tats Z ro un oui non vrai faux ouvert ferm On a dit que l informatique tait la formalisation plus l lectronique Le megahertz est l unit physique mesurant la fr quence d une oscilla tion c est dire la vitesse de fonctionnement d un ordinateur Or un megahertz correspond un million de hertz ou d oscillations par seconde Aujourd hui les ordinateurs domestiques tournent plus de 25 megahertz En particulier les r sultats obtenus par l application des r gles aux donn es primitives Comme les ordinateurs sont au service de projets divers on peut se deman der s il existe une nouvelle science appel e informatique ou si les ordinateurs ne rel vent pas tout simpleme
6. l astuce des informaticiens sera de concevoir des raccourcis 3 L criture avec ces signes tant fastidieuse on a invent un langage alphanum rique appel assembleur chaque bit rappelons qu il y a 8 bits dans un octet correspond un assemblage de deux signes chacun compos d une lettre ou d un chiffre C est ce que l on pourrait appeler la machine abstraite 4 Ce langage tant lui m me fastidieux utiliser on a cr partir de lui toutes sortes de codes permettant de donner des ordres la machine condition de respecter certaines r gles de syntaxe on conna t le basic le plus connu des d butants le pascal utilis par les scientifiques le fortran r serv aux comptables etc Ce sont les langages volu s ou compilateurs 5 Ainsi on passe insensiblement du code le plus proche du support mat riel aux codes les plus proches des langages naturels On met au point des codes toujours plus faciles utiliser plus conviviaux Mais l utilisateur doit dans tous les cas donner un sens aux symboles qu il code ou d code dans tel ou tel langage de la machine c est lui le v ritable interpr teur de ce qu il crit ou lit Pour cela il doit repr senter sch matiquement les faits qu il veut d crire et en faire une paraphrase r gl e Ces codes pr sentent trois caract ristiques ce sont des langages artificiels dont le support mat riel ne compte pas et qui n cessiten
7. la m moire et de la r flexion humaines Une encyclop die peut d sormais se transcrire sur un seul CD ROM De m me une collection de tableaux de symphonies bref toute production culturelle Bien plus l ordinateur permet non seule ment de reproduire mais de traiter et d agir Il facilite la construction de toutes sortes de mod les il nous fait entrer dans l re des simulations et rend l imagination humaine op rationnelle C est pourquoi c est un prodi gieux outil mental Aussi ce n est pas sa relative autonomie qui nous para t dangereuse mais plut t l aptitude des crans couper l homme de sa r alit d hom me agissant sur l espace et le temps du travail les robots acc l rent l histoire rapetissent la plan te et multiplient les connexions Entrons nous de ce fait dans une re de plus grande convivialit et de rapproche ment des hommes ou au contraire manquerons nous des r actions thiques n cessaires devant les probl mes majeurs qui nous sont pos s restructuration du monde du travail d s quilibres conomiques d velop pement acc l r des sciences et des techniques y compris en biologie mais aussi reformulation permanente des droits de l homme en face de ces mutations L sont les v ritables d fis de l ordinateur NOTES 1 Que des publicitaires comparent l ordinateur un cerveau ne nous surprend pas Mais que des savants tombent dans le pi ge de l analogie
8. LES MACHINES PENSENT ELLES par M Roland GROSSMANN membre correspondant Affirmer qu une machine pense para t incongru Or des ouvrages s rieux consacr s aux ordinateurs pr sentent des titres du 29 2 T E EL 9 3 genre Les machines penser L intelligence artificielle L esprit dans la machine Mati re penser Existe t il une intelligence artificielle et si oui en quoi diff re t elle de la pens e humaine Observons un ordinateur le clavier ressemble une machine crire et sert entrer des instructions l unit centrale dispose d un moteur actionnant un lecteur de disques et des processus d change le moniteur ressemble un t l viseur o s inscriraient toutes sortes de r sultats des circuits relient entre eux ces l ments Or on n a jamais d clar qu une machine crire un lecteur de disques un poste de t l vision ou un fil lectrique taient capables de penser Mettons notre ordinateur en marche Lan ons un tableur et inscrivons dans 200 cases divers grands nombres S lectionnons les et inscrivons dans une autre case une formule en moins d une seconde nous obtenons le r sultat d un calcul complexe Lan ons maintenant un traitement de texte Copions un texte et ins rons un mot une place quelconque tous les signes en aval se d calent instantan ment vers la droite Supprimons un
9. Pour rendre compte des calculs arithm tiques ou logiques voire du langage crit il suffit d un codage correct Le support se r duit des assemblages de bo tes comprenant les microprocesseurs reli s par des circuits Pour le profane l apparence des choses n est plus qu un jeu de m cano Ainsi l invention du microprocesseur est le quatri me moment d cisif Comment fonctionne un ordinateur Il n y a pas de diff rence de principe entre la machine calculer de Pascal et les gros calculateurs modernes Des circuits remplacent les engrenages et la machine effectue des calculs compliqu s au lieu de calculs simples Mais vers 1945 chaque fois que la nature des calculs changeait il fallait changer les circuits Le passage du calcul analogique au calcul num rique avec des unit s discr tes a permis d utiliser la m me machine pour des op rations diverses Von Neumann op re une r volution en distinguant des unit s fonction nelles la m moire l unit de calcul logique l unit de calcul arith m tique et chose essentielle l unit de commandement Comparons l ordinateur un jeu d checs Nous avons un ensemble de donn es les pi ces dans leur configuration initiale 205 LES MACHINES PENSENT ELLES un ensemble de r gles les d placements autoris s pour chaque cat gorie de pi ces un moteur permettant d appliquer les r gles aux donn es c est la main du joueur ou
10. e d incubation l illumination et la mise en forme En math matiques cette derni re phase s appelle v rification c est d apr s Alain Connes la seule t che qui pourrait tre confi e un calculateur lectronique qui v rifierait la logique du raisonnement Encore faudrait il que l ordinateur soit programm pour Aussi ne sait on de quoi il faut s tonner le plus que l on ait pu attribuer de l intelligence aux ordinateurs ou que les hommes aient pu cr er des machines si prodi gieuses 212 LES MACHINES PENSENT ELLES Pourquoi les ordinateurs para issent ils intelligents Binet disait que l intelligence tait ce que mesurait son test Turing a propos un test devant prouver dans quel cas une machine est intelligen te un syst me permet un observateur de lire les changes entre un homme et une machine sans voir ces derniers L un des deux cherche tromper l autre Si l observateur ne peut distinguer l homme de la machine c est qu elle est intelligente Mais si le test tait r ussi ce qui n est pas encore le cas la machine serait elle intelligente Non en raison d une quadruple illusion 1 On ne se demande pas si une horloge est intelligente Pourtant une fois en marche elle continue longtemps fonctionner L autonomie de l ordinateur est encore plus grande Une fois programm il peut ex cuter des suites complexes d op rations sans interve
11. e phrase tous les signes en aval se d calent vers la gauche On imagine la joie d un r dacteur qui efface d place et ins re des passages volont Pourquoi dans ces conditions les auteurs de romans de science fiction d crivent ils des catastrophes o des robots chappent au 203 LES MACHINES PENSENT ELLES 7 contr le des humains Le mot ordinateur vient du verbe ordon ner qui signifie d abord commander Pressentent ils un pouvoir qui contesterait aux hommes leur domination sur la nature Cela justifie une d mythification visant expliquer ce que les ordinateurs font et ce qu ils ne feront sans doute jamais Apr s un historique nous montre rons comment les ordinateurs fonctionnent quelle limite on peut assigner leurs progr s et quel langage ils utilisent Nous r pondrons ensuite la question de savoir s ils pensent ou sont intelligents Quatre nouveaut s parmi plus de cent inventions ont contribu la naissance de l ordinateur 1 Ordonner signifie aussi ranger ordonner des cailloux sur le sol des signes sur un rouleau manipuler des objets culturels c est utiliser un support ext rieur l homme pour aider sa m moire facili ter sa pens e et la communication de celle ci aux autres Toutes ces traces sont les anc tres du disque ou du moniteur pi ces indispen sables de l ordinateur Car aujourd hui on stocke des impulsions lectriques sur des su
12. e qu il y a de plus difficile traduire dans un langage formel Dans chaque domaine les meilleurs experts ne sont pas toujours capables de repr senter leur d marche abstraitement On a d abord mis au point pour les profanes des langages simplifi s pour dialoguer avec la machine le plus connu tant le DOS Disk Operating System ou syst me d exploitation de disques Les langages syst mes tant relativement herm tiques on a vu fleurir des utili taires les traduisant dans des expressions de la langue courante selon des proc dures de choix multiples et gr ce des interfaces graphiques Les logiciels proprement dits ont chacun des fonctions pr cises traiter des textes effectuer des calculs tracer des graphiques remplir des tableaux etc Cf Mario Borillo Informatique pour les sciences de l homme Pierre Mardaga Editeur p 33 Combinatoire dont l expansion sature rapidement les machines les plus puissantes Cf Mario Borillo Informatique pour les sciences de l homme 217 38 39 40 41 42 41 44 45 46 47 48 49 50 51 218 LES MACHINES PENSENT ELLES Pierre Mardaga diteur p 17 Nous ne pouvons cependant pas fixer des limites a priori aux progr s de l intelligence artificielle Alain Connes op cit p 112 1989 Terry Winograd Fernando Flores L intelligence artificielle en question P U F Paris 1989 traduit de l am ricain par Jean Louis Pe
13. es En ajoutant des O ou des 1 je n obtiens vraisemblablement pas un autre texte Dans le passage d un niveau un autre je dois respecter les r gles de compatibilit Peut on dire que le sens est li la suite d termin e des 0 et des 1 Ne tient il pas plut t aux conventions appliqu es lors des codages Si l on compare maintenant les codes aux langages naturels la rigueur formelle des premiers s oppose la sensibilit au contexte des seconds On n a pas assez montr que l approche de l infini que propose Hilbert est celle qui est mise en jeu dans un ordinateur 6 Avec l ordina teur on ne sort pas des math matiques ou de la logique ni du monde fini des contraintes mat rielles et technologiques mais on peut gr ce lui accomplir une infinit de t ches l homme s il respecte les r gles des programmes et conna t les limites de la machine peut augmenter son intelligence du monde et son pouvoir de fa on inqui tante Cependant les logiciels peuvent se comparer du pr t porter ce sont des moules penser que chacun doit adapter son usage personnel en trouvant son style propre Car le syst me doit tre confront au r el Or les langages conventionnels rendent compte imparfaitement de la complexit des langages naturels Lorsque je demande un billet pour Paris mon interlo cuteur suppose que je prends le train que je d sire un billet simple un billet de seconde
14. ire aboutir un r sultat positif ou n gatif On est en pr sence de processus cycliques dits r cursifs ceux ci se r p tent mais ne sauraient se prolonger ind finiment L ordinateur est il un moyen de conna tre le monde ou d agir sur lui La pens e est ins parable du langage Or les codes comme les langages naturels sont des moyens de conna tre le monde et d agir sur les hommes Les programmes sont en quelque sorte du pr t penser ou ex cuter Examinons successivement ces deux points On parle abusivement de langages informatiques Il s agit plut t de codes Ceux ci sont constitu s de syst mes formels de plus en plus ramass s invent s progressivement mais li s entre eux de fa on univoque Nous en distinguons cinq 207 LES MACHINES PENSENT ELLES 1 Au premier niveau on d crit ce qui se passe dans un ordinateur en termes d impulsions lectriques traversant un r seau complexe de composants lectriques le courant passe ou ne passe pas C est la machine physique 2 Mais ces impulsions sont des symboles Le code binaire est le langage fondamental de l ordinateur Son support mat riel permet une transmission ultra rapide des informations Cependant ce code a l inconv nient d tre long employer en effet les signes utilis s dans les langues crites sont cod s en suites de signes binaires C est la machine logique ce que Von Neumann appelait le code complet Toute
15. le moteur de l ordinateur qui effectue chaque coup Mais dans le jeu d checs les r gles de d placement d une pi ce s appliquent au r sultat d un premier d placement Aussi non ons nous deux autres principes on peut toujours ajouter des donn es on peut toujours ajouter des r gles Ainsi comme dans un jeu d checs l tat du syst me passe par une suite de configurations d termin es Nous sommes en pr sence d un formalisme Examinons ses rapports avec la r alit Il se carac t rise par trois propri t s son caract re num rique son ind pendan ce par rapport au support mat riel et ses processus r cursifs 1 Un syst me formel manipule des marques Le mot manipulation voque une proc dure physique qui peut se r p ter Une marque suppose un constat de pr sence ou d absence ne laissant place aucune libert d interpr tation elle s impose tous Au jeu d checs les pions ne sont pas toujours plac s exactement aux m mes places sur les cases Cependant ils constituent des marques que l on manipule en les repositionnant en les modifiant en ajoutant de nouvelles marques et en liminant certaines marques Dans le monde r el 1l y a toujours des variations un ballon ne passe pas deux fois de la m me fa on dans le panier Pourtant au basket ball un panier est un panier On crit de diverses fa ons la lettre A mais un A est un du mome
16. mations effectu es sur les donn es sont elles conformes aux changements dans la r alit L acti vit informatique n est pas un jeu gratuit mais elle a un rapport avec le r el Elle constitue une simulation que l on confronte aux faits par des repr sentations conventionnelles et des interpr tations correctes Mais le 209 LES MACHINES PENSENT ELLES calcul num rique diff re du calcul analogique Qu advient il si un grain de sable dans la r alit vient contrarier les pr dictions de la machine Or aujourd hui on a une telle confiance dans les calculs des ordinateurs que l on se contente de simuler certaines exp riences difficiles monter La confrontation des r sultats avec le r el appara t presque superflue On oublie qu un mod le est du domaine de la th orie et que seules les v rifi cations peuvent laisser la th orie indemne On comprend pourquoi on a donn la d finition suivante de l ordina teur Un ordinateur est un syst me formel automatique interpr t Le fait que les suites de O et de 1 jouent des r les diff rents pose d j des probl mes d interpr tation certaines suites repr sentent des nombres d autres des op rations sur les nombres d autres des assemblages de lettres d autres des r gles d assemblages etc Si j op re sur des nombres et si J ajoute des O ou des 1 un nombre j obtiens un autre nombre Mais qu en est il si J op re sur des text
17. mmunication multim dia ou en r seaux Un logiciel aussi complet que le traitement de texte Word n est utilis en g n ral qu moins de 40 de ses ressources de m me qu un tableur comme lotus 123 Or ces applications n exigent qu une m moi re relativement r duite Aussi pris par la soci t de consommation en arrive t on acheter une Rolls pour faire ses emplettes chez l picier du coin Comme chaque auteur de logiciel pr sente r guli rement des versions plus performantes l utilisateur est tent par ces nouveaux produits qui bien que plus complexes sont d un maniement plus facile En effet les progr s touchent aussi heureusement la facilit d utilisation C est pourquoi appareils et logiciels paraissent vite obsol tes alors qu ils couvrent largement les besoins courants Aussi avant de changer chaque ann e le mod le de sa Rolls convient 1l de d terminer ses besoins traitement de texte calculs musique documentation changes multim dia et videmment les moyens financiers dont on dispose Compact Disk Read Only Memory disque que l on peut lire mais qui n autorise pas l criture
18. nt d une technologie Pourtant cette science a t d finie ainsi L informatique est la science de l orga nisation logique des ensembles de donn es et des machines qui en assurent le stockage la transmission et la transformation Cette d finition a le m rite de ne pas s parer l aspect formel de l aspect mat riel Cf Jean Dominique Warnier L homme face l intelligence artificielle Les ditions d organisation Paris 1984 John Haugeland L esprit dans la machine Fondements de l intelligence artificielle Editions Odile Jacob Paris 1989 traduit de l am ricain par Jacqueline Henry Cambridge 1985 Pourquoi la machine peut elle perdre aux checs devant un joueur humain C est que le nombre de coups possibles aux checs est si lev qu on n a 202 23 24 29 20 27 28 29 30 31 32 33 SL 35 36 37 LES MACHINES PENSENT ELLES pas encore mis au point une proc dure de r ussite infaillible Des s lec teurs de coups logiques quoique faillibles peuvent quand m me tre automatis s on parle alors d une proc dure de recherche ou heuristique celle ci est parfois suffisamment fiable pour permettre un ordinateur de battre un bon joueur d checs C est pr cis ment l id e de jouabilit finie Cf John Haugeland op cit Ds 75 Un ensemble ordonn de 8 signes O ou 1 permet de coder 2 256 signes l mentai
19. nt qu il est clairement identifiable Les syst mes formels ont la particularit d tre num riques Le mot digital utilis par les informaticiens rappelle les doigts support privil gi des nombres un syst me digital s exprime au moyen d unit s discr tes c est un ensemble de techniques positives et fiables permettant de produire et de reconna tre des marques Une technique positive r ussit de fa on absolue ainsi le tir au panier au basket ball est une m thode positive pour faire passer la balle travers le panier puisqu il peut tre r ussi sans restriction L approche du but dans un jeu de boule n est pas une m thode fiable si l on en juge par certaines palabres pour savoir qui a marqu le point L alphabet est discret tandis que les couleurs ne le sont pas car on passe insensible ment d une couleur une autre Ainsi le syst me est compos de marques qui sont des nombres 206 LES MACHINES PENSENT ELLES 2 Les syst mes num riques parce que de nature discr te rendent la complexit pratique et fiable En effet ils ont la propri t d tre ind pendants du support mat riel Si l on triple la taille d un ballon de football le jeu change de nature Aux jeux d checs les pi ces peuvent tre en bois en ivoire en m tal petites ou grandes elles peuvent tre repr sent es par des signes conventionnels sur du papier ou sur un cran Les checs lectroniques sont enco
20. ntion de l homme r Mais un moule raisonnement est il un raisonnement Une apparence d autonomie est elle l autonomie 2 Une horloge quoique complexe est d termin e par un objectif clair L emploi de modules avec des objectifs propres le travail en temps partag font que la r ponse de l ordinateur est souvent le r sultat de nombreuses demandes conflictuelles et non d un objectif unique En cel il donne l illusion de d cider la suite d un d bat 3 La plupart des m canismes physiques comme les horloges ou les machines calculer ne subissent pas de changement de structure dans le temps A l inverse les syst mes informatiques sont capables de changer un ensemble organis en un autre tout diff rent La plasticit donne Pillu sion de la vie 4 L activit d un ordinateur en raison de sa complexit et de sa plasticit est souvent impr visible Elle serait pr visible au niveau physique Mais la simulation est d un ordre de complexit qui la rend inutilisable comme m canisme de pr diction Ainsi dans l interaction avec un tel syst me nous tendons le traiter comme un organisme L effet de ces diff rences quantitatives est de cr er un bond qualitatif apparent entre les propri t s ordinaires des machines calculer et horloges et les quali t s pensantes de l ordinateur En quoi r side l intelligence de l homme L intelligence peu
21. on choix Lui seul est capable de comprendre le sens des r gles qu il utilise En effet qui interpr te Interpr ter c est remplir des blancs Lorsque la machine ne comprend pas une situation elle nous fait des propositions qui nous obligent r fl chir mais en elle m me elle est incapable d interpr tation elle ne comprend pas son utilisateur si ce dernier commet la moindre faute ne serait ce qu en omettant un blanc ou en mettant deux blancs la place d un seul En ce sens les ordinateurs sont stupides et ressemblent des idiots sociaux Certes on a pu mettre au point des programmes capables d explorer une situation selon des d marches al atoires et des proc dures inf rentielles On a pu inventer une tortue lectronique vitant n importe quel obstacle mis sur sa route Cependant cette exploration respecte toujours les r gles inscrites dans la machine celle ci ne transgresse jamais Il est possible un romancier d imaginer que le constructeur d un robot oublie son mode d emploi et ne sache plus l arr ter Mais il est peu probable que les ordinateurs puissent un jour comme les humains et sans leur secours se tromper se f cher se reproduire et voluer Seul l homme a le pouvoir d interpr ter Ainsi le monde des ordinateurs ne conna t pas ses d viants L homme se trompe mais gr ce son imagination 1l interpr te ou invente Dans une d couverte on distingue la phas
22. ont con us pour simplifier le travail des hommes Les langages syst mes facilitent les op rations sur le disque les utilitaires le mot voque bien ce qu il veut dire et les logiciels sont en d finitive au service des projets personnels des usagers Ainsi l ordinateur augmente la fois nos savoirs et nos savoir faire il permet de faire correspondre des signes aux ph nom nes naturels il tend les possibilit s de repr senter des mondes complexes il augmente la capacit op ratoire de manipulation symbolique Aussi est il au service de l action plus que de la connaissance En quel sens les ordinateurs pensent ils Jouer aux checs traduire un texte dans une langue trang re sont des activit s pensantes minemment complexes Cependant certains ne d ses p rent pas de les formaliser qui peut pr tendre que si on d pensait la somme d argent utilis e pour aller sur la lune on n arriverait pas mettre au point un ordinateur champion d checs ou une machine traduire parfaite N oublions pas cependant que les programmes o sont inscrits les proc dures mettre en uvre sont cr s par l homme C est lui qui informe Quand un Chinois calcule avec dext rit l aide de son boulier c est lui qui pense et non le boulier Inversement peut on dire qu un ordinateur conna t le chinois quand il assemble des symboles selon certaines r gles de telle sorte que le r
23. pports magn tiques optiques ou autres L emploi de supports mat riels pour penser est une premi re tape significative 2 La technologie avec ses m canismes aide le travail intellectuel quand on emploie des machines calculer La pascaline au moyen d engrenages effectuait des additions avec des reports passant des unit s aux dizaines des dizaines aux centaines et ainsi de suite Au XVIII si cle Vaucanson construit un canard qui bat des ailes mange des graines et les dig re Il projette m me de construire un homme artificiel La m canisation du calcul est un second moment marquant 3 Mais le calcul arithm tique a t tendu au calcul logique Le philosophe Hobbes affirme d j Par pens e j entends calcul proph tisant vers 1650 la naissance de l intelligence artificielle Babbage vers 1833 eut l id e d une machine qui devait mettre en uvre des suites d op rations avec des branchements conditionnels de chaque n ud partait un double chemin de la forme si alors si tel attribut est pr sent alors je prends telle voie dans le cas contrai re je prends l autre voie Turing pr senta en 1936 l anc tre imm diat de l ordinateur Il a distingu le programme ou logiciel en anglais software du reste de la machine le mat riel en dur qui constitue le hardware Son mod le se composait l entr e d une bande sans fin sur laquelle taient in
24. re des checs C est parce que l alphabet est fait d unit s discr tes que la copie exacte de s quences de caract res est possible Deux syst mes formels sont quivalents quand sous des apparences diff rentes ils ont la m me structure Si par exemple on r imprime un texte en changeant la police de caract res on a toujours le m me texte pourtant sa mat rialit a chang et il se pr sente diff remment l il Ainsi l ind pendance par rapport au support mat riel est une caract ristique essentielle du syst me 3 La complexit des syst mes formels est elle limit e Un ordinateur ressemble un joueur disposant d un nombre fini d op ra tions permises qu il peut ex cuter n importe quel nombre fini de fois de fa on positive et fiable Il ex cute des op rations machinales qui telles des recettes infaillibles appliqu es pas pas t t ou tard aboutissent un r sultat pr d fini Si je poss de un trousseau de clefs dont l une ouvre une serrure les essayer toutes l une apr s l autre est un algorith me d ouverture de la serrure On finit par ouvrir la porte quel que soit le nombre de clefs Des joueurs peuvent suivre n importe quelle liste d instructions branchements dans la mesure o les questions oui non sont suffisamment simples Dans un jeu formel les proc dures permettant de d terminer si un coup est r gulier doivent n cessaire ment tre born es c est d
25. res Le code complet selon la terminologie de Von Neumann Les codes courts Plus on se rapproche des langages naturels plus les codes sont faciles manipuler Pourtant le nom des pi ces voque les arm es de deux royaumes se disputant la supr matie Simuler une vraie guerre est autrement difficile que de jouer aux checs M me dans les guerres il y a des r gles respecter mais l adversaire respecte t il toujours ces r gles La simulation doit indiquer comment faire pour gagner effectivement Dans notre exemple elle devrait prendre en compte m me le non respect des r gles R John Haugeland L esprit dans la machine Fondements de l intelligence artificielle Editions Odile Jacob 1989 traduit de l am ricain par Jacques Henry Cambridge USA 1985 p 49 L expression Machine Electronique de Traitement des Donn es que l on utilise parfois et qui vient de l anglais electronic data processing machine ne rend pas assez compte de l aspect logique de l ordinateur Les math maticiens parlent d isomorphisme entre les structures constitu es par les diff rents codes La Recherche N 257 Septembre 1993 Hourya Sinaceur et Jean Pierre Bourguignon David Hilbert et les math matiques du XX si cle p 987 et 988 L une des ambitions de Hilbert d crire et manipuler les infinis au moyen d un nombre fini d op rations et d axiomes Au moins pour le moment Le bon sens est c
26. ructures disponibles de l ordinateur un certain niveau Il importe que la formulation reste fid le au syst me formel 7 Il met en uvre une proc dure de recherche Le programmeur con oit une proc dure agissant sur les structures de repr sentation formelles afin de r aliser la t che souhait e Cela peut tre une proc dure de recherche Mais sa propri t essentielle est sa fid lit au syst me formel que ce soit un syst me de logique math matique de raisonnement par proc dures de logique floue ou d autres syst mes L homme et ses choix Ainsi il faut surtout s merveiller de l homme qui construit des machines si performantes C est lui qui am liore sans cesse le travail des usagers Bien que de conceptions diff rentes toutes les automobiles ont aujourd hui la m me apparence pour les conduire il n est plus besoin d tre m canicien il suffit de conna tre le code de la route d appliquer quelques instructions et de savoir o l on veut aller Il en sera bient t de m me pour l utilisation d un ordinateur 214 LES MACHINES PENSENT ELLES Les vrais pouvoirs de l ordinateur Nous pensons avoir d mythifi l ordinateur Les outils prolongent la main de l homme et sa puissance sur l environnement L ordinateur prolonge son cerveau en lui permettant d agir sur les autres outils D j les livres d une biblioth que taient le support de
27. scrits des symboles Un dispositif 204 LES MACHINES PENSENT ELLES les transformait en d autres signes apparaissant la sortie Depuis lors les programmes utilisent l alg bre de Boole Au d but on manipulait des fiches avec des broches Chaque fiche correspondait un individu dans le langage statistique Un trou perc un endroit pr cis signalait chaque attribut que cet individu poss dait La manipulation effectuait toutes les op rations logiques intersection union n gation etc Lors des premi res enqu tes effectu es pour la t l vision les fiches d filaient toute allure avant l annonce des r sultats Les d place ments s effectuaient au moyen de m canismes physiques mais on tait entr dans l re de la logique binaire chaque individu a ou n a pas tel attribut bien d fini C est le troisi me moment important 4 Von Neumann vers 1946 cr a les premi res machines op ra tionnelles Ce dernier a am lior les acc s la m moire l acc s relatif permet de suivre pas pas une liste d instructions en avan ant ou en reculant d un nombre de pas sp cifi l acc s absolu utilise des adresses facilitant les retours un lieu d termin Depuis lors on am liore sans cesse les programmes et le mat riel Mais avec la puce lectronique la perc e technologique est immense car en une seconde on fait ou ne fait pas passer le courant plusieurs millions de fois
28. t tre d finie comme une capacit d adaptation Gr ce elle l homme r sout des probl mes dans des situations concr tes 213 LES MACHINES PENSENT ELLES or des programmes permettent la machine de r soudre des probl mes Pour cela elle applique des algorithmes mais plus fr quemment des proc dures transf r es de domaines particuliers de l exp rience humaine Aussi oublie t on l homme quand on parle de l intelligence des ordina teurs Celui ci intervient quatre moments L homme caract rise l environnement de la t che Celle ci ne peut pas tre d crite par des g n ralit s telles que diagnostiquer des maladies ou comprendre les articles du journal Elle doit tre formul e avec pr cision en fonction de ce qui est jug important et des propri t s prendre en consid ration C est l homme qui choisit ce qui est essen tiel dans un contexte donn Il con oit une repr sentation formelle La description de l environ nement de la t che n cessite une repr sentation symbolique formelle traduisant de mani re explicite tout ce qui est significatif L une des activit s de l intelligence vise concevoir des syst mes formels qui puissent repr senter convenablement des faits 69 Il traduit la repr sentation dans le syst me informatique Une repr sentation formelle est une abstraction Pour l utiliser il faut la mettre en correspondance avec les st
29. t une interpr tation La puissance des codes va de pair avec leur caract re artificiel A l un des bouts de la cha ne les supports mat riels peuvent varier avec le temps sans que la fiabilit des codes soit mise en cause A l autre bout on utilise le langage humain Dans ce dernier on distingue aussi des unit s discr tes et des r gles Mais ces l ments se transforment avec le temps Cela explique la fois le manque de rigueur des langages naturels et leur aspect perp tuellement cr atif Passant 208 LES MACHINES PENSENT ELLES n cessairement par ces derniers on n chappe pas la subjectivit de l interpr tation Cependant les codes informatiques quoique artifi ciels sont efficaces L ordinateur en tant que mat riel peut avoir des pannes Un syst me formel bien con u n en a pas L tat des puces de silicium peut diff rer l g rement mais l aspect r el du code num rique est estomp seul compte l aspect formel le fait de savoir si le courant passe ou ne passe pas Ainsi le support mat riel importe peu Passant de fa on conventionnelle et par codages successifs d un niveau au niveau sup rieur tous les codes sont inscrits dans le code mat riel il y a bien manipulation de marques Si maintenant on compare les niveaux deux deux on peut dire que passer au niveau inf rieur c est crire et passer au niveau sup rieur lire Mais ces vocables diff rent de leur sens courant
30. ytavin 1986 p 150 et suivantes ainsi que 163 et suivantes Terry Winograd op cit p 150 et suivantes Comme le dit Blanch Un moule raisonnement n est pas un raisonnement pas plus qu un moule g teau ne peut tre mang comme dessert Terry Winograd op cit p 150 et suivantes Terry Winograd op cit p 150 et suivantes Terry Winograd op cit p 163 et suivantes Terry Winograd op cit p 163 et suivantes Terry Winograd op cit p 163 et suivantes On voit le caract re pratique des logiciels Terry Winograd op cit p 163 et suivantes Au moment o l on ach te un ordinateur des ing nieurs mettent au point un mod le plus performant qui sera vendu dans quelques mois un prix peut tre moindre cela s explique par la concurrence entre fabricants l apparition de logiciels toujours plus gourmands en m moire et l engouement d un certain public pour les nouveaut s vant es par la publicit Un ordinateur avec un disque dur de 20 Mega octets de m moire morte valait en 1991 15 000 francs Le m me avec 120 Mo c est dire 6 fois plus de m moire valait en 1993 10 000 francs soit les deux tiers seulement La capacit de la m moire passe dans notre exemple de 14 000 pages 84 000 pages soit de 20 120 romans de 700 pages Le besoin en m moire des nouveaux logiciels s explique par l emploi des interfaces graphiques le travail multit ches et la co
Download Pdf Manuals
Related Search