Vous êtes sur la page 1sur 22

1

Le dfi des architectures


parallles l'I.A.:
La dimension collective de
l'intelligence
Marc Aguilar, Michle Courant, Bat Hirsbrunner

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

Le dfi des architectures parallles l'I.A.

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.

M. Aguilar, M. Courant et B. Hirsbrunner

1.3

Figure 1. Insparabilit des composants d'un systme rparti

du contrle fragilise normment le systme, ce qui diminue sa longvit.


L'intelligence d'un systme rparti doit donc imprativement se nourrir d'une
certaine capacit d'accommodation de ses composants. Seule une telle capacit
peut constituer les mcanismes rgulateurs mme d'assurer l'optimalit comportementale du systme sur une chelle temporelle.
Pour aborder la notion d'optimalit en ces termes, la complexit des systmes
rpartis hautement adaptatifs motivs par l'utilisation des architectures MIMD
appelle donc un renouveau paradigmatique. Pour ce faire, la mtaphore constitue
un premier outil. Le schma de la Figure 2 montre comment les archtypes de
systme social et systme physique ainsi que leur interconnexion, constituent
pour nous un fondement de la problmatique de l'Intelligence Artificielle
Collective (IAC).
Plan social
socit

interactions

Plan physique

Figure 2. Approche mtaphorique de l'IAC


Plan social: Interactions de type coordination d'actions (CoLa);
Plan Physique: Interactions base de forces (LDI);
Espace inter-plans: Interactions de type abstraction (ARME).

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

Le dfi des architectures parallles l'I.A.

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

M. Aguilar, M. Courant et B. Hirsbrunner

1.5

un modle de distribution de courrier postal [Aguilar et Hirsbrunner, 1994] et


supportant des stratgies d'quilibrage dynamique de charge [Stoffel et al.,
1993].

2.2. Modle de coordination CoLa


2.2.1. Localit
Une application CoLa est une collection d'agents indpendants et autonomes qui
cooprent en s'changeant des connaissances. En se librant de la notion d'tat
global du systme, CoLa utilise le concept de localit comme fondement paradigmatique. Ce choix entrane que chaque agent du systme n'a qu'une perception locale de son entourage, c'est--dire des autres agents du systme.

2.2.2. Correspondant, champ de vision et point de vue


Tout agent avec lequel un agent A peut changer des connaissances est appel
un correspondant de A. L'ensemble des correspondants de A est appel le
champ de vision de A. Ce champ de vision est dynamique, c'est--dire susceptible d'voluer au cours du temps. La notion de correspondant est unidirectionnelle, c'est--dire strictement rattache un agent.
Le champ de vision d'un agent peut tre structur, c'est--dire qu'un agent
peut dfinir des points de vue sur les correspondants constituant sa vision locale. Les points de vue ne sont pas exclusifs, autrement dit un correspondant
peut appartenir plusieurs points de vue. CoLa permet galement qu'un agent se
constitue comme correspondant de lui-mme de faon pouvoir tre membre de
ses propres points de vue, cf. figure 3.
Les points de vue sont spcifis par le biais de mthodes. Comme outils de
base, CoLa met disposition du programmeur une librairie de mthodes lmentaires permettant de dfinir et de construire des points de vue sur les correspondants. Cette approche est modulaire et incrmentale dans le sens que l'utilisateur
peut dfinir lui-mme de nouvelles mthodes et ainsi modifier la construction
des points de vue par un agent.

Agent A
champ de vision

points de vue

correspondants

Figure 3. Champ de vision, points de vue et correspondants d'un agent A

1.6

Le dfi des architectures parallles l'I.A.

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:
-

le diffuseur ou le filtre, selon qu'il s'agit d'un envoi ou d'une rception de


message;
le descripteur d'envoi ou de rception du message;
le corps reprsentant l'information "brute" qui est transmise.

CoLa propose deux primitives pour la communication, l'une pour les envois
et l'autre pour la rception de messages:
-

