|
|
|
|
Subject: TR: Appel à communication des JFIADSMA'20 01
From: Amblard Frederic (frederic.amblard@CLERMONT.cemagref.fr)
Date: lun fév 05 2001 - 13:35:58 CET
-----Message d'origine-----
De : Amal El Fallah Seghrouchni [mailto:elfallah@lipn.univ-paris13.fr]
Envoyé : lundi 5 février 2001 13:32
À : rochebrune@bat710.univ-lyon1.fr; sma@loria.fr; Amal El Fallah
Seghroucni
Objet : Appel à communication des JFIADSMA'2001
_____________________________________
Toutes nos excuses pour les réceptions multiples
_____________________________________
**********************************************************
Appel à communication des 9èmes Journées Francophones en
Intelligence Artificielle Distribuée et Systèmes Multi-Agents 2001
12--14 Novembre 2001 - Montréal - Québec
**********************************************************
Sous l'égide du Collège « Systèmes Multi-Agents » de l'AFIA (Association
Française d'Intelligence Artificielle).
Site Web des Journées : http://www.crim.ca/jfiadsma_2001/
Présentation des journées
--------------------------
Les Journées Francophones en Intelligence Artificielle Distribuée et
Systèmes Multi-Agents (JFIAD&SMA)
sont un forum d'échange privilégié entre chercheurs issus de communautés
scientifiques aussi diverses que
l'intelligence artificielle, la vie artificielle, les sciences humaines,
les systèmes distribués ou le génie logiciel.
Ces journées se sont tenues successivement à Toulouse (1993), Grenoble
(1994), Chambéry (1995), Port Camargue
(1996), Nice (1997), Nancy (1998), L'Ile de la Réunion (1999) et
Saint-Etienne (2000).
Pour leur neuvième édition, les JFIAD&SMA'2001 se tiendront à Montréal
- Québec du 12 au 14 Novembre 2001.
Comme pour l'Ile de la Réunion, les organisateurs déploient de grands
efforts pour que le coût de participation à
la conférence soit largement accessible.
Dates importantes
--------------------------
Date limite de soumission : 25 Mai 2001
Notification aux auteurs : 6 juillet 2001
Réception des versions définitives : 15 Septembre 2001
Dates des Journées : 12, 13 et 14 Novembre 2001
Appel à communication des JFIAD&SMA'2001
--------------------------------------------------
La recherche dans le domaine des systèmes multi-agents (SMA) prend de
plus en plus d'ampleur, en particulier
grâce à l'émergence dans le domaine de nouvelles technologies de
systèmes à base d'agents logiciels. Ces agents
offrent des modèles de coopération et de coordination qui font leur
succès. Ils constituent également un nouveau
paradigme de développement logiciel d'applications distribuées ouvertes
et adaptables.
Pour leur neuvième édition, les JFIAD&SMA sont placées sous le thème «
Fondements des Systèmes Multi-Agents : Modèles,
Spécifications formelles et Vérification ».
Nous sollicitons des contributions originales qui proposent des modèles
pour les SMA (ou enrichissent des modèles
existants) et qui traitent des aspects sémantiques, de spécifications
formelles et/ou de validation tout en tenant
compte des caractéristiques des SMA (e.g. concurrence, coopération et
interaction).
Nous encourageons également les articles qui illustrent les fondements
théoriques par des réalisations pratiques dans
le domaine de l'ingénierie de systèmes complexes ou dans le cadre
d'applications émergentes autour d'Internet : la recherche
intelligente d'information, le commerce électronique, les agents
mobiles, etc. Les démonstrations décrivant des applications
significatives permettant de nourrir la réflexion autour des thèmes de
ces journées seront également les bienvenues.
Les contributions et les expérimentations pluridisciplinaires
participent, comme à l'accoutumée, à l'enrichissement de ces
journées et seront appréciées.
Ces Journées, comme les précédentes, seront placées sous le signe de
l'échange, de la convivialité et de l'ouverture vers
d'autres disciplines, vers les entreprises et les organismes de
recherche privés. Nous reconduisons donc l'intéressante
démarche des journées 2000 qui a associé des démonstrations d'outils
logiciels aux présentations scientifiques et techniques,
illustrant ainsi le savoir et le savoir-faire de la communauté «
IAD&SMA» francophone, en matière de conception et
développement de SMA.
Description des principaux sous-thèmes
----------------------------------------
1) Modèles pour les SMA
----------------------------
Les aspects formels et conceptuels des SMA doivent beaucoup à
l'informatique, la biologie, la sociologie, l'économie, etc.
Cependant, la spécificité et la complexité de ces systèmes soulèvent
une problématique dépassant le cadre des disciplines
dont ils s'inspirent. Nous encourageons les soumissions qui mettent en
évidence les spécificités de la problématique SMA
et qui proposent des modèles formels pour les appréhender. A titre
indicatif mais non limitatif, citons :
- Les modèles et langages d'interaction : quels modèles pour quelles
interactions ? Peut-on se contenter de parler de protocoles
au sens classique du terme (des règles bien strictes de communication)
lorsqu'il s'agit de concevoir des systèmes complexes,
ouverts et intégrant souvent des entités hétérogènes ?
- Les modèles de raisonnement pour des agents coopératifs ou compétitifs
: quels formalismes de représentation pour quels agents ?
Comment raisonner sur les connaissances/croyances communes, distribuées
ou encore mutuelles ? Quels mécanismes pour la prise
de décision distribuée, pour la planification multi-agents, la
coordination, la négociation, la formation de coalitions, etc. ?
- Les modèles d'organisation : la variété des organisations, leur
flexibilité et leur dynamique sont des éléments fondamentaux
des SMA. La prise en compte de ces aspects fait souvent appel à la
notion d'agents sociaux ou normatifs et soulève des
problèmes intéressants liés à la dimension temporelle des organisations
et à la nature des interactions qui requièrent des
sémantiques et des modèles spécifiques.
- Les modèles d'apprentissage multi-agents : comment définir
l'apprentissage collectif ? Correspond-il à un apprentissage
individuel enrichi par des interactions ou à un apprentissage distribué
où chaque agent contribue de manière individuelle
à un même processus ? Quel apprentissage pour des agents cognitifs,
intentionnels, ou encore réactifs ?
2) Spécifications formelles et Vérification de SMA
---------------------------------------------------
La technologie agent propose un large éventail de modèles et de
mécanismes pour la coordination,
la communication, la coopération des agents, etc. Les spécifications
formelles de SMA et l'identification de leur impact
sur le développement et l'ingénierie de tels systèmes permettent de
vérifier la correction de ces modèles. Un enjeu important
est de proposer des formalismes (non nécessairement logiques) qui
permettent l'expression cohérente des différents
aspects : raisonnement, contrôle, synchronisation des agents ou encore
contraintes temporelles, spatiales, etc.
De plus, il faut que des propriétés de bon fonctionnement ou de sécurité
soient vérifiables dans ces formalismes, à l'aide d'outils
efficaces. La vérification des SMA reste donc un problème essentiel du
fait de la complexité et de la dynamique de ces systèmes,
que ce soit en conception ou en simulation. La question qui se pose est
: quelles sont les propriétés vérifiables pour un SMA ?
Bien entendu, différents niveaux d'abstraction peuvent être considérés.
D'une part, on peut valider des aspects propres aux agents
(e.g. mécanismes de raisonnement, architecture de contrôle, etc.) ou des
aspects d'interaction entre agents (e.g. protocoles
d'interaction, mécanismes de coordination, etc.). D'autre part, on peut
s'intéresser à des abstractions du système et valider des
propriétés globales du SMA (e.g. obtention de dynamiques particulières,
préservation d'invariants, etc.).
Dans tous les cas, il est fondamental de définir, à ces différents
niveaux, des sémantiques claires et prouvables afin d'envisager des
spécifications formelles de SMA et leur vérification.
Enfin, et plus particulièrement dans les domaines de la simulation
multi-agents et des agents réactifs, la notion même de vérification
pose le problème des rapports entre validation analytique et empirique,
et plus généralement celui de l'existence de méthodes
rigoureuses d'évaluation expérimentale, notamment dans le cadre de
travaux pluridisciplinaires. Des exemples de validation empirique
dans le domaine des SMA ou de génération systématique de cas de tests
pour des systèmes réactifs constitueraient des éléments de
réponse appréciables.
Types et formats des soumissions
----------------------------------------------
1. Soumission d'articles
-------------------------------
Les auteurs sont invités à soumettre des articles complets accompagnés
d'une première page incluant le titre de l'article,
le nom des auteurs ainsi que leurs coordonnées, un résumé d'environ 10
lignes et une liste d'au plus 5 mots clés. La longueur
des articles ne doit pas dépasser 12 pages, sans compter la première
page de couverture, mais en y incluant les figures,
les tables, et la bibliographie.
2. Soumission de démonstrations
----------------------------------
Les auteurs sont invités à décrire la démonstration proposée en 3 pages
maximum, incluant une courte liste de références
bibliographiques. Une première page de couverture sera jointe,
comprenant le titre de la démonstration, le nom des auteurs
ainsi que leurs coordonnées, un résumé d'environ 10 lignes ainsi qu'une
description des besoins techniques.
Les soumissions doivent être rédigées en français. Les soumissions
acceptées seront publiées aux Editions Hermès. Il est
recommandé de respecter dès la soumission le format de publication de
l'éditeur. Leur site web (http://www.editions-hermes.fr ;
rubrique Auteurs - consignes pour les actes de conférences) donne des
consignes précises avec la possibilité de télécharger
différentes feuilles de style.
Procédure de soumission
---------------------------
Les soumissions doivent être envoyées par courrier électronique au
format rtf ou ps
(compressé au format zip, si jugé nécessaire) au plus tard le 25 Mai
2001 à l'adresse suivante :
elfallah@lipn.univ-paris13.fr
Toute soumission reçue sera confirmée par un accusé de réception.
Comité de Programme
-----------------------
Présidente du comité de programme : Amal El Fallah Seghrouchni (LIPN,
Paris)
Comité consultatif et de lecture
-------------------------------
Jean-Paul Barthès (UTC, Compiègne)
Jacques Ferber (LIRMM, Montpellier)
Marie-Pierre Gleizes (IRIT, Toulouse)
Jean-Pierre Müller (IIIA, Neuchâtel)
Sylvie Pesty (LEIBNIZ/IMAG, Grenoble)
Joël Quinqueton (LIRMM, Montpellier)
Comité de lecture
Patrick Albert (ILOG S.A., Gentilly)
François Arlabosse (FRAMATOME, Paris)
Olivier Boissier (ENS Mines Saint-Etienne, Saint-Etienne)
François Bourdon (GREYC, Caen)
Jean-Pierre Briot (LIP6, Paris)
Bernard Burg (MOTOROLA, Paris)
Valérie Camps (L3I, La Rochelle)
Brahim Chaib-draâ (Université Laval, Québec)
Vincent Chevrier (LORIA, Nancy)
Yves Demazeau (LEIBNIZ /IMAG, Grenoble)
Alexis Drogoul (LIP6, Paris)
Pascal Estraillier (L3I, La Rochelle)
Gérard Eude (CNET, Issy-les-Moulineaux)
Pierre Glize (IRIT, Toulouse)
Zahia Guessoum (LIP6, Paris)
René Mandiau (LAMIH, Valenciennes)
Pierre Marcenac (IREMIA, La Réunion)
Michel Occello (LEIBNIZ /IMAG , Grenoble)
Denis Pierre (ÆGIS/agentworks, Savoie)
Suzanne Pinson (LAMSADE, Paris)
Jean-Paul Sansonnet (LIMSI, Paris)
Patrick Taillibert (THALES Systèmes Aéroportés, Elancourt)
Catherine Tessier (ONERA-CERT, Toulouse)
Comité d'organisation
----------------------
Président du comité d'organisation : Laurent Magnin (CRIM, Montréal)
Membres du comité d'organisation
-----------------------------------
Judith Bracke (CRIM, Montréal)
Yveline Forges (CRIM, Montréal)
Marie-Noël Pichelin (CRIM, Montréal)
Chantale Pelletier Magnin (CRIM, Montréal)
Dany Vaillancourt Magnin ( CRIM, Montréal)
Alain Cardon (Université du Havre et LIP6, université Paris VI)
Houari Sahraoui (Université de Montréal)