Equipe ADAge
Nous nous intéressons plus précisément aux capacités
d'apprentissage d'un agent rationnel modélisé à travers
une représentation proche du modèle BDI (Belief, Desire, Intention)
et portant sur des situations incluant à la fois des représentations
du monde matériel et des représentations modélisées
d'autres agents rationnels.
http://www-lipn.univ-paris13.fr/labo/RapportScientifique99/ADAge.html
Equipe « Information, Intelligence, Interaction (I3) »
Groupe Logique Appliquée
Ce groupe travaille entre autre sur un projet qui vise à élaborer
un modèle de Système Multi-Agents dans lequel les agents sont
des processus logiques, à développer des plate-formes d’expérimentation,
ainsi que des applications notamment dans le domaine du workflow.
Un volet théorique s’intéresse particulièrement à
la sémantique des modalités (épistémiques, intentionnelles…)
en vue de définir un modèle abstrait d’agent cognitif de
type BDI.
www.information4action.com/intelligence-artificielle.pdf
Equipe SMILE (université de caen)
Les activités de l'équipe I3 "Information, Intelligence,
Interaction" s'articulent autour de trois pôles d'études :
traitement automatique des langues (TALN) ; document électronique composite
(DEC) ; systèmes multi-agents (SMILE).
http://www.unicaen.fr/unicaen/index.html
Equipe Systèmes formels pour le dialogue et l'interaction
Groupe LILaC
LILaC (Logic, Interaction, Language, and Computation) est un groupe de recherche
de l’Institut de Recherche en Informatique de Toulouse (IRIT). Nous nous
interessons à l’analyse formelle d’interaction rationnelle
entre agents à travers les architectures de type BDI: logiques d'action
, la connaissance, croyance, intention, engagement, incertitude.
www.irit.fr
Equipe Traitement Automatique du Langage Naturel du Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA)
Philip R. Cohen
Robust Agent-based Systems Incorporating Teams of Communicating Agents
Ses recherches ont pour objectif de concevoir, d'indiquer et de mettre en application
un langage de programmation orientée agent (Shoham, 1993) appelé
STAPLE (Social & Team Agents Programming Language) et dont la construction
est basé sur (1) une théorie formelle des systèmes multi-agents
(croyance, désire, intention, travail d'équipe, équipes
qui perdurent, des buts persistants), (2) un langage de communication formel
entre agent basé sur la théorie d'acte de la parole avec une sémantique
provably correcte (Agent-Talk), et (3) les architectures d'agent qui utilise
la logique BDI (croyance, désire, intention) pour les spécifications
formelles de leur comportement AAA, JAM / PRS).
http://coabs.globalinfotek.com/public/CoABS_Program/Projects/Past%20Performers/Past_Performer_updated_pages/OGI.htm
Raimo Tuomela
Department of Moral and Social Philosophy of the University of Helsinki.
Une des activités de recherche de son goupe porte sur le développement
des logiques et des techniques applicables dans le domaine de l'Intelligence
Artificielle Distribuée et des systèmes multi-agents. Les modèles
actuellement étudié dans des systèmes multi-agents, comme
l'architecture BDI (belief-desire-intention), sont construites en grande partie
sur des notions individualistes et ont besoin d'être complété
dans les aspects sociaux par la théorie de l'action sociale presentée
par Raimo Tuomela
http://www.valt.helsinki.fi/kfil/socact/#Research%20Topics