csSend(diffuseur, descripteur d'envoi, corps);


csReceive(filtre, descripteur de rception, corps).

M. Aguilar, M. Courant et B. Hirsbrunner

1.7

diffuseur, filtre
descripteur
corps

Figure 4. Structure d'un message CoLa

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

2.3.1. Envoi de message


A l'envoi, le programmeur fournit la primitive csSend trois paramtres: le diffuseur, le descripteur d'envoi et le corps du message.
DIFFUSEUR. L'expditeur d'un message peut spcifier le protocole (tlphone,
fax, courrier lectronique, lettre, etc.) selon lequel il dsire transmettre le message aux destinataires. Cette spcification est ralise par le biais du diffuseur.
Les diffuseurs sont dfinis partir de librairies de mthodes mises disposition
de l'utilisateur par CoLa. L'utilisateur peut galement dfinir ses propres diffuseurs. De mme que pour les corps et les descripteurs de messages, le diffuseur
peut consister en une liste de diffuseurs lmentaires dont les lments correspondent aux corps lmentaires du message transmettre. Dans notre exemple,
les diffuseurs lmentaires sont donns par la figure 6.
Diffuseur 1
Diffuseur 2

courrier lectronique
oralement

Figure 6. Diffuseur de message

1.8

Le dfi des architectures parallles l'I.A.

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.

2.3.2. Rception de message


Pour la rception d'un message, le programmeur CoLa fait un appel la primitive csReceive et fournit les trois paramtres suivants: (1) un filtre de rception
(2) un identificateur dsignant l'espace mmoire pour recevoir le descripteur
d'envoi et (3) un identificateur dsignant l'espace mmoire pour recevoir le corps
du message.
Le filtre de rception permet au destinataire de procder une rception slective de l'information. Il est compos de deux champs:
-

Le point de vue dans lequel le destinataire veut recevoir l'information: ce

M. Aguilar, M. Courant et B. Hirsbrunner

1.9

champ permet de slectionner les correspondants destinataires desquels


l'agent veut recevoir un message. Cette dsignation peut consister soit en
un point de vue, soit directement en un ensemble de correspondants;
La dsignation d'un ensemble de protocoles de rception (fax, tlphone,
lettre, etc.).

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

Le dfi des architectures parallles l'I.A.

donc la reprsentation de connaissances d'ordre suprieur (par exemple lorsqu'un


agent A1 prend une dcision dans laquelle il tient compte de ce qu'il "croit" que
sera la raction de l'agent A2 l'issue de cette action), et conscutivement une
profondeur variable des raisonnements. Or, nous savons bien (la socit
humaine en tmoigne tous les niveaux !) que ces mcanismes peuvent
engendrer des "cercles vicieux" [Ballim, 91] qui sont prcisment les cueils des
comportements "volus". Ce sont par exemple des situations de malentendus,
telles la suivante, o deux agents entretiennent mutuellement les illusions qu'ils
se font l'un sur l'autre:
- Un agent A1 effectue l'action B, bien qu'il sache que l'action C soit plus
adquate. Mais il s'attend ce que s'il propose C, son coquipier A2 lui
demande de prendre tellement de prcautions que cette solution C perdrait tout son intrt. Vu l'urgence de la situation, l'agent A2 accepte l'action C, tout en pensant qu'il s'agit d'un moindre mal...
Dans un systme rparti, dont les composants travaillent et raisonnent en
grande partie localement, les agents sont ainsi ncessairement amens taire
certaines informations. De fait, ils deviennent invitablement tous la fois ignorants et menteurs. Ceci engendre des phnomnes de "drive comportementale",
source d'inefficacit pour l'ensemble du systme. Ces phnomnes, qui se manifestent par des comportements collectifs excessivement stables, sont directement
lis l'aptitude aux comportements routiniers.
C'est ainsi que l'intelligence artificielle empruntant la mtaphore de la socit
humaine pour accder la dimension collective ne peut probablement pas
chapper devoir aussi gurir les maux de l'accommodation conscutifs sa dimension cyberntique. Autrement dit, elle dbouche notamment sur des systmes dots d'importants "quipements" thrapeutiques (agents spcialiss dans
la dtection des dysfonctionnements, leur diagnostic et leur thrapeutique, etc...)
ddis aux diffrents niveaux d'organisation. Le problme rside dans la croissance exponentielle de ce type d'quipement, avec le degr d'organisation d'un
systme.
Par consquent, la mtaphore sociale nous confronte toute une gamme de
problmes, jusqu'ici trs peu abords en I.A., notamment celui de l'volution
(cycles stables rompus par des catastrophes) [Thom, 1991], et celui de l'quilibre
entre les comportements routiniers et exceptionnels, voire "cratifs".
A ct de cela, heureusement, bon nombre des outils appels par l'IAC sont
d'ores et dj disponibles: des modles sophistiqus d'accointances, de croyance
et de ngociation ont par exemple fait l'objet de nombreux travaux. Nanmoins,
leur intgration massive amorce vraisemblablement un saut qualitatif trs important. En outre, stimul par les architectures massivement parallles, le niveau adjacent au logiciel de base vis dans CoLa par exemple, montre que les concepts
ns de l'IA descendent d'un cran dans la structure en couches des machines. Une
telle descente modifie en fait profondment le concept de machine et prsage
aussi une importante mutation.

