Fondements des systèmes multi-agents : modèles, spécifications formelles et vérifications ( JFIADSMA'01 )

La recherche dans le domaine des systèmes multi-agents (SMA) prend de plus en plus d'ampleur, en particulier grâce à l'émergence 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 adaptatives. Pour leur neuvième édition, les journées francophones pour l'intelligence artificielle distribuée et les systèmes multi-agents (JFIADSMA) sont placées sous le thème des "Fondements des systèmes multi-agents", avec pour principaux sous-thèmes : la vérification dans les SMA , les modèles formels pour la conception dans les SMA , l'ouverture, la distribution et la mobilité dans les SMA. D'autres sous-thèmes tels que les applications multi-agents, les agents situés réactifs ou des approches pluridisciplinaire pour les SMA sont également couverts par ces journées.

Conférences invitées (2 comm.). Modèles formels pour la coopération dans les SMA (5 comm.). Modèles formels pour la conception des SMA (3 comm.). Ouverture, distribution et mobilité dans les SMA (3 comm.). Agents situés réactifs (3 comm.). Approches pluridisciplinaires pour les SMA (3 comm.). Applications multi-agents (2 comm.). Démonstrations (3 comm.). Posters (10 comm.).