Académique Documents
Professionnel Documents
Culture Documents
RSUM. Avec l'avnement du paralllisme massif, une nouvelle problmatique de l'Intelligence Artificielle se fait jour: celle de l'Intelligence Artificielle Collective (IAC).
L'article discute l'intrt mthodologique d'une approche mtaphorique de l'IAC, utilisant les archtypes de systme social et systme physique. Il l'illustre travers trois
exemples de systmes massivement parallles. Le premier est un langage de coordination
d'actions inspir par la mtaphore sociale. Le deuxime est un langage de description
d'interactions inspir par la mtaphore physique. Le troisime est un systme d'abstraction symbolique ancr dans un substrat ractif.
ABSTRACT. The recent developments in massive parallelism give rise to a new issue in
the field of Artificial Intelligence i.e. Collective Artificial Intelligence (CAI). This paper
discusses the methodological interest of a metaphorical approach of CAI, using the archetypes of social and physical systems. This approach is illustrated through three
examples of massively parallel systems. The first one is a coordination language inspired
by the social metaphor. The second one is an interaction description language, inspired
by the physical metaphor. The third example is a symbolic abstraction system anchored
in a reactive substratum.
MOTS-CLS: Intelligence Artificielle Collective, Architectures MIMD, Paralllisme
massif, Coordination, Adaptation, Systmes multi-agents, Agents ractifs, Emergence,
Abstraction.
KEYWORDS: Collective Artificial Intelligence, MIMD Architectures, Massively Parallel
Systems, Coordination, Adaptation, Multi-agent Systems, Reactive Agents, Emergence,
Abstraction.
1.2
1. Introduction
Avec l'avnement des architectures parallles MIMD 1, l'intelligence artificielle
accde une nouvelle dimension: la dimension collective de l'intelligence. Il en
rsulte une mutation profonde de sa problmatique. Libre du joug qu'apposait
sur elle la machine de Von Neumann, elle bascule des systmes entres-sorties
vers des systmes dynamiques et ouverts, dans lesquels la notion d'optimalit
devient difficile apprhender. Car dans ce nouveau cadre architectural, l'optimalit d'une rsolution de problmes se superpose une optimalit de deuxime
ordre: celle du rsolveur rparti lui-mme. Or cette optimalit ne se laisse pas
trivialement cerner par des conditions de convergence, car elle se dfinit dans
l'infini du temps, et les critres qui prsident sa dfinition sont non seulement
performance/qualit des rsultats, mais aussi longvit, c'est--dire robustesse,
adaptabilit, volution, auto-organisation.
Dans le cadre global d'un systme rparti, l'optimalit rsulte en fait de
l'adaptation rciproque entre les composants (rsolveurs de problmes) et l'ensemble du systme. Ainsi dans ce contexte, un algorithme a priori trs performant mais gnrant une contention qui paralyse de nombreuses tches, peut par
exemple apparatre comme un mauvais rsolveur de problmes. De mme, un
algorithme dont la consommation en ressources est modre, mais dont la terminaison rend difficile et lente la libration des ressources, est galement indsirable...
En accord avec une certaine vision piagtienne de l'intelligence,
l'"intelligence" d'un systme rparti se dfinit donc non seulement par la
capacit d'adaptation directe de ses composants leur environnement, mais
pltot -du fait qu'ils sont plongs dans un environnement lui-mme adaptatifpar leur capacit d'accommodation, c'est--dire d'adaptation l'adaptation de
leur environnement. Le comportement d'un tel systme est donc rgi non plus
par des schmas de dpendances linaires, mais par des schmas de dpendance
circulaire (rtro-action).
Dans un systme rparti, les composants (rsolveurs de problmes) deviennent insparables, d'une part les uns des autres, d'autre part chacun vis--vis du
tout dont il fait partie. Le principe de compositionnalit, qui ne s'applique plus
que de faon trs parcellaire, se rvle inadquat pour apprhender la notion
d'optimalit du comportement d'un tel systme (cf. figure 1).
En mme temps, la complexit des architectures (nombre de composants, topologies, ...) associe leur caractre ncessairement dynamique et ouvert, exclut de faire face l'insparabilit des composants par du contrle, et ceci pour
deux raisons. Tout d'abord le contrle ne peut tre mis en oeuvre qu'au prix de
communications coteuses, ce qui rduit les performances. Ensuite, la technique
1Par architecture parallle MIMD, nous entendons aussi bien un multiprocesseur mmoire prive
(rpartie et non partage) qu'un rseau de stations trs grand nombre de composants.
1.3
interactions
Plan physique
Partant de ce schma, l'article discute l'intrt mthodologique d'une approche mtaphorique de l'IAC, travers trois tudes complmentaires que nous
avons menes. La premire concerne la conception d'un environnement supportant la coordination d'actions dans un systme rparti: cet environnement, appel
CoLa, est destin s'intercaler entre le logiciel de base et un environnement de
dveloppement d'applications. La deuxime vise montrer la puissance autoorganisatrice de mcanismes ractifs simples, travers un modle d'interaction
1.4
bas sur des champs de forces. La troisime enfin, aborde l'une des facettes du
problme pos par l'unification des approches prcdentes, travers l'exemple
d'un systme d'abstraction symbolique fond sur des mcanismes ractifs.
2. Mtaphore sociale et
coordination d'actions dans CoLa
Aprs une introduction la problmatique associe la mtaphore sociale, nous
dcrivons le modle de coordination d'actions CoLa, et l'illustrons par un
exemple. Nous terminons par une discussion sur la puissance et les limitations
de la mtaphore sociale.
2.1. Introduction
La mtaphore sociale constitue le prolongement direct de l'I.A. en contexte
MIMD et l'approche qui court et moyen terme parat la plus apte engendrer
des systmes complexes rpartis oprationnels. Elle part de l'hypothse de l'autonomie des composants d'un systme et elle s'attaque, au lieu de la dfinition de
ces composants, au problme de leur intgration dans un espace, soit en termes
de protocoles, soit en termes de lois gnrales d'intgration. Les questions
qu'elle soulve sont ceux de la coopration, l'organisation, la fonctionnalisation,
etc.
Le modle CoLa [Hirsbrunner et al., 1994] s'inspire de la mtaphore sociale
pour permettre d'exprimer la coordination d'actions dans un systme rparti. Il
s'agit d'un langage de coordination dclaratif-impratif orient vers la dfinition
de structures logiques de communication. Les primitives de communication envisages, fondes sur la notion de correspondant, autorisent l'expression de directives telles que:
-
Le prof. X demande son assistant de prvenir les tudiants qu'une runion d'information aura lieu 16H (dlgation et synchronisation).
Le prof. X demande Y de distribuer un document tous les tudiants
(que X ou Y juge) intresss (actions modales).
Le prof. X commence son cours si tous les tudiants sont prsents
(synchronisation et quantification).
En contexte rparti, il est clair que de telles primitives requirent une smantique approximative, non seulement d'un point de vue qualitatif, mais galement
d'un point de vue temporel. Outre la dfinition de cette nouvelle smantique,
dont on note l'impossibilit de s'appuyer sur une garantie de convergence, l'intrt de CoLa est d'autoriser un total dcouplage des structures logique et physique
de la communication. Pour ce faire, CoLa est implant sur une couche intgrant
1.5
Agent A
champ de vision
points de vue
correspondants
1.6
Les points de vue sont utiliss des fins de communication, soit pour dsigner le destinataire ou les groupes de destinataires d'un message, soit pour dfinir lors d'une rception l'ensemble des correspondants desquels le rceptionnaire
veut obtenir une information.
Les oprateurs mis disposition pour construire les points de vue dans CoLa
sont les oprateurs ensemblistes classiques, savoir l'intersection, la runion, la
complmentation et la diffrence. Ces oprateurs permettent d'exprimer toutes
sortes d'abstractions sur le champ de vision d'un agent [Le Peutrec et Robin,
1993], par exemple regrouper plusieurs points de vue lmentaires en un seul
point de vue, simplifier un point de vue, etc.
CoLa distingue les points de vue directs et indirects. Dans le premier cas,
l'agent a localement sa disposition toutes les mthodes ncessaires pour pouvoir construire l'ensemble des correspondants constituant le point de vue. Dans
le deuxime cas, l'agent expditeur ne dispose que d'une spcification du point
de vue sans pouvoir explicitement "accder" l'ensemble des correspondants y
relatif. Le point de vue a alors valeur de consigne de retransmission pour le destinaire du message. Ce mcanisme permet de raliser des communications par
vagues.
La transmission de point de vue un autre agent est possible et peut s'effectuer en particulier lors de la cration de nouveaux agents. Ceci est support par
le mcanisme de transfert de mthodes.
Souvent, les applications ncessitent des schmas de communication bien
prcis entre agents, notamment des topologies de communication virtuelles
telles que les anneaux, arbres, hypercubes ou plus gnralement des graphes.
Dans CoLa, l'utilisateur spcifie des topologies d'interconnexion logique entre
agents en termes de point de vue. Par exemple, un arbre sera dfini par les points
de vue enfants et parent, un anneau par les points de vue successeur et
prdcesseur.
2.2.3. Coordination
Les outils de coordination d'actions entre agents offerts par CoLa sont des mcanismes de communication et de synchronisation base d'envoi et de rception de
messages. Un message CoLa est un objet structur en trois couches, cf. figure 4:
-
CoLa propose deux primitives pour la communication, l'une pour les envois
et l'autre pour la rception de messages:
-
1.7
diffuseur, filtre
descripteur
corps
2.3. Exemple
Pour illustrer, d'une part, les concepts novateurs de CoLa et, d'autre part, dtailler les deux primitives csSend et csReceive, nous prsentons un exemple de
communication concrte ralise dans l'environnement CoLa, cf. figure 5.
Par courrier lectronique le professeur X souhaite le bonjour ses deux assistants Ax et Ay et leur demande d'informer oralement tous les tudiants de
s'annoncer chez lui .
Figure 5. Un exemple de communication
courrier lectronique
oralement
1.8
DESCRIPTEUR D ' ENVOI. Le descripteur d'envoi dfinit le contexte de communication par rapport auquel un corps de message est chang au niveau de l'application. Il est constitu d'une liste de descripteurs lmentaires. Ces descripteurs lmentaires sont respectivement associs aux diffrents corps lmentaires constituant le corps du message.
Un descripteur lmentaire est compos de trois champs: (1) l'expditeur du
message; (2) l'ensemble des correspondants destinataires et (3) la mthode de
traitement de l'information.
La dsignation des destinataires peut s'effectuer de deux faons:
- En extension: l'expditeur fournit dans le descripteur lmentaire un ensemble de correspondants;
- En intention et de faon dclarative: l'expditeur indique un point de vue
spcifiant les correspondants destinataires.
Lors d'une communication par vague, les descripteurs peuvent contenir des
points de vue indirects. C'est le cas dans l'exemple de la figure 5: le descripteur
d'envoi est form de deux descripteurs lmentaires, cf. figure 7.
Descripteur 1
"de qui"
professeur X
" qui" (point de vue direct)
{Assistant Ax, Assistant Ay}
"mthode de traitement du corps 1"
lire l'information du corps 1
Descripteur 2
"de qui"
{Assistant Ax, Assistant Ay}
" qui" (point de vue indirect)
Etudiants
"mthode de traitement du corps 2"
envoyer le corps 2 aux tudiants
Figure 7. Descripteur de message
CORPS . Le corps d'un message est dfini comme une liste de corps lmentaires
reprsentant l'information "brute" transmettre. Dans notre exemple, le corps du
message envoy par l'agent professeur X est form des deux corps lmentaires
bonjour et s'annoncer chez le professeur X.
1.9
Le filtre de rception de la primitive csReceive permet par exemple d'exprimer un nonc tel que: Je ne veux recevoir de messages que par fax ou tlphone et que les messages urgents envoys par les membres de ma famille.
Les deux paramtres suivants de la primitive csReceive permettent respectivement l'agent rcepteur d'utiliser les descripteurs d'envoi pour traiter le message selon le contexte dfini par l'expditeur et d'accder l'information transmise.
2.4. Implmentation
En vue d'une implmentation des concepts CoLa, nous avons valu et utilis la
plate-forme ISIS [Birman, 1993] pour le dveloppement d'un premier prototype
CoLa sur un rseau de Suns. Actuellement, notre quipe tudie le nouveau standard MPI (Message Passing Interface) [Clarke et Glendinning, 1994]. Ce standard propose des primitives de communication et de synchronisation qui intgrent des concepts de programmation tels que la communication point--point,
les groupes de processus, les topologies de communication virtuelles, les
contextes de communication, etc. Le standard dfinit, sous formes de librairies,
essentiellement des extensions autorisant une programmation plus flexible, une
expression plus puissante et des outils permettant de structurer les mcanismes
de communication et de synchronisation.
2.5. Conclusion
Partant de la mtaphore sociale, l'objectif du modle CoLa est d'offrir au programmeur d'applications, un environnement de haut niveau permettant d'exprimer toute la coordination d'actions rendue ncessaire dans un systme rparti.
Toute la force d'un cadre conceptuel comme CoLa est que la coordination d'actions entre les agents ou processus rsolveurs de problmes peut y tre envisage
de faon trs dynamique et incrmentale en des termes trs analogues ceux de
la coopration humaine.
Cette base mtaphorique nous ouvre prsent de nombreuses voies.
Les systmes sociaux se caractrisent en effet par des composants dont les
comportements d'accommodation sont ancrs dans des boucles d'interaction rciproques entre, d'une part les composants du systme, d'autre part les composants et la totalit qu'ils forment. La modlisation de tels comportements exige
1.10
1.11
Cependant, malgr les perpectives "euphorisantes" dgages par la mtaphore sociale, celle-ci ne manque pas hlas de s'achopper quelque limite lie
au caractre symbolique des systmes auxquels elle aboutit. Comme c'est le cas
dans CoLa, elle ncessite en effet la base d'expliciter toutes les connaissances,
statiques et dynamiques, permettant de configurer un systme social performant
et robuste dans toute sa complexit.
Or la diversit d'une socit (associe d'autres facteurs tels son type d'organisation, l'adaptabilit des individus, etc) constitue un paramtre essentiel de
sa tolrance [Systmique, 1990]. Ceci s'explique intuitivement d'abord par le fait
qu'une socit peu diversifie, i.e. dont les individus sont fonctionnellement peu
diffrencis, n'offre que peu de diversit dans les rponses qu'elle peut fournir
un vnement. Or, dans certaines circonstances, le dveloppement de comportements homognes peut engendrer un effondrement massif du systme, susceptible de lui tre fatal.
En revanche, une socit constitue d'units diffrencies accrot exponentiellement son potentiel de rponses, et ce pour plusieurs raisons. Tout d'abord,
la spcialisation des composants autorise une distribution des comptences, qui
multiplie les instruments de lutte (instantane et prvisionnelle) du systme.
Ensuite, bien qu'elle n'exclue pas le risque d'effondrement en cascade, la diffrenciation fonctionnelle diminue le risque d'effondrement brutal de l'ensemble,
par une spcialisation de la vulnrabilit de ses composants. Par une organisation approprie, la diversit permet galement un systme de protger au
mieux ses constituants vitaux -s'il en existe- des agressions directes (i.e. d'viter
l'effondrement en cascade), et ainsi d'assurer avec une probabilit maximale sa
rgnration en cas de perturbation importante.
Ainsi, si l'on veut construire des systmes massivement parallles hautement
adaptatifs, la mtaphore sociale prconise qu'ils soient dots, d'une part d'une
trs grande diversit interne de composants, d'autre part d'une organisation trs
complexe.
C'est pourquoi, malgr sa pertinence et sa richesse, en raison du volume de
connaissances qu'elle exige de mettre en place, la mtaphore utilise dans CoLa
ne peut tre utilise aujourd'hui que dans la perspective d'une adaptabilit restreinte.
1.12
3.1. Introduction
Malgr sa grande expressivit et sa bonne oprationnalit, la mtaphore sociale
butte donc sur le critre d'adaptabilit requis pour des systmes massivement parallles "optimaux".
Pour pallier cette limite, l'ide est donc de rechercher, dans la profondeur des
constituants des systmes, ce qui les rend adaptatifs individuellement. L'espoir
sous-jacent cette recherche est d'exhiber un certain nombre de mcanismes qui
permettraient des systmes adaptatifs tels, une chelle collective, les systmes sociaux, ou une chelle individuelle, la cognition sur laquelle se fondent
les plus performants d'entre eux, de se constituer d'eux-mmes. A priori c'est
dans la biologie que l'on tendrait logiquement rechercher les principes fondateurs de l'adaptation. Cependant, devant les innombrables mcanismes de communication mis en vidence par les biologistes (songeons par exemple aux diffrents types de neurotransmetteurs aujourd'hui recenss1), celle-ci nous confronte
de nouveau au problme de la surabondance d'information. En fait, l'heure actuelle, seule la physique autorise quelque espoir de pouvoir cerner la dynamique
auto-organisatrice des systmes complexes par quelques lois gnrales oprant
sur un nombre limit de types d'"objets". C'est pourquoi la mtaphore physique
(voire physico-chimique) constitue probablement pour le long terme, un passage
quasi-oblig pour la ralisation de systmes vritablement adaptatifs.
En tant que composante d'une plate-forme de programmation base sur le paradigme de socit d'agents, le langage LDI, que nous prsentons maintenant, a
pour vocation d'valuer la puissance de cette mtaphore, [Ludwig et Courant,
1994], [Ludwig, 1994].
1.13
veloppe formant la frontire entre les milieux interne et externe d'un agent.
Un type de charge est caractris comme la conjonction d'un domaine de valeurs, d'un modle d'interactions externes, d'un modle d'interactions internes et
-potentiellement- d'un modle de dynamique interne (endoactions). Le modle
d'interactions externes est form de rgles d'attraction-rpulsion et d'outils spcifiant quelles sont les forces induites par les charges. Le modle d'interactions internes, assez pauvre pour l'instant, s'exprime comme un ensemble de manipulateurs permettant simplement un agent de modifier ses charges.
Endoactions
Interactions externes
Interactions internes
Milieu externe
Milieu interne
frontire d'agent
1.14
3.3. Conclusion
L'intrt de la mtaphore physique n'est plus dmontrer tant les ralisations
qu'elle a guides sont nombreuses. Citons tout d'abord le modle dfini par K.
Zeghal pour le contrle de trafic arien, trs voisin de celui qui est mis en uvre
dans LDI [Zeghal, 1993], et celui des champs de potentiels utilis par R.C.
1.15
Arkin pour la conduite de robots [Arkin, 1990]. De mme une large part de l'algorithmique sous-jacente aux images de synthse dynamiques [Magnenat et
Thalmann, 1994], ou encore de multiples exprimentations relevant de la vie artificielle s'en inspirent [Rasmussen et al., 1991]. Par rapport tous ces travaux,
la spcificit du modle prsent rside dans sa focalisation sur le problme de
l'interaction et l'explicitation de lois d'interaction qu'il prconise.
De faon gnrale, la force de la mtaphore physique repose sur la formulation de lois qui, par le biais d'un cadre conceptuel constructiviste, paraissent
aptes induire les caractristiques organisationnelles de systmes rpartis performants et rsistants. Or les exprimentations que nous avons menes avec LDI
font apparatre diffrents lments de conclusion positifs cet gard.
Le premier concerne la transversalit des lois: nous avons vu comment des
lois orientes a priori vers des systmes physiques, s'avrent finalement utilisables pour modliser des phnomnes d'un tout autre ordre, notamment des
comportements sociaux ou cognitifs. De ce fait, la mtaphore physique dbouche sur des outils immdiatement intgrables des systmes qui, tels CoLa,
drivent de la mtaphore sociale, moyennant bien sr que l'unification de mcanismes d'interaction et de communication dans un mme systme soit rsolue.
Le deuxime concerne la diversit de constituants. La mtaphore physique
donne un embryon de rponse ce problme: dans la mesure o les agents sont
situs dans un espace physique, ceux-ci se trouvent de fait diffrencis par leurs
positions et contextes respectifs. Cette diffrenciation, certes lmentaire, peut
constituer l'amorce d'une diffrenciation plus pousse.
Enfin, la mtaphore physique appelle un niveau de description trs bien appropri pour la mise en uvre du principe d'antagonisme, [Lupasco, 1987], [Le
Peutrec et Courant, 1994]. Or ce principe, d S. Lupasco, constitue peut-tre
une cl donnant accs toutes les proprits "intressantes" des systmes vivants, en particulier l'adaptabilit comme la "crativit" des systmes sociaux et
cognitifs. Selon ce principe, tout systme rsulte, non seulement d'une loi
d'"homognisation" visant faire perdurer le systme, mais fondamentalement
de l'existence d'un couple de forces opposes, l'une homognisante, l'autre htrognisante. Basiquement, la dynamique de tous les systmes est ancre dans la
drive entropique laquelle les soumet le deuxime principe de la thermodynamique. L'intrt majeur du cadre conceptuel difi par Lupasco est qu'il conduit
une vision unifie des stratgies de routines et des comportements exceptionnels. En ce sens, il est apte combler l'une des failles les plus importantes des
systmes artificiels actuels: supporter le dveloppement de comportements la
fois adaptatifs et performants. Il nous parat donc essentiel d'en trouver une formulation oprationnelle pour les systmes massivement parallles.
Par le biais d'un mcanisme d'actualisation/potentialisation base de
charges, la version actuelle de LDI doit pouvoir supporter une premire mise en
uvre du principe de Lupasco. Cependant, une mise en uvre plus exacte doit
rendre compte du fait que les lois de l'auto-organisation et de l'adaptation sont
1.16
rechercher dans une physique beaucoup plus fine que celle utilise dans LDI. En
fait, le principe d'antagonisme suggre de descendre jusqu'aux changes
d'nergie pour laborer des lois mme d'engendrer l'"intelligence collective".
C'est du reste aussi la piste que nous indique la physique, quand elle-mme ne
cesse de multiplier les modes d'interactions considrer au fur et mesure
qu'elle descend plus profondment dans la matire.
Autrement dit, alors que la mtaphore sociale trouvait sa limite dans l'impossibilit d'expliciter l'infiniment grand, la mtaphore physique nous oblige elle
aussi descendre dans l'infiniment petit, vers les interactions quantiques gouvernant les particules, les quarks, etc.
4. Mtaphore physico-sociale
et abstraction dans ARME
Aprs avoir successivement explor les deux plans, social et physique, de la figure 2, nous abordons maintenant l'espace inter-plans travers la prsentation
du systme d'abstraction symbolique ARME.
4.1. Introduction
Comme l'ont illustr les paragraphes prcdents, les mtaphores sociale et physique ont chacune leurs avantages et leurs limitations. L'idal est donc de pouvoir exploiter l'une sans pour autant renoncer l'autre: configurer le plus possible les systmes partir de lois (gnratives) simples, tout en les faonnant en
termes symboliques conformment notre vision des problmes et des mthodes
leur appliquer. La rconciliation des deux approches n'est cependant pas triviale: sur elle repose en fait probablement tout l'difice de l'IA future, dans la
dimension collective que lui confre l'ancrage physico (-biologique) de la cognition et de l'organisation sociale, c'est--dire la vie artificielle. Les problmes
qu'elle soulve sont ceux invitablement poss par la maintenance de deux systmes de description relatifs une mme "ralit". Les relations inter-plans de la
figure 2 peuvent tre envisages de deux faons:
-
Bien qu'il constitue encore l'une des pierres d'achoppement de la vie artificielle, le point qui ce jour parat le plus accessible dans le cadre de cette problmatique concerne le lien ascendant reliant le plan physique avec le plan
1.17
4.2.1. Modle
Le rseau utilis est une variante du modle labor par N. Ide et J. Vronis pour
la dsambiguisation [Ide et Vronis, 1991]. Les nuds du rseau sont des neurones formels seuils. Ces nuds reprsentent les entres du dictionnaire
(nuds-mots) et leurs diffrentes significations (nuds-sens). Des liens activateurs (munis de poids >0) relient tout nud-mot aux nuds reprsentant ses diffrents sens et tout nud-sens aux mots formant sa dfinition. Des liens inhibiteurs (munis de poids <0) modlisent la comptition entre les diffrents sens
d'un mot.
4.2.2. Mthode
Une analyse linguistique, pour l'instant relativement sommaire, extrait d'un texte
en entre un ensemble d'units lexicales significatives. Cet ensemble induit une
activation initiale dans le rseau. L'algorithme de propagation d'activation procde alors en deux phases: une phase d'expansion, o chaque nud diffuse son
nergie activatrice ses voisins, puis une phase de concentration, au cours de laquelle s'ajoute l'effet d'une fonction de dgnrescence de l'activit des nuds.
La figure 9 illustre le comportement de l'algorithme par un zoom sur une rgion
du rseau.
1 en l'occurrence l'Oxford Advanced Learner's Dictionary, version 4.
1.18
fear/4
death/2
fear/3
death
fear/2
death/3
power
fear/1
power/14
fear
death/1
death/4
evil
fear/6
fear/5
evil/1
bad
black/9
black
dark/3
dark/2
bad/3
moral
dark/7
dark
dark/6
dark/1
dark/4
dark/5
4.3. Conclusion
Le problme de l'mergence suscite un grand intrt actuellement, que ce soit
dans le domaine de la liaison subsymbolique-symbolique vise dans ARME,
celui des plate-formes plusieurs niveaux pour la vie artificielle, [Cazoulat et
Victorri, 1994], des automates hyper-cellulaires, etc.
Etant donn les contraintes d'interprtabilit des rsultats inhrentes l'application, la formulation du problme abord dans ARME est relativement simple
et le substrat ractif symbolique utilis sans fondement biologique. Cependant,
nous considrons qu'un tel substrat demeure un terrain privilgi pour l'exprimentation de diffrentes dynamiques.
Ainsi, aprs une premire phase d'exprimentation avec un algorithme d'abstraction par cheminement simple travers le rseau, sommes-nous en mesure
d'envisager diffrents raffinements. La premire extension prvoir consiste
d'abord en l'adjonction d'un effet de rtro-action, par une rediffusion de l'activation accumule dans les concepts abstraits dans leur voisinage et en particulier
les nuds qui les avaient stimuls. Combine avec un effet de seuil, ce retour
d'activation opre un couplage des entres via les concepts abstraits auxquels ils
sont lis [Vmos, 1994]. L'algorithme de propagation d'activation devient donc
systolique et la modlisation de l'abstraction qu'il induit fonde sur des phnomnes de priodicit et de synchronicit. Ainsi tendu, le modle devient beaucoup plus intressant d'un point de vue physiologique et psychologique que le
modle initial.
Prcisons enfin que si pour des raisons de complexit, le substrat ractif utilis dans A RME est un rseau de neurones formels, la connexion entre une telle
description et le modle physique utilis dans LDI par exemple, ne pose pas de
problme majeur.
1.19
5. Conclusion
Nous avons dcrit une approche mtaphorique de l'IAC base sur les archtypes
de systme social et physique, destine tirer parti des architectures massivement parallles MIMD, avec pour perspective que les trois mtaphores, considres ce jour isolment pour des raisons mthodologiques, puissent
(relativement long) terme tre runies.
Avec l'exemple de CoLa, nous avons vu comment la mtaphore sociale peut
constituer la trame de systmes parallles dj relativement complexes. Avec
LDI, nous avons ensuite montr comment la mtaphore physique vient, par la
formulation de lois gnrales, au secours des limitations des systmes symboliques. Nous avons vu que par l'une ou l'autre voie, la complexit est en dfinitive incontournable. Par consquent, tout nous incite tenter de relier les deux
modes de descriptions - respectivement local et global- associs aux deux mtaphores.
Ds prsent, la superposition d'un modle physique d'interaction, tel celui
de LDI, avec le modle ractif neuronal utilis dans ARME ne parat pas inaccessible. De mme, le lien vertical ascendant (d'abstraction structurelle ou
d'mergence) abord dans ARME, est une tentative de connexion des deux
plans de la figure 2. Seul le lien vertical descendant reste, notre connaissance,
trs peu tudi pour l'instant. En fait, outre la difficult technique indniable
dont il s'accompagne, nous n'excluons pas que l'obstacle majeur son investigation soit plutt une difficult conceptuelle, voire philosophique. Car si le
constructivisme a conquis nos esprits et nous permet d'apprhender le lien ascendant en toute quitude [Brooks et Stein, 1993], le lien descendant matrialise
une dpendance beaucoup moins usuelle. Il reprsente en quelque sorte la puissance (re-)formatrice de l'organisation et des symboles, [Varela, 1989], [Courant
et Le Peutrec, 1993]. Son existence nous oblige donc reconnatre l'autonomie
des concepts, [Bura, 1994], [Stewart, 1994], en leur confrant un rle
symtrique par rapport aux constituants matriels: les uns et les autres
contribuent galement la description comme la construction des systmes.
C'est pourquoi, en dfinitive, le schma de la figure 2, n'est autre que celui
d'un systme auto-rfrentiel [Baecker, 1994]: un systme interagissant, la fois
immerg dans le monde physique et dans le monde des concepts, et se rfrant
tantt l'une tantt l'autre partie de sa propre reprsentation. C'est au lien descendant demeur en suspens qu'appartient la fermeture du schma. A l'inaccessibilit de l'infiniment grand et l'infiniment petit, rpond la circularit. Cette
boucle, qui ralise donc la fois l'auto-rfrence et l'ancrage physico-biologique
de la cognition individuelle et collective, contient le but ultime de l'I.A. technologique: construire des systmes artificiels adaptatifs conformment aux systmes vivants de faon tablir entre eux la complicit dont se nourriront leurs
interactions mutuellement cooprantes.
1.20
Remerciements
Les travaux relats ici tant bien entendu le fruit de synergies, collectives et
individuelles, nous tenons remercier toutes les personnes qui y ont contribu,
notamment F. Buchs, G. Goy, M. Ludwig, O. Krone, S. Le Peutrec, C. Renevey,
K. Stoffel et B. Vauthey.
Bibliographie
[Aguilar et Hirsbrunner, 1994] Marc Aguilar, Bat Hirsbrunner: "Post: A New Postal
Delivery Model". Working Conference on Programming Environments for
Massively Parallel Distributed Systems, IFIP WG 10.3, Ascona, Switzerland,
April 25-29, 1994, pp. 23.1-23.7.
[Arkin, 1990] Ronald C. Arkin: "Integrating Behavioral, Perceptual and World
Knowledge in Reactive Navigation". Robotics and Autonomous Systems, vol. 6,
1990, pp. 105-122.
[Baecker, 1994] Dirk Baecker: "The Intelligence of Ignorance in Self-referential
Systems". In Robert Trappl (editor): "Cybernetics and Systems '94", Vol. II,
World Scientific Publishing, 1994, pp. 1555-1562.
[Ballim et Wilks, 1991] Afzal Ballim, Y. Wilks: "Artificial Believers. The Ascription of
Belief". Lawrence Erlbaum Associates, 1991.
[Birman, 1993] K. Birman: "The Process Group Approach to Reliable Distributed
Computing". Communications of the ACM, vol. 36, n 12, 1993, pp. 37-53.
[Brooks et Stein, 1993] Rodney A. Brooks, Lynn A. Stein: "Building Brains for Bodies".
A.I. Memo n 1439, MIT, 1993.
[Bura, 1994] Stphane Bura: "De la vie et de la mort dans l'idosphre". In E. Bonabeau,
T. Fuhs (eds): "Autonomie et Interactions Fonctionnelles", Actes des Journes de
Rochebrune, Editions Herms, 1994.
[Cazoulat et Victorri, 1994] Renaud Cazoulat, Bernard Victorri: "Comment une socit
d'agents autonomes peut-elle s'organiser". In E. Bonabeau, T. Fuhs (eds):
"Autonomie et Interactions Fonctionnelles", Actes des Journes de Rochebrune,
Editions Herms, 1994.
[Clarke et Glendinning, 1994] Lyndon Clarke, Ian Glendinning: "The MPI Message
Passing Interface". Working Conference on Programming Environments for
Massively Parallel Distributed Systems, IFIP WG 10.3, Ascona, Switzerland,
April 25-29, 1994, pp. 21.1-21.6.
[Courant et al., 1994] Michle Courant, Bat Hirsbrunner, Kilian Stoffel: "Managing
Entities for an Autonomous Behaviour". In Nadia Magnenat-Thalmann and
Daniel Thalmann (Eds): "Artificial Life and Virtual Reality", John Wiley, 1994.
[Courant et Le Peutrec, 1993] Michle Courant, Stphane Le Peutrec: "Autonomie des
systmes vivants: une autre approche de l'information et de la connaissance".
1.21
1.22