M. Aguilar, M. Courant et B. Hirsbrunner

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.

3. Mtaphore physique et systmes d'agents ractifs


Nous nonons maintenant quelques motivations pour une exploration de la
mtaphore physique. Nous en donnons ensuite une illustration dans le cadre des
systmes d'agents ractifs. Nous concluons par une discussion sur les avantages
et les limites de cette approche.

1.12

Le dfi des architectures parallles l'I.A.

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].

3.2. Modle d'interactions


Le langage LDI est ddi la spcification des interactions gouvernant la dynamique d'un systme d'agents ractifs autonomes [Courant et al., 1994]. Les
agents sont supposs situs et la notion mme d'agent est considre comme un
concept essentiellement spatial, cf figure 8. Except ces contraintes de base, le
modle sous-jacent LDI supporte a priori diffrents modles d'agents. Les
agents peuvent tre aussi bien des machines squentielles, que des rseaux de
neurones formels ralisant des mmoires associatives, ou des systmes dclaratifs par exemple.
Inpir par une physique nave, le modle LDI prconise une dynamique base sur une notion de charge, analogue la notion de charge lectrostatique, et
ramene des lois trs simples d'attraction-rpulsion. Les charges sont dfinies
comme des objets typs, instances de types de charge. Elles constituent une en1 Chez l'homme, leur nombre avoisine bientt la centaine !

M. Aguilar, M. Courant et B. Hirsbrunner

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

Figure 8. Notion d'agent

Formellement, un type de charge est dfini par:


1. Son domaine d'intensit, compos d'un signe, normalement bivalent, et d'un
domaine d'intensits absolues. Ce domaine sera par exemple [0, +[ dans le
cas d'un modle continu, et {0, +} dans le cas d'un modle avec quanta.
2. Son protocole d'interaction externe, qui spcifie les lois d'attraction/rpulsion gouvernant les instances du type depuis le milieu externe.
Pour un signe bivalent, nous aurons par exemple typiquement des rgles
telles que:
(R1) Des signes identiques s'attirent, des signes opposs se repoussent.
(R2) Des signes identiques se repoussent, des signes opposs s'attirent.
3. Sa fonction de propagation, qui spcifie comment une charge est propage,
c'est--dire attnue ou intensifie, dans l'environnement.
4. Sa fonction de force, qui spcifie quelle est la force induite sur une charge
situe en un point P1, par une charge du mme type situe en un point P2.
5. Sa fonction de composition, qui spcifie en terme de somme vectorielle,
quelle est la force totale qui s'exerce sur une charge par toutes les charges de
mme type portes par les autres agents.
6. Ses manipulateurs, qui spcifient l'interface d'un agent avec sa charge
depuis son milieu interne, en l'occurrence comment il peut agir sur elle.

1.14

Le dfi des architectures parallles l'I.A.

L'existence d'un ou de plusieurs manipulateurs associs un type de charge


