Download LES MACHINES PENSENT
Transcript
LES MACHINES PENSENT-ELLES ? par M. Roland G R O S S M A N N , membre correspondant Affirmer q u ' u n e machine pense paraît i n c o n g r u O r des o u v r a g e s s é r i e u x c o n s a c r é s aux o r d i n a t e u r s p r é s e n t e n t des titres du genre "Les machines à penser" , "L'intelligence artificielle" , " L ' e s p r i t d a n s la m a c h i n e " , " M a t i è r e à p e n s e r " , ... E x i s t e - t - i l u n e i n t e l l i g e n c e artificielle, et si o u i , en q u o i diffère-t-elle d e la p e n s é e humaine ? (2) (3) (4) (5) Observons un ordinateur : - le c l a v i e r r e s s e m b l e à u n e m a c h i n e à é c r i r e et sert à e n t r e r des instructions ; - l ' u n i t é c e n t r a l e d i s p o s e d ' u n m o t e u r a c t i o n n a n t un l e c t e u r de d i s q u e s et des p r o c e s s u s d ' é c h a n g e ; - le m o n i t e u r r e s s e m b l e à un t é l é v i s e u r où s ' i n s c r i r a i e n t t o u t e s s o r t e s de r é s u l t a t s ; - des c i r c u i t s r e l i e n t e n t r e e u x ces é l é m e n t s . Or on n ' a j a m a i s d é c l a r é q u ' u n e m a c h i n e à é c r i r e , u n l e c t e u r de d i s q u e s , un p o s t e de t é l é v i s i o n ou un fil é l e c t r i q u e é t a i e n t c a p a b l e s de p e n s e r . M e t t o n s n o t r e o r d i n a t e u r en m a r c h e . L a n ç o n s u n t a b l e u r et i n s c r i v o n s d a n s 2 0 0 c a s e s divers g r a n d s n o m b r e s . S é l e c t i o n n o n s les et i n s c r i v o n s d a n s u n e a u t r e c a s e u n e f o r m u l e : en m o i n s d ' u n e s e c o n d e n o u s o b t e n o n s le r é s u l t a t d ' u n c a l c u l c o m p l e x e . L a n ç o n s m a i n t e n a n t un t r a i t e m e n t de t e x t e . C o p i o n s un texte et i n s é r o n s un m o t à u n e p l a c e q u e l c o n q u e : tous les signes en aval se d é c a l e n t i n s t a n t a n é m e n t vers la d r o i t e . S u p p r i m o n s u n e p h r a s e : tous les signes en aval se d é c a l e n t vers la g a u c h e . O n i m a g i n e la j o i e d ' u n r é d a c t e u r qui efface, d é p l a c e et insère des passages à volonté ! (6) (7) P o u r q u o i d a n s ces c o n d i t i o n s les a u t e u r s de r o m a n s de s c i e n c e fiction d é c r i v e n t - i l s des c a t a s t r o p h e s où des r o b o t s é c h a p p e n t au 203 LES MACHINES PENSENT-ELLES ? (8) c o n t r ô l e des h u m a i n s ? Le m o t " o r d i n a t e u r " vient du v e r b e " o r d o n n e r " qui signifie d ' a b o r d " c o m m a n d e r " . P r e s s e n t e n t - i l s un p o u v o i r qui c o n t e s t e r a i t aux h o m m e s leur d o m i n a t i o n sur la n a t u r e ? C e l a j u s t i f i e u n e d é m y t h i f i c a t i o n v i s a n t à e x p l i q u e r ce que les o r d i n a t e u r s font et ce q u ' i l s ne feront sans d o u t e j a m a i s . A p r è s un h i s t o r i q u e , n o u s m o n t r e r o n s c o m m e n t les o r d i n a t e u r s f o n c t i o n n e n t , q u e l l e l i m i t e on p e u t a s s i g n e r à leurs p r o g r è s et quel l a n g a g e ils u t i l i s e n t . N o u s r é p o n d r o n s e n s u i t e à la q u e s t i o n de savoir s ' i l s p e n s e n t ou sont i n t e l l i g e n t s . Quatre nouveautés parmi plus de cent inventions ont contribué à la naissance de l'ordinateur. 1. " O r d o n n e r " signifie aussi " r a n g e r " : o r d o n n e r des c a i l l o u x sur le sol, des s i g n e s sur un r o u l e a u , m a n i p u l e r des objets c u l t u r e l s , c ' e s t utiliser un s u p p o r t e x t é r i e u r à l ' h o m m e , p o u r aider sa m é m o i r e , faciliter sa p e n s é e et la c o m m u n i c a t i o n de c e l l e - c i aux a u t r e s . Toutes ces " t r a c e s " sont les a n c ê t r e s du d i s q u e ou du m o n i t e u r , p i è c e s i n d i s p e n s a b l e s de l ' o r d i n a t e u r . Car a u j o u r d ' h u i on s t o c k e des i m p u l s i o n s é l e c t r i q u e s sur des s u p p o r t s m a g n é t i q u e s , o p t i q u e s ou a u t r e s . L'emploi de s u p p o r t s m a t é r i e l s pour p e n s e r est u n e p r e m i è r e é t a p e significative. ( 9 ) (10) 2. La t e c h n o l o g i e avec ses m é c a n i s m e s aide le travail i n t e l l e c t u e l q u a n d on e m p l o i e des m a c h i n e s à calculer. La p a s c a l i n e a u m o y e n d ' e n g r e n a g e s , effectuait des a d d i t i o n s avec des r e p o r t s , p a s s a n t des u n i t é s aux d i z a i n e s , des d i z a i n e s aux c e n t a i n e s et ainsi de suite. Au XVIII siècle V a u c a n s o n c o n s t r u i t un c a n a r d qui b a t des a i l e s , m a n g e des g r a i n e s et les d i g è r e ! Il p r o j e t t e m ê m e de c o n s t r u i r e un " h o m m e a r t i f i c i e l " . La m é c a n i s a t i o n du c a l c u l est u n s e c o n d moment marquant. e (12) 3. M a i s le c a l c u l a r i t h m é t i q u e a été é t e n d u a u c a l c u l l o g i q u e . Le p h i l o s o p h e H o b b e s affirme déjà : "Par pensée, j'entends calcul", p r o p h é t i s a n t vers 1650 la n a i s s a n c e de l ' i n t e l l i g e n c e a r t i f i c i e l l e . B a b b a g e v e r s 1833 eut l ' i d é e d ' u n e m a c h i n e qui d e v a i t m e t t r e en œ u v r e des suites d ' o p é r a t i o n s avec des b r a n c h e m e n t s c o n d i t i o n n e l s : de c h a q u e n œ u d p a r t a i t un d o u b l e c h e m i n de la f o r m e " s i . . . , a l o r s " : si tel attribut est p r é s e n t , alors j e p r e n d s telle voie ; d a n s le cas c o n t r a i re, j e p r e n d s l ' a u t r e v o i e . T u r i n g p r é s e n t a en 1936 l ' a n c ê t r e i m m é d i a t de l ' o r d i n a t e u r . Il a d i s t i n g u é le p r o g r a m m e ou l o g i c i e l (en a n g l a i s " s o f t w a r e " ) du r e s t e de la m a c h i n e , le m a t é r i e l , en dur, qui c o n s t i t u e le " h a r d w a r e " . Son m o d è l e se c o m p o s a i t à l ' e n t r é e d ' u n e b a n d e sans fin sur l a q u e l l e é t a i e n t i n s c r i t s des s y m b o l e s . U n d i s p o s i t i f (13) (14) 204 LES MACHINES PENSENT-ELLES ? les t r a n s f o r m a i t en d ' a u t r e s s i g n e s a p p a r a i s s a n t à la sortie. D e p u i s lors les p r o g r a m m e s utilisent l ' a l g è b r e de B o o l e . Au début on m a n i p u l a i t des fiches avec des b r o c h e s . C h a q u e fiche c o r r e s p o n d a i t à un i n d i v i d u dans le l a n g a g e s t a t i s t i q u e . Un trou p e r c é à un e n d r o i t p r é c i s s i g n a l a i t c h a q u e a t t r i b u t q u e cet i n d i v i d u p o s s é d a i t . La m a n i p u l a t i o n effectuait t o u t e s les o p é r a t i o n s l o g i q u e s : i n t e r s e c t i o n , u n i o n , n é g a t i o n , e t c . . L o r s des p r e m i è r e s e n q u ê t e s effectuées p o u r la t é l é v i s i o n , les fiches défilaient à t o u t e allure avant l ' a n n o n c e des r é s u l t a t s . L e s d é p l a c e m e n t s s ' e f f e c t u a i e n t au m o y e n de m é c a n i s m e s p h y s i q u e s , m a i s on était entré d a n s l'ère de la l o g i q u e binaire : c h a q u e i n d i v i d u a ou n'a p a s tel attribut bien défini. C ' e s t le t r o i s i è m e m o m e n t i m p o r t a n t . (15) 4. Von N e u m a n n , vers 1946, c r é a les p r e m i è r e s m a c h i n e s o p é r a t i o n n e l l e s . C e d e r n i e r a a m é l i o r é les a c c è s à la m é m o i r e : l ' a c c è s relatif p e r m e t de suivre pas à pas u n e liste d ' i n s t r u c t i o n s en a v a n ç a n t , ou en r e c u l a n t d ' u n n o m b r e de p a s spécifié ; l ' a c c è s a b s o l u u t i l i s e des a d r e s s e s f a c i l i t a n t les r e t o u r s à un lieu d é t e r m i n é . D e p u i s lors on a m é l i o r e sans c e s s e les p r o g r a m m e s et le m a t é r i e l . M a i s avec la p u c e é l e c t r o n i q u e , la p e r c é e t e c h n o l o g i q u e est i m m e n s e , c a r en u n e s e c o n d e on fait ou ne fait pas p a s s e r le c o u r a n t p l u s i e u r s m i l l i o n s de f o i s . P o u r r e n d r e c o m p t e des c a l c u l s a r i t h m é t i q u e s ou l o g i q u e s , v o i r e du l a n g a g e écrit, il suffit d ' u n c o d a g e c o r r e c t . Le s u p p o r t se r é d u i t à des a s s e m b l a g e s de b o î t e s c o m p r e n a n t les m i c r o p r o c e s s e u r s r e l i é s par des c i r c u i t s . P o u r le p r o f a n e , l ' a p p a r e n c e des c h o s e s n ' e s t plus q u ' u n j e u de " m é c a n o " . A i n s i l ' i n v e n t i o n du m i c r o p r o c e s s e u r est le q u a t r i è m e m o m e n t décisif. (16) (17) C o m m e n t fonctionne un ordinateur ? Il n ' y a pas de différence de p r i n c i p e e n t r e la m a c h i n e à c a l c u l e r de Pascal et les gros c a l c u l a t e u r s m o d e r n e s . D e s circuits r e m p l a c e n t les e n g r e n a g e s et la m a c h i n e effectue des c a l c u l s c o m p l i q u é s au lieu de c a l c u l s s i m p l e s . M a i s , vers 1 9 4 5 , c h a q u e fois que la n a t u r e d e s c a l c u l s c h a n g e a i t , il f a l l a i t c h a n g e r les c i r c u i t s . Le p a s s a g e d u c a l c u l a n a l o g i q u e au c a l c u l n u m é r i q u e a v e c des u n i t é s d i s c r è t e s a p e r m i s d'utiliser la m ê m e m a c h i n e p o u r des o p é r a t i o n s d i v e r s e s . Von N e u m a n n o p è r e u n e r é v o l u t i o n en d i s t i n g u a n t des u n i t é s f o n c t i o n n e l l e s : la m é m o i r e , l ' u n i t é de c a l c u l l o g i q u e , l ' u n i t é de c a l c u l a r i t h m é t i q u e , et, c h o s e e s s e n t i e l l e , l ' u n i t é de c o m m a n d e m e n t . C o m p a r o n s l ' o r d i n a t e u r à un j e u d ' é c h e c s . N o u s avons : - un e n s e m b l e de d o n n é e s : les p i è c e s d a n s leur c o n f i g u r a t i o n initiale ; 205 LES MACHINES PENSENT-ELLES ? - un e n s e m b l e de règles : les d é p l a c e m e n t s a u t o r i s é s p o u r c h a q u e c a t é g o r i e de p i è c e s ; - un m o t e u r p e r m e t t a n t d ' a p p l i q u e r les r è g l e s aux d o n n é e s : c ' e s t la m a i n du j o u e u r ou le m o t e u r de l ' o r d i n a t e u r qui effectue chaque coup. M a i s d a n s le j e u d ' é c h e c s les r è g l e s de d é p l a c e m e n t d ' u n e p i è c e s ' a p p l i q u e n t au r é s u l t a t d ' u n p r e m i e r d é p l a c e m e n t . A u s s i é n o n ç o n s nous deux autres principes : - on p e u t t o u j o u r s ajouter des d o n n é e s (18) , - on p e u t t o u j o u r s ajouter des r è g l e s . A i n s i , c o m m e d a n s un j e u d ' é c h e c s , l ' é t a t du s y s t è m e p a s s e p a r u n e suite de c o n f i g u r a t i o n s d é t e r m i n é e s . N o u s s o m m e s en p r é s e n c e d ' u n f o r m a l i s m e . E x a m i n o n s ses r a p p o r t s avec la r é a l i t é . Il se c a r a c t é r i s e par trois p r o p r i é t é s : son c a r a c t è r e n u m é r i q u e , son i n d é p e n d a n ce p a r r a p p o r t au s u p p o r t m a t é r i e l et ses p r o c e s s u s r é c u r s i f s . (19) 1) U n s y s t è m e f o r m e l m a n i p u l e d e s " m a r q u e s " . Le m o t " m a n i p u l a t i o n " é v o q u e u n e p r o c é d u r e p h y s i q u e qui p e u t se répéter. U n e " m a r q u e " s u p p o s e un c o n s t a t de p r é s e n c e ou d ' a b s e n c e ne l a i s s a n t p l a c e à a u c u n e l i b e r t é d ' i n t e r p r é t a t i o n : elle s ' i m p o s e à t o u s . Au j e u d ' é c h e c s les p i o n s ne sont pas t o u j o u r s p l a c é s e x a c t e m e n t aux m ê m e s p l a c e s sur les c a s e s . C e p e n d a n t ils c o n s t i t u e n t des " m a r q u e s " q u e l ' o n m a n i p u l e "en les r e p o s i t i o n n a n t , en les m o d i f i a n t , en ajoutant de n o u v e l l e s m a r q u e s et en é l i m i n a n t c e r t a i n e s m a r q u e s " . D a n s le m o n d e réel il y a t o u j o u r s des v a r i a t i o n s : un b a l l o n ne p a s s e pas d e u x fois de la m ê m e façon dans le panier. P o u r t a n t au b a s k e t - b a l l un p a n i e r est un panier. On écrit de d i v e r s e s façons la lettre A, m a i s un A est un A, du m o m e n t q u ' i l est c l a i r e m e n t i d e n t i f i a b l e . (20) L e s s y s t è m e s f o r m e l s ont la p a r t i c u l a r i t é d ' ê t r e n u m é r i q u e s . Le m o t " d i g i t a l " u t i l i s é par les i n f o r m a t i c i e n s r a p p e l l e les d o i g t s , s u p p o r t p r i v i l é g i é des n o m b r e s : un s y s t è m e " d i g i t a l " s ' e x p r i m e au m o y e n d ' u n i t é s d i s c r è t e s ; c'est u n e n s e m b l e de t e c h n i q u e s p o s i t i v e s et fiables p e r m e t t a n t de p r o d u i r e et de r e c o n n a î t r e des m a r q u e s . U n e t e c h n i q u e p o s i t i v e r é u s s i t de façon a b s o l u e : ainsi le tir au p a n i e r au b a s k e t - b a l l est u n e m é t h o d e p o s i t i v e p o u r faire p a s s e r la b a l l e à travers le panier, p u i s q u ' i l p e u t être r é u s s i sans r e s t r i c t i o n . L ' a p p r o c h e du but d a n s un j e u de b o u l e n ' e s t pas u n e m é t h o d e fiable si l ' o n en j u g e p a r c e r t a i n e s p a l a b r e s p o u r savoir qui a m a r q u é le p o i n t . L ' a l p h a b e t est d i s c r e t , t a n d i s q u e les c o u l e u r s ne le sont p a s , car on p a s s e i n s e n s i b l e m e n t d ' u n e c o u l e u r à u n e a u t r e . A i n s i le s y s t è m e est c o m p o s é de m a r q u e s qui s o n t d e s n o m b r e s . 206 LES MACHINES PENSENT-ELLES ? 2) L e s s y s t è m e s n u m é r i q u e s , p a r c e q u e de n a t u r e d i s c r è t e , r e n d e n t la c o m p l e x i t é p r a t i q u e et fiable. En effet ils ont la p r o p r i é t é d ' ê t r e i n d é p e n d a n t s du s u p p o r t m a t é r i e l . Si l ' o n triple la taille d ' u n b a l l o n de f o o t b a l l , le j e u c h a n g e de n a t u r e . A u x j e u x d ' é c h e c s les p i è c e s p e u v e n t être en b o i s , en i v o i r e , en m é t a l , p e t i t e s ou g r a n d e s , elles p e u v e n t être r e p r é s e n t é e s p a r des s i g n e s c o n v e n t i o n n e l s sur du p a p i e r ou sur un é c r a n . L e s é c h e c s é l e c t r o n i q u e s sont e n c o r e d e s é c h e c s ! C ' e s t p a r c e q u e l ' a l p h a b e t est fait d ' u n i t é s d i s c r è t e s q u e la c o p i e e x a c t e de s é q u e n c e s de c a r a c t è r e s est p o s s i b l e . D e u x s y s t è m e s f o r m e l s s o n t é q u i v a l e n t s q u a n d , s o u s d e s a p p a r e n c e s d i f f é r e n t e s , ils ont la m ê m e s t r u c t u r e . Si p a r e x e m p l e on r é i m p r i m e un t e x t e en c h a n g e a n t la p o l i c e de c a r a c t è r e s , on a t o u j o u r s le m ê m e t e x t e : p o u r t a n t sa m a t é r i a l i t é a c h a n g é et il se p r é s e n t e d i f f é r e m m e n t à l ' œ i l ! A i n s i l ' i n d é p e n d a n c e par r a p p o r t a u s u p p o r t m a t é r i e l est u n e c a r a c t é r i s t i q u e e s s e n t i e l l e du s y s t è m e . 3) L a c o m p l e x i t é des s y s t è m e s f o r m e l s est-elle l i m i t é e ? Un o r d i n a t e u r r e s s e m b l e à un j o u e u r d i s p o s a n t d ' u n n o m b r e fini d ' o p é r a tions p e r m i s e s , q u ' i l peut exécuter n ' i m p o r t e quel n o m b r e fini de fois de façon p o s i t i v e et fiable. Il e x é c u t e des o p é r a t i o n s m a c h i n a l e s qui, telles des recettes infaillibles a p p l i q u é e s pas à p a s , tôt ou tard, a b o u t i s s e n t à un résultat p r é d é f i n i . Si j e p o s s è d e un t r o u s s e a u de clefs d o n t l ' u n e ouvre u n e serrure, les essayer toutes l ' u n e après l ' a u t r e est un algorithm e d ' o u v e r t u r e de la serrure. On finit par ouvrir la p o r t e (quel q u e soit le n o m b r e de clefs) ! Des j o u e u r s p e u v e n t suivre n ' i m p o r t e quelle liste d ' i n s t r u c t i o n s à b r a n c h e m e n t s , dans la m e s u r e où les q u e s t i o n s o u i / n o n sont suffisamment s i m p l e s . D a n s u n j e u formel, les p r o c é d u r e s p e r m e t t a n t de déterminer si u n c o u p est régulier d o i v e n t n é c e s s a i r e m e n t être b o r n é e s , c ' e s t - à - d i r e a b o u t i r à un r é s u l t a t positif ou négatif . On est en p r é s e n c e de p r o c e s s u s c y c l i q u e s dits récursifs : ceux-ci se r é p è t e n t , m a i s ne sauraient se prolonger i n d é f i n i m e n t . (21) (22) L'ordinateur est-il un m o y e n de connaître le m o n d e ou d'agir sur lui ? La p e n s é e est i n s é p a r a b l e du l a n g a g e . Or les c o d e s , c o m m e les l a n g a g e s n a t u r e l s , sont des m o y e n s de c o n n a î t r e le m o n d e et d ' a g i r sur les h o m m e s . Les p r o g r a m m e s sont en q u e l q u e sorte du p r ê t - à - p e n s e r ou à e x é c u t e r . E x a m i n o n s s u c c e s s i v e m e n t ces d e u x p o i n t s . . On p a r l e a b u s i v e m e n t de l a n g a g e s i n f o r m a t i q u e s . Il s ' a g i t p l u t ô t de c o d e s . C e u x - c i sont c o n s t i t u é s de s y s t è m e s f o r m e l s de p l u s en p l u s r a m a s s é s , i n v e n t é s p r o g r e s s i v e m e n t , m a i s liés e n t r e e u x de façon u n i v o q u e . N o u s en d i s t i n g u o n s cinq : 207 LES MACHINES PENSENT-ELLES ? 1) Au p r e m i e r niveau on d é c r i t ce q u i se p a s s e d a n s un o r d i n a t e u r en t e r m e s d ' i m p u l s i o n s é l e c t r i q u e s t r a v e r s a n t un r é s e a u c o m p l e x e de c o m p o s a n t s é l e c t r i q u e s : le c o u r a n t p a s s e ou ne p a s s e p a s ! C'est la machine physique. 2) M a i s c e s i m p u l s i o n s sont d e s s y m b o l e s ! L e c o d e b i n a i r e est le l a n g a g e f o n d a m e n t a l de l ' o r d i n a t e u r . S o n s u p p o r t m a t é r i e l p e r m e t une t r a n s m i s s i o n u l t r a - r a p i d e d e s i n f o r m a t i o n s . C e p e n d a n t ce c o d e a l ' i n c o n v é n i e n t d ' ê t r e long à e m p l o y e r : en effet les signes utilisés dans les l a n g u e s é c r i t e s , sont c o d é s en suites de signes b i n a i r e s . C'est la m a c h i n e l o g i q u e , ce q u e Von N e u m a n n a p p e l a i t le c o d e c o m p l e t . Toute l ' a s t u c e d e s i n f o r m a t i c i e n s sera d e c o n c e v o i r d e s r a c c o u r c i s . (23) 3) L ' é c r i t u r e avec ces s i g n e s étant f a s t i d i e u s e , on a inventé un langage alphanumérique appelé assembleur : à chaque bit - rappelons q u ' i l y a 8 bits d a n s un o c t e t - c o r r e s p o n d un a s s e m b l a g e de d e u x s i g n e s , c h a c u n c o m p o s é d ' u n e lettre ou d ' u n chiffre. C'est ce que l'on pourrait a p p e l e r la m a c h i n e abstraite. 4) C e l a n g a g e étant l u i - m ê m e f a s t i d i e u x à utiliser, on a créé à partir de lui toutes sortes de codes p e r m e t t a n t de d o n n e r des ordres à la m a c h i n e à c o n d i t i o n de r e s p e c t e r c e r t a i n e s r è g l e s de s y n t a x e : on c o n n a î t le b a s i c , le p l u s c o n n u d e s d é b u t a n t s , le p a s c a l , u t i l i s é p a r les s c i e n t i f i q u e s , le f o r t r a n , r é s e r v é a u x c o m p t a b l e s , e t c . . C e sont les langages évolués ou compilateurs. 5) A i n s i on p a s s e i n s e n s i b l e m e n t du c o d e le p l u s p r o c h e du s u p p o r t m a t é r i e l , a u x c o d e s les p l u s p r o c h e s d e s l a n g a g e s n a t u r e l s . O n m e t au p o i n t d e s c o d e s t o u j o u r s p l u s faciles à utiliser, p l u s c o n v i v i a u x . M a i s l ' u t i l i s a t e u r doit d a n s tous les c a s d o n n e r un s e n s aux s y m b o l e s q u ' i l c o d e ou d é c o d e dans tel ou tel l a n g a g e de la m a c h i n e : c'est lui le véritable interpréteur de ce q u ' i l écrit ou lit. Pour cela il doit r e p r é s e n t e r s c h é m a t i q u e m e n t les faits qu'il v e u t décrire et e n faire u n e " p a r a p h r a s e réglée". (24) (25) Ces c o d e s p r é s e n t e n t trois c a r a c t é r i s t i q u e s : ce sont des l a n g a g e s artificiels dont le support m a t é r i e l ne c o m p t e p a s et qui n é c e s s i t e n t u n e interprétation. La p u i s s a n c e d e s c o d e s va de pair avec leur c a r a c t è r e artificiel. A l ' u n d e s b o u t s d e la c h a î n e , les s u p p o r t s m a t é r i e l s p e u v e n t varier avec le t e m p s sans q u e la fiabilité d e s c o d e s soit m i s e en c a u s e . A l ' a u t r e b o u t on u t i l i s e le l a n g a g e h u m a i n . D a n s ce dernier, on d i s t i n g u e aussi des u n i t é s d i s c r è t e s et d e s r è g l e s . M a i s c e s é l é m e n t s se t r a n s f o r m e n t avec le t e m p s . C e l a e x p l i q u e à la fois le m a n q u e de r i g u e u r d e s l a n g a g e s n a t u r e l s et leur a s p e c t p e r p é t u e l l e m e n t créatif. P a s s a n t 208 LES MACHINES PENSENT-ELLES ? n é c e s s a i r e m e n t p a r c e s d e r n i e r s on n ' é c h a p p e p a s à la s u b j e c t i v i t é de l ' i n t e r p r é t a t i o n . C e p e n d a n t l e s c o d e s i n f o r m a t i q u e s , q u o i q u e artificiels, sont efficaces. L ' o r d i n a t e u r en tant q u e m a t é r i e l p e u t avoir d e s p a n n e s , U n s y s t è m e f o r m e l bien c o n ç u n ' e n a p a s . L ' é t a t d e s p u c e s de s i l i c i u m p e u t différer l é g è r e m e n t , mais l ' a s p e c t réel du c o d e n u m é r i q u e est e s t o m p é ; seul c o m p t e l ' a s p e c t formel, le fait de savoir si le c o u r a n t p a s s e ou ne p a s s e p a s . A i n s i le s u p p o r t m a t é r i e l i m p o r t e p e u . P a s s a n t de façon c o n v e n t i o n n e l l e et p a r c o d a g e s s u c c e s s i f s d ' u n niveau au n i v e a u s u p é r i e u r , tous les c o d e s sont i n s c r i t s d a n s le c o d e m a t é r i e l : il y a b i e n m a n i p u l a t i o n d e " m a r q u e s " . Si m a i n t e n a n t on c o m p a r e les n i v e a u x d e u x à d e u x , on p e u t dire q u e p a s s e r au niveau inférieur, c ' e s t é c r i r e , et p a s s e r au n i v e a u s u p é r i e u r , l i r e . M a i s c e s v o c a b l e s diffèrent de leur sens c o u r a n t : * écrire, ce n'est p a s tracer d e s lettres au s t y l o , m a i s effectuer u n e m a n i p u l a t i o n de m a r q u e s q u i c h a n g e u n e c o n f i g u r a t i o n formelle. * lire n e n é c e s s i t e a u c u n e c o m p r é h e n s i o n , m a i s s e u l e m e n t u n e c a p a c i t é à d i s t i n g u e r d e s m a r q u e s et leur c o n f i g u r a t i o n . A i n s i l ' a c t i v i t é de l e c t u r e ou d ' é c r i t u r e est spécifique : q u e r e p r é s e n t e n t les r é s u l t a t s d ' u n e m a n i p u l a t i o n f o r m e l l e ? P o u r un j o u e u r , le but de la p a r t i e est d e gagner. A u x é c h e c s la fin de la p a r t i e est a t t e i n te q u a n d un d e s j o u e u r s a g a g n é ou q u a n d on ne p e u t d é p a r t a g e r les j o u e u r s . Or c e t t e e x p r e s s i o n se t r a d u i t d a n s le l a n g a g e f o r m e l p a r un e n s e m b l e de c o n f i g u r a t i o n s où un r o i , en é c h e c , est d a n s l ' i n c a p a c i t é de s u p p r i m e r , au c o u p suivant, la c a u s e de cet é c h e c , soit p a r u n e p r i s e de p i è c e , soit p a r un d é p l a c e m e n t . A i n s i finir u n e p a r t i e s ' i n t e r p r è t e de d e u x f a ç o n s , l'une par r a p p o r t a u x c o n f i g u r a t i o n s d e s p i è c e s , l'autre par r a p p o r t a u j o u e u r qui gagne. D e m ê m e les systèmes informatiques 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 c o m m e un "système formel interprété" : le j e u d ' é c h e c s n ' e s t q u ' u n j e u . En respectant les règles, nous raisonnons parfaitement, mais les transformations effectuées sur les données sont-elles conformes a u x c h a n g e m e n t s dans la réalité ? L'activité informatique n ' e s t pas un j e u gratuit, mais elle a un rapport avec le réel. Elle constitue une simulation que l ' o n confronte aux faits par des représentations conventionnelles et des interprétations correctes. Mais le (26) 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 m a c h i n e ? 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 q u ' u n modèle est du domaine de la théorie et que seules les vérifications peuvent laisser la théorie indemne. (27) On c o m p r e n d pourquoi on a donné la définition suivante de l'ordinateur : "Un ordinateur est un système formel automatique interprété" . Le fait que les suites de 0 et de 1 j o u e n t des rôles différents pose déjà des p r o b l è m e s d'interprétation : certaines suites représentent des n o m b r e s , d ' a u t r e s des opérations sur les n o m b r e s , d ' a u t r e s des assemblages de lettres, d'autres des règles d'assemblages, e t c . . Si j ' o p è r e sur des nombres et si j ' a j o u t e des 0 ou des 1 à un nombre, j ' o b t i e n s un autre nombre. Mais q u ' e n est-il si j ' o p è r e sur des textes ? En ajoutant des 0 ou des 1, j e n ' o b t i e n s v r a i s e m b l a b l e m e n t pas un autre texte. Dans le passage d ' u n niveau à un autre, j e 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 ? N e tient-il pas plutôt aux conventions appliquées lors des codages ? (28) (29) Si l ' o n c o m p a r e 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 e n j e u dans un o r d i n a t e u r " . Avec l'ordinateur on ne sort pas des mathématiques ou de la l o g i q u e , ni du monde fini des contraintes matérielles et technologiques ; mais on peut grâce à lui, accomplir une infinité de tâches : l ' h o m m e , s'il respecte les règles des p r o g r a m m e s et connaît les limites de la m a c h i n e , peut augmenter son intelligence du m o n d e 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 j e d e m a n d e un billet pour Paris, mon interlocuteur suppose que j e prends le train, que j e désire un billet simple, un billet de seconde classe, un billet Metz-Paris, e t c . . Une phrase prononcée dans la vie courante n ' e s t comprise que si on la réfère à son contexte. Où se trouve-t-on ? Q u ' a - t - o n dit p r é c é d e m m e n t ? De quoi parle-t-on ? Sans oublier nos habitudes de pensée, la situation de c o m m u n i c a t i o n , e t c . . Traduire une phrase dans un code informatique d e m a n d e l'élucidation de ce q u ' e l l e contient d'implicite. Il y a perte d'information quand on passe d ' u n e phrase du langage courant à un langage formel. Aussi la rigueur n ' e s t obtenue q u ' a u prix d ' u n e limitation de l ' e n s e m b l e de référence. L'informatique renvoie aux mathématiques plus q u ' à la réalité comprise par le sens c o m m u n . Saussure nous a rendus attentifs au caractère (30) 0 0 (32) 210 LES MACHINES PENSENT-ELLES ? arbitraire des signes qui comportent un signifiant et un signifié. Lorsque, dans l ' a p o c a l y p s e de Jean, il est question des 144 000 marqués du sceau, l'expression ne signifie pas un nombre exact d ' é l u s , mais une totalité, un très grand n o m b r e d ' é l u s . Si le signifiant en tant que forme peut être m a n i p u l é , son signifié varie avec les cultures d'une façon plus ou m o i n s arbitraire. Enfin n ' o u b l i o n s pas que les codes sont surtout au service de l'action. Les langages ont d ' a b o r d un aspect pratique. Ils sont un moyen d'agir sur les choses ou de communiquer ; ils permettent accessoirement de comprendre le m o n d e . Cela est aussi vrai des codes informatiques. Ceuxci sont c o n ç u s pour simplifier le travail des h o m m e s . Les langages s y s t è m e s facilitent les opérations sur le disque, les u t i l i t a i r e s - le mot évoque bien ce q u ' i l veut dire - et les l o g i c i e l s sont en définitive au service des projets personnels des usagers. Ainsi l'ordinateur augmente à la fois nos savoirs et nos savoir-faire : (33) (34) (35) - il p e r m e t de faire correspondre des signes aux naturels, phénomènes - il étend les possibilités de représenter des mondes complexes, - il augmente la capacité opératoire de manipulation s y m b o l i q u e (36) . Aussi est-il au service de l'action plus que de la connaissance. E n quel sens les ordinateurs pensent-ils ? Jouer aux échecs, traduire un texte dans une langue étrangère sont des activités pensantes é m i n e m m e n t complexes. Cependant certains ne désespèrent pas de les formaliser : qui peut prétendre que si on dépensait la somme d ' a r g e n t utilisée pour aller sur la lune, on n'arriverait pas à mettre au point un ordinateur c h a m p i o n d ' é c h e c s ou une m a c h i n e à traduire parfaite ? N ' o u b l i o n s pas cependant que les p r o g r a m m e s où sont inscrits les procédures à mettre en œuvre, sont créés par l ' h o m m e . C ' e s t lui qui " i n f o r m e " ! Quand un Chinois calcule avec dextérité à l ' a i d e de son boulier, c'est lui qui pense et non le boulier. Inversement peut-on dire q u ' u n ordinateur connaît le chinois, quand il assemble des symboles selon certaines règles de telle sorte que le ré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 c o m b i n a t o i r e . (37) 211 LES MACHINES PENSENT-ELLES ? Mais l'application des règles suffit-elle pour c o m p r e n d r e ? Des règles correctement appliquées peuvent-elles engendrer du sens ? Malgré la mise au point d'assistants, il est plus facile d ' a d a p t e r un h o m m e à une machine q u ' u n e machine à l ' h o m m e : l'utilisateur doit, pour communiquer avec elle, appliquer rigoureusement les règles de syntaxe inscrites en elle. Sur ce point les ordinateurs n ' o n t pas les capacités des h u m a i n s . En présence d ' u n texte mal écrit, avec de n o m b r e u s e s fautes, l ' h o m m e c o m p r e n d malgré tout le m e s s a g e qui lui a été adressé. La machine, j u s q u ' à ce jour, en est peu capable : elle nous envoie u n 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, c o m m e " c o u r s " avec un " s " et " c o u r t " avec un "t". L'expression "chêne de télévision" avec " ê " dans " c h a î n e " ne sera pas corrigée ! L e vérificateur grammatical peut de m ê m e relever des erreurs qui n ' e n sont p a s . Il appartient à l'usager, c o m m e au citoyen, de faire le bon 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 " c o m p r e n d " 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 c o m m e t la moindre faute, ne serait-ce q u ' e n omettant un blanc ou en mettant deux blancs à la place d ' u n seul ! En ce sens les ordinateurs sont stupides et ressemblent à des "idiots sociaux". Certes on a pu mettre au point des p r o g r a m m e s 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 ' i m p o r t e quel obstacle mis sur sa route. Cependant cette exploration respecte toujours les règles inscrites dans la m a c h i n e : celle-ci ne transgresse j a m a i s ! Il est possible à un romancier d ' i m a g i n e r que le constructeur d ' u n robot oublie son mode d ' e m p l o i et ne sache plus l'arrêter. Mais il est peu probable que les ordinateurs puissent un jour, c o m m e les humains et sans leur secours, se tromper, se fâcher, se reproduire, et é v o l u e r . Seul l'homme a le pouvoir d'interpréter. (38) Ainsi le monde des ordinateurs ne connaît pas ses déviants. L ' h o m m e se trompe, mais grâce à son imagination, il interprète ou invente. Dans une découverte on distingue la phase d'incubation, l'illumination, et la mise en forme. En m a t h é m a t i q u e s cette dernière phase s'appelle vérification : c'est d ' a p r è s Alain Connes la seule "tâche qui pourrait être confiée à un calculateur électronique qui vérifierait la logique du r a i s o n n e m e n t " . Encore faudrait-il que l'ordinateur soit programmé pour... Aussi ne sait-on de quoi il faut s'étonner le plus : que l ' o n ait pu attribuer de l'intelligence aux ordinateurs, ou que les h o m m e s aient pu créer des machines si prodigieuses. (39) 212 LES MACHINES PENSENT-ELLES ? Pourquoi les ordinateurs paraissent-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 intelligente : un système permet à un observateur de lire les échanges entre un h o m m e et u n e machine sans voir ces derniers. L ' u n des deux cherche à tromper l ' a u t r e . Si l'observateur ne peut distinguer l ' h o m m e de la machine, c'est qu'elle est intelligente. Mais si le test était réussi, ce qui n ' e s t pas encore le cas, la machine serait-elle intelligente ? N o n , en raison d ' u n e quadruple i l l u s i o n . (40) 1) On ne se demande pas si une horloge est intelligente. Pourtant, une fois en marche, elle continue longtemps à fonctionner. L ' a u t o n o m i e de l'ordinateur est encore plus grande. "Une fois programmé, il peut exécuter des suites complexes d'opérations sans intervention de l ' h o m m e " . Mais un moule à r a i s o n n e m e n t est-il un r a i s o n n e m e n t ? . U n e apparence d'autonomie est-elle l'autonomie ? (41) (42) 2) U n e 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 ' u n objectif unique. En cela il donne l'illusion de décider à la suite d'un "débat". 3) L a plupart des mécanismes physiques c o m m e 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 l'illusion de la vie. 4) L'activité d ' u n 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 ' u n ordre de complexité qui la rend inutilisable c o m m e 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 qualités " p e n s a n t e s " de l ' o r d i n a t e u r " . {m (44) E n quoi réside l'intelligence de l ' h o m m e ? L'intelligence peut être définie c o m m e u n e capacité d ' a d a p t a t i o n . Grâce à elle l ' h o m m e résout des problèmes dans des situations concrètes : 213 LES MACHINES PENSENT-ELLES ? or des p r o g r a m m e s 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 ' h o m m e quand on parle de l'intelligence des ordinateurs. Celui-ci intervient à quatre m o m e n t s : 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 " c o m p r e n d r e les articles du j o u r n a l " . Elle doit être formulée avec précision "en fonction de ce qui est j u g é important et des propriétés à prendre en c o n s i d é r a t i o n " . C'est l ' h o m m e qui choisit ce qui est essentiel dans u n contexte donné. (45) Il conçoit une représentation formelle. La description de l'environnement de la tâche nécessite u n e représentation symbolique formelle traduisant de manière explicite tout ce qui est significatif. L ' u n e des activités de l'intelligence vise à concevoir des systèmes formels qui puissent "représenter convenablement des f a i t s " . (46) Il traduit la représentation dans le système informatique. U n e représentation formelle est u n e abstraction. Pour l'utiliser, il faut la "mettre en correspondance" avec les structures disponibles de l'ordinateur à un "certain niveau". Il importe que "la formulation reste fidèle au système f o r m e l " . (47) Il m e t en œ u v r e une procédure de recherche. L e p r o g r a m m e u r conçoit u n e procédure "agissant sur les structures de représentation formelles afin de réaliser la tâche s o u h a i t é 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 s y s t è m e s " . (48) (49) L ' h o m m e et ses choix Ainsi il faut surtout s'émerveiller de l ' h o m m e qui construit des machines si performantes ! C ' e s t lui qui améliore sans cesse le travail des usagers. Bien que de conceptions différentes, toutes les automobiles ont aujourd'hui la m ê m e apparence : pour les conduire, il n ' e s t plus besoin d ' ê t r e mécanicien ; il suffit de connaître le code de la route, d'appliquer quelques instructions et de savoir où l ' o n veut aller. Il en sera bientôt de m ê m e pour l'utilisation d ' u n ordinateur . (50) 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 ' h o m m e et sa puissance sur l ' e n v i r o n n e m e n t . L ' o r d i n a t e u r prolonge son cerveau en lui permettant d'agir sur les autres outils. Déjà les livres d ' u n e bibliothèque étaient le support de la m é m o i r e et de la réflexion h u m a i n e s . Une encyclopédie peut désormais se transcrire sur un seul C D - R O M . De m ê m e une collection de tableaux, de symphonies, bref toute production culturelle. Bien plus, l'ordinateur permet non seulement 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(51) gieux outil mental. Aussi ce n ' e s t pas sa relative autonomie qui nous paraît dangereuse, mais plutôt l'aptitude des écrans à couper l ' h o m m e de sa réalité d'homme : agissant sur l'espace et le t e m p s du travail, les robots accélèrent l'histoire, rapetissent la planète et multiplient les connexions. Entronsnous de ce fait dans une ère de plus grande convivialité et de rapprochement des h o m m e s , ou au contraire, m a n q u e r o n s - n o u s des réactions éthiques nécessaires devant les problèmes majeurs qui nous sont posés : restructuration du m o n d e du travail, déséquilibres é c o n o m i q u e s , développement accéléré des sciences et des techniques, y compris en biologie, mais aussi reformulation permanente des droits de l ' h o m m e en face de ces mutations ? Là sont les véritables défis de l'ordinateur. NOTES 1. Que des p u b l i c i t a i r e s c o m p a r e n t l ' o r d i n a t e u r à un c e r v e a u ne n o u s s u r p r e n d p a s . M a i s que des savants t o m b e n t dans le p i è g e de l ' a n a l o g i e nous é t o n n e . 2. Titre d ' u n livre déjà a n c i e n de Couffignal r e p r i s par Jacques Arsac, Le Seuil, 1987. 3. L ' e x p r e s s i o n figure dans de n o m b r e u x titres et c o n c e r n e un d o m a i n e de r e c h e r c h e s en plein d é v e l o p p e m e n t . 4. John Haugeland, L ' e s p r i t d a n s la m a c h i n e , F o n d e m e n t s de l ' i n t e l l i g e n c e artificielle, E d i t i o n s Odile J a c o b , P a r i s , 1989, traduit de l ' a m é r i c a i n par J a c q u e l i n e H e n r y , C a m b r i d g e , 1985. 5. Jean-Pierre Changeux et Alain Connes, Matière à pensée, E d i t i o n s O d i l e J a c o b , 1989. 215 LES MACHINES PENSENT-ELLES ? 6. U n e s o m m e , une m o y e n n e , un é c a r t - t y p e , e t c . . 7. L ' o r d i n a t e u r traite de m ê m e des g r a p h i q u e s , des i m a g e s et des sons. 8. Le m o t " o r d i n a t e u r " est une t r a d u c t i o n faite en 1955 du t e r m e " c o m p u t e r " . Le mot anglais vient du v e r b e "to c o m p u t e " qui signifie " c a l c u l e r " . On r e m a r q u e r a la c o n n o t a t i o n différente des é q u i v a l e n t s français et a n g l a i s . 9. Si on a d m e t en suivant C h a n g e u x que les p e n s é e s c o n s t i t u e n t des objets m e n t a u x , il faut r e c o n n a î t r e q u ' i l s ' a g i t d ' o b j e t s flous aux c o n t o u r s évanescents ! 10. Les i n f o r m a t i c i e n s abusent de l ' a n g l i c i s m e " d i g i t a l " qui vient de "digit", dont l'étymologie é v o q u e le calcul avec les d o i g t s . 11. Un A l l e m a n d aurait i n v e n t é la m a c h i n e à c a l c u l e r peu de t e m p s a v a n t P a s c a l . M a i s sa m a c h i n e aurait été d é t r u i t e dans un i n c e n d i e . On r a c o n t e que l ' a u t e u r l ' a u r a i t s u p p r i m é e p o u r des r a i s o n s r e l i g i e u s e s , horrifié à la p e n s é e q u ' u n e m a c h i n e p o u v a i t effectuer des o p é r a t i o n s de l ' e s p r i t humain. 12. C ' e s t la m o d e des a u t o m a t e s . 13. Sur cette d i s c i p l i n e lire, Jean-Paul Haton et Marie-Christine Haton, Q u e sais-je ? P U F , 1989. 14. On t r o u v e déjà dans des traités de m é d e c i n e ou de d i v i n a t i o n m é s o p o t a m i e n s des séries o r d o n n é e s de p r é c e p t e s du type "si... on o b s e r v e tel signe, alors... il faut p o s e r tel d i a g n o s t i c " . Voir Pierre Levy, les t e c h n o l o g i e s de l ' i n t e l l i g e n c e , La D é c o u v e r t e , 1990, p. 104. 15. Boole e x p l i q u e vers 1854 que l ' o n peut coder les d é m a r c h e s de la p e n s é e à l ' a i d e des trois p r o p o s i t i o n s E T , O U , N O N mises en p r a t i q u e à l ' a i d e de p o r t e s qui ne p o s s è d e n t que deux états : z é r o - u n ; o u i - n o n ; vrai-faux ; ouvert-fermé. 16. On a dit que l ' i n f o r m a t i q u e était la f o r m a l i s a t i o n plus l ' é l e c t r o n i q u e . 17. Le m é g a h e r t z est l ' u n i t é p h y s i q u e m e s u r a n t la fréquence d ' u n e oscillation, c ' e s t - à - d i r e la v i t e s s e de f o n c t i o n n e m e n t d ' u n o r d i n a t e u r . Or un m é g a h e r t z , c o r r e s p o n d à un million de hertz ou d ' o s c i l l a t i o n s par s e c o n d e . A u j o u r d ' h u i les o r d i n a t e u r s d o m e s t i q u e s t o u r n e n t à plus de 25 m é g a h e r t z . 18. En p a r t i c u l i e r les r é s u l t a t s o b t e n u s par l ' a p p l i c a t i o n données primitives. 19. C o m m e les o r d i n a t e u r s sont au service de projets divers, on p e u t se d e m a n der s'il existe u n e n o u v e l l e s c i e n c e a p p e l é e " i n f o r m a t i q u e " , ou si les o r d i n a t e u r s ne r e l è v e n t pas tout s i m p l e m e n t d ' u n e t e c h n o l o g i e . P o u r t a n t cette s c i e n c e a été définie ainsi : " L ' i n f o r m a t i q u e est la s c i e n c e de l ' o r g a nisation l o g i q u e des e n s e m b l e s de d o n n é e s et des m a c h i n e s qui en assurent le s t o c k a g e , la t r a n s m i s s i o n et la t r a n s f o r m a t i o n " . Cette définition a le m é r i t e de ne pas séparer l ' a s p e c t formel de l ' a s p e c t m a t é r i e l . Cf. JeanDominique Warnier, L ' h o m m e face à l ' i n t e l l i g e n c e artificielle, Les é d i t i o n s d ' o r g a n i s a t i o n , P a r i s , 1984. 20. John Haugeland, L ' e s p r i t dans la m a c h i n e , F o n d e m e n t s de l ' i n t e l l i g e n c e artificielle, E d i t i o n s Odile J a c o b . P a r i s , 1989, traduit de l ' a m é r i c a i n par J a c q u e l i n e H e n r y , C a m b r i d g e , 1985. 21. P o u r q u o i la m a c h i n e peut-elle perdre aux échecs devant un j o u e u r humain ? C ' e s t que le n o m b r e de coups p o s s i b l e s aux é c h e c s est si é l e v é q u ' o n n ' a 216 des règles aux LES MACHINES PENSENT-ELLES ? pas e n c o r e mis au point une p r o c é d u r e de r é u s s i t e infaillible. Des s é l e c teurs de c o u p s l o g i q u e s , q u o i q u e f a i l l i b l e s , p e u v e n t q u a n d m ê m e être a u t o m a t i s é s , on parle alors d ' u n e p r o c é d u r e de r e c h e r c h e ou h e u r i s t i q u e : celle-ci est parfois suffisamment fiable p o u r p e r m e t t r e à un o r d i n a t e u r de battre un bon j o u e u r d ' é c h e c s ! 22. C ' e s t p r é c i s é m e n t l ' i d é e de " j o u a b i l i t é finie". Cf. John Haugeland, op. cit., p. 7 3 . 23. Un e n s e m b l e o r d o n n é de 8 signes 0 ou 1 p e r m e t de c o d e r 2 = 256 s i g n e s élémentaires. 8 24. Le " c o d e c o m p l e t " selon la t e r m i n o l o g i e de V o n N e u m a n n . 25. Les " c o d e s c o u r t s " . Plus on se r a p p r o c h e des l a n g a g e s n a t u r e l s plus les c o d e s sont faciles à m a n i p u l e r . 20. Pourtant le nom des pièces évoque les armées de deux royaumes se disputant la suprématie. 27. Simuler une vraie guerre est autrement difficile que de j o u e r aux échecs ! Même dans les guerres il y a des règles à respecter, mais l'adversaire respectet-il toujours ces règles ? La simulation doit indiquer c o m m e n t faire pour gagner effectivement. Dans notre exemple elle devrait prendre en compte même le non-respect des règles. 28. 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 D o n n é e s " 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. 29. Les mathématiciens parlent d'isomorphisme entre les structures constituées par les différents codes. 30. La Recherche, № 257, Septembre 1993, Hourya Sinaceur et Jean-Pierre Bourguignon, David Hilbert et les mathématiques du X X siècle, p. 987 et 988 " L ' u n e des ambitions de Hilbert : décrire et manipuler les infinis au moyen d'un nombre fini d'opérations et d ' a x i o m e s " . e 31. Au moins pour le moment. 32. Le bon sens est ce 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. 33. On a d ' a b o r d 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). 31. Les langages systèmes étant relativement hermétiques, on a vu fleurir des utilitaires les traduisant dans des expressions de la langue courante selon des procédures de choix multiples et grâce à des interfaces graphiques. 35. Les logiciels proprement dits ont chacun des fonctions précises : traiter des textes, effectuer des calculs, tracer des graphiques, remplir des tableaux, e t c . . 36. Cf. Mario Borillo, Informatique pour les sciences de l ' h o m m e , Pierre Mardaga Editeur, p. 33. 37. "Combinatoire dont l'expansion sature rapidement les machines les plus puissantes", Cf. Mario Borillo, Informatique pour les sciences de l ' h o m m e , 217 LES MACHINES PENSENT-ELLES ? Pierre Mardaga éditeur, p. 17. 38. Nous ne pouvons cependant pas fixer des limites a priori l'intelligence artificielle. 39. Alain Connes, op. cit., p. 112, 1989. 40. Terry Winograd Fernando Flores, L'intelligence artificielle en question P.U.F, Paris, 1989, traduit de l'américain par Jean-Louis Peytavin, 1986, p. 150 et suivantes ainsi que 163 et suivantes. 41. Terry Winograd..., op. cit., p. 150 et suivantes. 42. C o m m e le dit Blanche : "Un moule à raisonnement n ' e s t pas un raisonnement pas plus q u ' u n moule à gâteau ne peut être mangé comme dessert". 41. Terry Winograd... , op. cit., p- 150 et suivantes. Terry Winograd... , op. cit., p- 150 et suivantes. 44. 45. 46. 47. 48. 49. 50. 51. 218 aux progrès de 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 ê m e 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 communication multimédia ou en réseaux. Un logiciel aussi complet que le traitement de texte Word n ' e s t utilisé en général q u ' à moins de 40 % de ses ressources de même q u ' u n tableur comme lotus 123. Or ces applications n'exigent q u ' u n e mémoire relativement réduite. Aussi, pris par la société de consommation, en arrivet-on à acheter une Rolls pour faire ses emplettes chez l'épicier du coin. C o m m e 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 ' u n maniement plus facile. En effet les progrès touchent aussi, heureusement, la facilité d'utilisation. C ' e s t pourquoi appareils et logiciels paraissent vite obsolètes, alors q u ' i l s couvrent largement les besoins courants. Aussi avant de changer chaque année le modèle de sa Rolls, convient-il 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 M e m o r y " : disque que l'on peut lire, mais qui n'autorise pas l'écriture.