Vous êtes sur la page 1sur 4

pp.

203-206 203

.Editorial

Intelligence artificielle

C'est le 9 aoflt 1956 que le programme d'intelligence I1 est 6vident qu'un tel objectif, qui puise sans
artificielle ~ Logic theorist )) a donn6 sa premi6re doute ses racines dans l'un des plus vieux r~ves de
d6monstration, suivi par le programme d'6checs yss l'humanit6 et auquel la r6volution de l'ordinateur
(Newell, Shaw, Simon), puis par le ~ general problem a donn6 une force irr6sistible, ne saurait ~tre atteint
solver)) (GPS). C'est aussi en 1956 que la conf6rence du jour au lendemain.
de Dartmouth, r6unie pour 6valuer l'aide que les On peut donc pr6voir que la progression des efforts
calculateurs num6riques pourraient apporter 5- l'exp6- sera jalonn6e, au gr6 des al6as, de d6sillusions pas-
rimentation des th6ories de la repr6sentation et du sag6res qui seront d'autant plus vives que l'espoir
raisonnement, a lanc6 le nom d'intelligence artificielle 6tait plus grand.
0A), parmi d'autres propositions comme celle de De fait, en un tiers de si6cle, la recherche en intel-
traitement de l'information complexe. Mais ce n'est ligence artificielle n'a pas 6t~ ~pargn6e par les critiques,
qu'en 1969 que lqA est vraiment devenue une disci- les doutes et les p6riodes de r6cession : ce fut le
pline 5- part enti6re, avec l'organisation du premier rapport ALPAC (1964), qui donna un coup d'arr&
congr6s international d'intelligence artificielle et le brutal aux 6tudes sur la traduction automatique ;
lancement, au d6but de l'ann6e suivante, de la revue ce fut l'6chec de la prMiction de Herbert Simon,
~ Artificial Intelligence)~, qui allait jouer un rSle l'un des fondateurs de I'IA et prix Nobel en 6conomie,
essentiel dans la prise de conscience collective de cette qui avait annonc6 en 1957 qu'un ordinateur battrait
discipline. le champion du monde des 6checs avant dix ans ;
Enfin, l'annonce japonaise du programme de ce fut la r6futation th6orique en 1969, par Minsky
cinqui6me g6n6ration a provoqu6, 5- partir de 1982, et Papert, du perceptron de Rosenblatt, avec l'arr~t
l'explosion m6diatique que l'on connalt : de toutes cons6cutif, pour plus de dix ans, des 6tudes sur les
parts les travaux se sont intensifi6s, la communaut6 r6seaux connexionnistes.
scientifique a coordonn6 ses efforts, les colloques Et l'on est encore loin du succ~s initialement vis6
se sont multipli6s ainsi que les produits industriels, dans les domaines du traitement automatique de la
et des applications ont commenc6 5, voir le jour. parole, de la vision, du dialogue ou de la compr6-
Qu'est-ce que I'IA ? De nombreuses d6finitions hension de textes : ces probl~mes semblent appara~tre
ont 6t6 propos6es et le d6bat est toujours vivant, d'autant plus insondables qu'on les approfondit.
comme il est naturel pour une discipline jeune et Peut-&re sont-ils insolubles dans leur g6n6ralit6 ;
en pleine effervescence. sans doute les outils actuels sont-ils encore am6-
Jacques Pitrat consid6re que ~ c'est une science liorables ; il reste 5- coup stir un immense effort 5-
dont le but est de faire faire par une machine tout faire pour d6crire et engranger la connaissance uni-
ce que l'homme est capable de faire, comme par verselle de l'homme, les situations, les images, les
exemple jouer aux 6checs, traduire un texte ou d6cou- croyances et les raisonnements dits de bon sens, qui
vrir que, sur une photo, il y a Monsieur Dupont constituent l'environnement culturel de chaque ~tre
sur sa bicyclette devant un jardin. Elle s'est donn6 humain et sans la connaissance desquels il para~t
pour objectif d'analyser les comportements humains difficile que la machine puisse atteindre 5- un r6el
dans les domaines de la compr6hension, de la per- niveau de compr6hension (D. B. Lenat et E. A. Fei-
ception, de la r6solution des probl6mes, afin de genbaum pr6conisent la construction de gigantesques
pouvoir ensuite les reproduire 5- l'aide d'une machine )). bases de connaissances : VLSK, very large scale know-
(~ La recherche en intelligence artificielle ~), Editions ledge bases).
du Seuil, 1987). On ne peut ignorer, non plus, les avis de certains
Le projet est donc tr6s ambitieux, puisqu'il ne scientifiques qui critiquent l'insuffisance des fonde-
s'agit ni plus ni moins que de construire des machines ments th6oriques de l'intelligence artificielle autant
intelligentes, au sens propre du terme, c'est-5--dire que les promesses excessives, et qui lui reprochent,
capables non seulement de rivaliser avec l'homme entre autres, de n'&re pas une discipline propre mais
par l'efficacit6 de leur comportement ext6rieur, mais un mythe ou un agr6gat de r6sultats issus de vraies
aussi de comprendre, percevoir et raisonner selon disciplines comme la th6orie des graphes, la logique,
des sch6mas semblables 5- ceux que l'homme utilise la th6orie des langages.., et de ne pas avoir su, en
(et que l'on ne connaR pas encore bien). plus de trente ans, d6velopper et stabiliser un corpus

1/4 ANN. Tt~L~COMMUN.,44, n ~ 5-6, 1989


204 ~DITORIAL

autonome de notions, de termes et de m6thodes Le fait de r6duire la d6finition sans changer le mot
sp6cifiques. entralne aussi qu'on verra de plus en plus souvent,
D . L . Parnas, par exemple, sp6cialiste du g6nie au moins dans certains domaines, des machines
logiciel, reproche ~ I'IA de ne pas d6finir son but de pr6sentant un comportement externe plus habile
faqon claire et mesurable, d'introduire des termes que celui des hommes r6put6s intelligents, et dont
~. connotation magique (~ programmation heuris- les chercheurs en IA diront que ~ ce n'est pas de
tique ~, ~ base de connaissances ~, ~ moteur d'inf6- l'intelligence artificielle~r, pour la raison que les
rence~...) pour d6signer des notions classiques de techniques utilis6es ne rel6vent pas de la d6finition
l'informatique et de ne pas encore avoir apport6 restreinte de I'IA.
la moindre preuve de son efficacit6 pratique (~ Why A preuve les machines d'6checs : voil~ un jeu qui
engineers should not use artificial intelligence ~, mFOR, fut pris comme le premier exemple sur lequel la jeune
nov. 1988). discipline allait s'exercer et montrer ses potentialit6s
T . A . Winograd, l'un des pionniers de lhA, se et qui pendant des lustres a fait l'objet de recherches
prend ~t douter de la possibilit6 de jamais r6aliser des intensives sur le raisonnement et l'intuition. Or,
machines pensantes : ~ I have now come to recognize m~me si le titre mondial n'est pas encore atteint,
a larger grain of truth in the criticisms than in the on peut consid6rer que le pari de l'intelligence
enthusiastic predictions ~. I1 va jusqu'~t crier ~ casse- (au sens de l'aptitude ~t rivaliser avec des hommes
cou ~ et pr6dire de sombres catastrophes aux gouver- intelligents) est, dans ce domaine, gagn6 : pour
nements qui voudraient utiliser des syst6mes experts quelques milliers de francs, vous pouvez acheter
dans les centrales nucl6aires ou dans les syst6mes une machine qui bat plus de 95 9/o des joueurs fran-
d'armes (~ Thinking machines : Can there be ? are ~;ais (un microordinateur vient r6cemment de franchir
we ? >~, 1987). Mais ces craintes doivent concerner la barre des 2 000 points ELO) ; la machine ~ Deep
autant, et peut-~tre plus encore, les syst6mes infor- thought,s, d6velopp6e ~ l'Universit6 de Carnegie
matiques classiques, dont jamais personne n'a pu Mellon, a sans doute atteint le niveau de ~ grand
faire la preuve totale du bon fonctionnement. Elles maitre international)). Elle est sortie premi6re ex
sont inh~rentes 5. la complexit6 des syst~mes et non aequo du tournoi de Long Beach en novembre 1988,
~t I'IA, et furent au cceur d'une c616bre pol6mique battant notamment l'un des quarante premiers joueurs
- - dans laquelle D. L. Parnas a jou6 un grand r61e - - du monde. C'est donc bien une machine intelligente
sur les dangers potentiels du projet d' ~ initiative que celle qui, au ~ noblejeu ~), surpasse tant dejoueurs
de ddfense strat6gique )) commun6ment appel6 ~ guerre r6put6s pour leur g6nie 6chiqu6en et leur exp6rience.
d e s 6toiles ~. Et pourtant, ces machines, selon beaucoup de cher-
Pour prdciser le champ d'6tude de la discipline cheurs, ne rel6vent pas de I'IA, parce qu'eUes sont
et r6duire les inconv6nients d'une d6finition peut-~tre fond6es sur la force brutale d'exploration du plus
trop large et trop ambitieuse, de nombreux cher- grand nombre de coups possibles et ne font pas appel
cheurs ont eu tendance h restreindre la port6e de cette des mod61es de raisonnement. Ce qui donc est une
d6finition : par exemple en la limitant ~. l'6tude des victoire, au regard d'une d6finition large de I'IA,
fonctions qu'on ne salt pas traiter par des algorithmes, ne l'est plus pour une d6finition restreinte.
ce qui exclut les probl6mes du genre ~< r6solution En r6alit6 la force dite brutale ne l'est jamais
d'6quations)) (H. F a r r e n y ) ; ou en rejetant les compl6tement. Elle est de plus en plus assist6e par
approches ~ bolte noire )) et les techniques qui ne la prise en compte de la connaissance sp6cialis6e
permettent pas d'expliquer le raisonnement utilis6, des experts et par la mise en r de techniques
ce qui exclut, pour l'instant, le connexionnisme (*) ; ou d'exploration des graphes cr66es ou am61ior6es
en exigeant que le probl~me fasse appel ~. une masse pr6cis6ment par les chercheurs en IA s'int6ressant
6norme de connaissances, ce qui 61imine les puzzles 5. ces probl6mes. Et la premiere grande victoire
(Y. Kodratuff). de lqA dans le domaine des jeux, celle du programme
Ces restrictions ont l'avantage de clarifier l'objet BKG 9.8 de Hans Berliner, en 1979, contre le champion
de la discipline et de prdciser sa place par rapport du monde de backgammon (une variante du jacquet),
~t ses voisines, en mettant plus l'accent sur les techniques fut obtenue avec des m6thodes mixtes, ne se limitant
employ6es que sur le but ultime vis6. pas ~t la seule exploration arborescente et faisant
Celui-ci reste n6anmoins pr6sent dans les cons- appel h certaines formes de raisonnement. Soulignons
ciences, avec toute sa charge mythique, et continue enfin que les investissements consacr6s 5. l'application
de justifier un engouement qui risque d'entretenir de lqA aux jeux de l'esprit ont naturellement 6t6
un d6calage, dangereux pour les chercheurs eux- fort modestes et que des efforts plus intenses (compa-
m~mes, entre les espoirs ext6rieurs et la r6alit6 d'un rabies, par exemple, ~ ceux d6ploy6s pour le g6nie
travail moins ambitieux mais dont l'utilit6 est incon- logiciel) auraient sans doute permis des progr6s
testable. spectaculaires inaccessibles aux techniques classiques.
I1 existe donc en permanence une course de vitesse
(*) Le connexionnisme est l'6tude d'architectures comportant entre, d'une part, les m6thodes d'exploration syst6-
un grand nombre de processeurs 616mentaires fortement inter- matique, qui petmettent, gr~.ce ~t l'accroissement de
connect6s, et dans lesquelles la connaissance et la m6moire sont
localis6es dans les connexions. puissance des machines, d'obtenir des r6sultats sur-

ANN. TI~L~COMMUN.,44, n~ 5-6, 1989 2/4


I~DITORIAL 205

prenants pour ceux qui avaient sous-estim6 la vitesse des Annales a d6cid6 de consacrer un num6ro entier
de progression technologique, et, d'autre part, les / t c e sujet, dont les applications potentielles pour les
techniques de I'IA fond6es sur le raisonnement, t616communications ont justifi6 un important effort
plus lentes 5- l'ex6cution mais permettant d'atteindre depuis plusieurs ann6es : d6s 1984 le CNET lan~ait
des zones inexplorables autrement. I1 serait vain de des 6tudes sur les techniques de I'IA pour les appliquer
condamner une m6thode sous le prdtexte qu'5- un 5- la maintenance des systSmes et des r6seaux (syst6mes
moment donn6 de l'histoire elle n'a pas encore atteint experts), au traitement automatique de la langue
le but esp6r6. Les deux doivent progresser de concert. naturelle, 5- la reconnaissance de la parole, 5- la r6utili-
Peut-~tre les machines parall61es g6antes fourniront- sation du logiciel, sans oublier les 6tudes d'archi-
elles le support appropri6 pour leur symbiose. tecture de machines et de programmation en logique.
De toute fagon, comme le dit Michel Serres : ~ le Ce num6ro a donc pour ambition de pr6senter
multiple tel quel, laiss6 brut, rarement unifi6, n'est un certain nombre d'aspects scientifiques de l'intel-
pas un monstre 6pist6mologique, il est, au contraire, ligence artificielle, telle que la perqoivent les chercheurs
l'ordinaire des situations, y compris des situations d'aujourd'hui, et de quelques applications 6tudi6es
du savant ordinaire, le savoir usuel, le travail quo- par le CNET.
tidien, bref, notre objet commun )~ (~ Gen6se ~, On n'y trouvera pas un catalogue de produits
Grasset, 1982). industriels ni une liste exhaustive d'applications :
Quoi qu'il en soit des probl6mes de d6finition, qui non que nous sous-estimions l'importance d6cisive
se posent aussi dans la plupart des sciences et qui se de ce crit6re de jugement, mais, compte tenu de la
clarifieront avec la progression des 6tudes, il est vocation de la revue et du volume disponible, nous
ind6niable que la communaut6 de l'intelligence pr6f6rons renvoyer le lecteur aux nombreuses publi-
artificielle existe et qu'elle a commenc6 d'obtenir cations et confdrences r6guli~res qui fournissent une
des r6sultats d6passant le cadre de la recherche ou foison d'informations de cette nature, et nous con-
des jeux de l'esprit. centrer sur la pr6sentation et la discussion des concepts
Ces r6sultats sont encore n~cessairement partiels fondamentaux.
dans les grands domaines cit6s plus haut (parole, Le premier article pr6sente, sous la plume de
vision, compr6hension de textes, etc.), qui restent H. Farreny, une introduction 5- la d6marche et aux
d'une extreme difficult6, mais o/1 l'IA apporte des techniques centrales de la discipline : la recherche
6clairages et des proc~d6s nouveaux. dans les graphes, les syst6mes experts, la moddlisation
Dans le domaine des syst~mes experts, les r6sultats des raisonnements.
atteignent le niveau industriel. Selon Raj Reddy Les articles suivants sont relatifs aux langages de
(cf. ~ 1988 AAAI Presidential Address ))), IBM a ~ d6- I'IA, aux logiques formelles, au raisonnement de bon
ploy6 )) pour ses besoins propres en 1988 une centaine sens et 5- l'apprentissage. Le langage Lisp, vieux
de syst~mes experts et r6cup6r6 37,5 millions de compagnon de I'IA, fidSle et toujours jeune, n'a pas
dollars pour un investissement de 2,5 millions dans fait l'objet d'un article, mais nous avons r6serv6 une
ce secteur ; la soci6t6 DEC emploierait environ 700 per- place de choix, en raison de leur int6rat th6orique
sonnes dans sa division IA le nombre total de sys-
, et de leurs potentialitds, aux nouveaux langages de
t6mes experts serait pass6 de 50 en 1987 5. 1 400 en programmation en logique, avec les exemples de
1988 et le nombre des syst6mes experts en d6veloppe- Prolog III (A. Colmerauer, l'inventeur du langage
ment aurait crfi de 2 500 5- 8 500 dans la m~me Prolog) et de Lislog-C (S. Bourgault, J. P. Le Pape,
p6riode. D. Ranson).
Ces chiffres doivent 6videmment ~tre consid6r6s AprSs la pr6sentation des langages, viennent les
avec une certaine prudence tant qu'on ne connait articles de P. Besnard, sur les logiques formelles (des
pas la nature exacte des produits ni leur niveau r6el suppositions, des d6fauts, auto6pist6mique, de la
d'emploi : 6valuation d'un prototype, exp6rimentation circonscription) et le raisonnement de bon sens, et
en vraie grandeur, utilisation en secours, utilisation de Y. Kodratoff, sur l'apprentissage. Ce dernier
r6elle, sur une application secondaire ou cruciale. article contient aussi une discussion sur la d6finition
En tout 6tat de cause, la lecture de la presse tech- de I'IA et sur la dialectique entre l'efficacit6 - - impli-
nique montre 5- l'6vidence que le ph6nom~ne industriel quant des traitements num6riques impropres 5- l'expli-
a pris corps. cation - - et l'explicabilit6 - - exigeant une d6claration
C'est donc, au total, un paysage contrast6 qu'offre explicite des connaissances, malheureusement coft-
I'IA, fait d'enthousiasme, d'incertitudes et de succ~s, teuse en temps de traitement.
et dont le jugement, apr6s 33 ans, provoque toujours Parmi les nombreuses techniques 6tudi6es pour
des d~bats passionn6s. accroitre la puissance du calcul en IA, nous avons
Mais la progression des acquis conceptuels et des retenu le parall61isme et les machines-langage. Le
r6alisations concretes ne fait plus de doute, et l'on premier th6me est trait6 par J. Cohen, qui dresse
peut ~tre assur6 que bon nombre d'applications un panorama des diff6rents types de parall61isme
informatiques du futur utiliseront des techniques envisag6s pour la programmation en logique. Le
issues de I'IA. deuxi6me est examin6 sous l'angle d'un exemple :
C'est la raison pour laquelle le Comit6 scientifique la machine Maia, d6velopp6e par le CNET et la CGE