indique que la dynamique d'un systme d'agents peut s'exprimer par une
dynamique de charges. En revanche, l'absence de tout manipulateur associ
un type de charge indique des charges fixes. La dynamique induite par ces
charges au niveau du systme d'agent rsulte donc uniquement du
mouvement des agents sous l'effet des forces qui s'exercent sur eux.
Ainsi dfini, le modle autorise un trs grand nombre de modes d'interaction
possibles entre les agents. Le protocole d'interaction permet tout d'abord d'induire des phnomnes de classement (cf. rgle R1) ou des phnomnes d'accouplement (cf. rgle R2)).
La fonction de propagation autorise ensuite une multitude de variantes. Elle
peut par exemple tre paramtre par la distance seule, dans le cas d'une charge
se propageant uniformment travers tout l'espace, ou bien tre module par un
paramtre de position. Des charges dont l'influence crot ou dcrot avec la distance peuvent galement tre dfinies: ceci permet de retrouver des modes d'interaction par ondes sonores, ou par diffusion de facteurs chimiques.
LDI autorise l'introduction de diffrents types de charges dans un systme
d'agents de faon ce que la dynamique globale du systme soit entirement rgie par l'action concurrente des charges. Cette dynamique rsulte conjointement
du dplacement des agents sous l'influence des forces exerces sur eux par les
autres agents chargs, et d'une dynamique interne des agents pouvant agir sur
leurs charges.
Bien que relevant d'une physique lmentaire, LDI se rvle en fait tonnamment puissant par la varit des interprtations auxquelles il se prte, que ce
soit pour capter certains aspects adaptatifs de la cognition, pour formuler en
termes ractifs des problmes d'vitement d'obstacles en robotique, ou pour reformuler de faon concise la rsolution de problmes tels que la coloration de
graphe, les puzzles, etc.
La puissance d'expression obtenue s'tend donc bien au-del de la sphre
physique dont elle est issue. Le modle permet y compris de capter des phnomnes sociaux, telle l'aggrgation due des lois telles que "plus un individu
s'loigne de son nid, plus il aspire y retourner". Notons que combine avec
d'autres lois (par exemple des lois induisant l'attraction d'agents rsolveurs de
problmes vis--vis des problmes qu'ils savent rsoudre), une telle loi peut
gouverner la migration dans un systme rparti.

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.

M. Aguilar, M. Courant et B. Hirsbrunner

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

Le dfi des architectures parallles l'I.A.

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:
-

Dynamiquement: en termes d'interactions entre les deux plans, avec un


lien ascendant reprsentant l'mergence (ou potentialisation) des structures et un lien descendant reprsentant une sorte de "projection structurante" (ou actualisation des structures);
Statiquement: en termes de contraintes d'intgrit.

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

M. Aguilar, M. Courant et B. Hirsbrunner

1.17

social (ou cognitif), autrement dit l'mergence de structures (ou de symboles)


[Grumbach, 1993]. Le projet ARME aborde cette question avec un systme
d'abstraction oprant sur un substrat massivement parallle constitu d'agents
ractifs.

4.2. Abstraction dans ARME


Le systme ARME (Aide au Raisonnement en HOMopathie) a pour but de
mettre en vidence certaines potentialits du paralllisme massif quant la modlisation d'aptitudes cognitives [Vauthey et Courant, 1993]. Le substrat ractif
choisi consiste en un grand rseau de neurones formels. L'application concerne
le traitement de la langue naturelle et le raisonnement, avec pour finalit d'abstraire des textes, en l'occurrence des chapitres de matires mdicales homopathiques (recueils de descriptions cliniques), par des schmas conceptuels.
Dans ARME, l'abstraction rsulte d'interactions entre les units significatives du texte (les mots) dans un environnement linguistique donn (la langue).
L'environnement linguistique servant de cadre au raisonnement est modlis par
un rseau smantico-neuronal automatiquement driv d'un dictionnaire1
[Vronis et Ide, 1993]. Les interactions sont modlises par une dynamique de
connexionniste, qui concentre l'activation dans certaines rgions du rseau reprsentant les schmas conceptuels recherchs.

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

Le dfi des architectures parallles l'I.A.

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

Figure 9. Activation gnre depuis "fear", "death" et "dark"


par la symptomatologie psychique d'Arg-n

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.

M. Aguilar, M. Courant et B. Hirsbrunner

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

Le dfi des architectures parallles l'I.A.

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".

M. Aguilar, M. Courant et B. Hirsbrunner

1.21

Institut d'informatique de l'universit de Fribourg, Publication interne n 38, aot


