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.