3/4 ANN. TELt~COMMUN.,44, n ~ 5-6, 1989


206 EDITORIAL

avec l'assistance des soci6t6s Amaia et Copernique, qui diff6rent radicalement de celles d6crites dans les
et dont les performances remarquables en ce qui pr6c6dents articles et poss6dent la caract6ristique,
concerne le traitement multit~.che de programmes au moins pour l'instant, de ne pas fournir 5. l'utilisa-
Lisp nous ont paru justifier un article entier consacr6 teur d'explications sur les raisons des solutions
au syst6me de cette machine (J. Corbin, P. C16r6, propos6es, tout en offrant des potentialit6s fascinantes
L. Henninger, R. Velly). d'apprentissage.
Les quatre articles suivants sont d6volus aux La discussion, esquiss6e au d6but de cet 6ditorial,
applications de l'intelligence artificielle 6tudi6es par le sur l'identit6 de la discipline et sur ses fronti6res
CNET, dont les travaux ne se bornent pas 5. d6velopper avec les disciplines voisines, est reprise dans plusieurs
des r6alisations concretes mais contribuent activement articles de ce num6ro, avec des points de vue parfois
5. la recherche dans les domaines concern6s, riches diff6rents qui donneront au lecteur une id6e de la
en probl6mes aussi bien sp6cifiques que g6n6raux. richesse du d6bat. Encore n'avons-nous inscrit aucun
Les rapports entre la compr6hension automatique article sur les rapports de I'IA avec les sciences cogni-
de la parole et l'intelligence artificielle sont analys6s tives, la psychologie ou la neurophysiologie, et nous
par M. Guyomard, G. Mercier, L. Miclet et J. Siroux ; sommes-nous limit6s 5. l'aspect informatique des
le traitement automatique du langage naturel par choses, 5. l'exception du dernier article sur le connexion-
M. Gilloux ; la r6utilisation du logiciel par J. F. Cloa- nisme.
rec, L. Bruneau et A. Feroldi ; les syst6mes experts Nous esp6rons que la synth6se ainsi pr6sent6e,
dans les t616communications par F. Hautin, J. F. Cude- bien que n6cessairement incompl6te, fournira une
lou et F. Alizon. Ce dernier sujet fait l'objet d'une image suffisamment fiddle de la vision scientifique
simple pr6sentation descriptive d'exp6riences en vraie qu'ont de leur discipline les chercheurs et les ing6nieurs
grandeur men6es sur diff~rents sites de France T~l~com qui travaillent chaque jour 5. la faire progresser et 5.
et en cours d'6valuation. l'appliquer au domaine des t616communications.
Le dernier th~me abord6 concerne le connexion-
nisme (D. Collobert, A. Maruani). Comme on l'a
vu, il se situe 5. la limite de l'intelligence artificielle, Jean-Marc PITII~ *
non par les buts mais par les m6thodes employ6es, Ing6nieur en chef des t616communications.

(*) Cl,mr-LAA-SLC,route de Tr6gastel, BP 40, F-22301 Lannion.

ANN. T~L~COMMtn'~.,44, n~ 5-6, 1989 4/4