1993.
[Grumbach, 1993] Alain Grumbach: "Gense du symbole artificiel". Technique et
Science Informatiques, vol. 12, n 3, Editions Afcet/Herms, 1993.
[Hirsbrunner et al., 1994] Bat Hirsbrunner, Marc Aguilar, Oliver Krone: "CoLa: A coordination language for massive parallelism". ACM Symposium on Principles of
Distributed Computing (PODC), Los Angeles, August 14-17, 1994.
[Ide et Vronis, 1991] Nancy M. Ide, Jean Vronis: "Utilisation de grands rseaux de
neurones pour la dsambiguisation lexicale". Actes du 1er sminaire de smantique lexicale du GDR Greco Communication Homme machine, IRIT, Toulouse,
Janvier 1991.
[Ludwig, 1994] Michel Ludwig: "Conception et Ralisation d'un Langage de Description
d'Interactions pour des Systmes d'Agents Autonomes". Thse de Doctorat s
Sciences Informatiques de l'Universit de Fribourg (Suisse), 1994.
[Ludwig et Courant, 1994] Michel Ludwig, Michle Courant: "Modelling interactions
between autonomous agents". 1994 International System Dynamics Conference,
Stirling (UK), July 11-15, 1994.
[Lupasco, 1987] Stphane Lupasco: "L'nergie et la matire vivante". Editions Le
Rocher, 1987.
[Magnenat et Thalmann, 1994] Nadia Magnenat-Thalmann and Daniel Thalmann (Eds):
"Artificial Life and Virtual Reality". John Wiley, 1994.
[Le Peutrec et Courant, 1994] Stphane Le Peutrec, Michle Courant: "Living System
Dynamics: A New Approach for Knowledge Representation". 1994 International
System Dynamics Conference, Stirling (UK), July 11-15, 1994.
[Le Peutrec et Robin, 1993] Stphane Le Peutrec, Sophie Robin: "Mcanismes d'abstraction dans une reprsentation de connaissances centre objet". Rapport de recherche INRIA, n 1840, janvier 1993.
[Rasmussen et al., 1991] Steen Rasmussen, Carsten Knudsen, Rasmus Feldberg:
"Dynamics of Programmable Matter". In "Artificial Life II", SFI Studies in the
Sciences of Complexity, vol. X, edited by C.G. Langton, C. Taylor, J.D. Farmer,
& S. Rasmussen, Addison-Wesley, 1991.
[Stewart, 1994] John Stewart: "L'enracinement biologique de la cognition: des consquences pour la conceptualisation des reprsentations et de la facult de langage".
in E. Bonabeau, T. Fuhs (eds): "Autonomie et Interactions Fonctionnelles", Actes
des Journes de Rochebrune, Editions Herms, 1994.
[Stoffel et al., 1993] Kilian Stoffel, Ian LAW, Bat Hirsbrunner: "Fuzzy Logic Controlled
Dynamic Allocation System". IJCAI'93, 13th International Joint Conference on
Artificial Intelligence, Chambry, France, August 28 - September 3, 1993, pp.
104-109.
[Systmique, 1990] "Actes de l'cole de systmique de l'Afcet/Gesta". Solignac, 1990.
[Thom, 1991] R. Thom: "Stabilit structurelle et morphogense". InterEditions, 1991.

1.22

Le dfi des architectures parallles l'I.A.

[Vmos, 1994] T. Vmos: "Pattern Representation of Knowledge". In Robert Trappl


(editor): Cybernetics and Systems '94, vol. II, World Scientific Publishing, 1994,
pp. 1863-1870.
[Varela, 1989] Francisco J. Varela: "Autonomie et connaissance, Essai sur le vivant".
Editions du Seuil, 1989.
[Vauthey et Courant, 1993] Barbara Vauthey, Michle Courant: "Complex Reasoning
using a large knowledge base". Internal report n 93-11, IIUF, Universit de
Fribourg, 1993.
[Vronis et Ide, 1993] Jean Vronis, Nancy Ide: "Acquisition de connaissances dans des
dictionnaires: une valuation". Revue d'Intelligence Artificielle, Vol. 7, n 21,
1993.
[Zeghal, 1993] Karim Zeghal: "Un modle de coordination d'actions pour agents mobiles
ractif et dcentralis". Rapport de Recherche Laforia n 93/41, 1993.