Résumé : Les deux aspects majeurs de la résolution coopérative de problèmes concernent le contrôle de la résolution de problèmes et le partage de compétence entre des experts coopérants. Ce papier présente les résultats de l'étude ayant conduit à la proposition d'un modèle de résolution et de représentation de connaissances à caractère multi-experts. Le Modèle Multi-Mondes (M3) s'inscrit dans la lignée des systèmes à tableau noir dans lequel est introduit un contrôle adaptatif. Ce modèle est basé sur une hiérarchie de paquets thématiques cohérents de connaissances que l'on appelle Mondes de Connaissances (MCs). L'organisation des MCs correspond à une architecture multi-agents multi-niveaux permettant de construire des briques de raisonnement en allant du traitement le plus général au plus spécifique. La coopération entre les MCs s'effectue à travers une mémoire locale de communication, elle est assurée par des composants de même type appelés mondes de connaissances de contrôle. Le contrôle adopté au sein d'un groupe de MC est fonction du caractère (pluridisciplinaire, interdisciplinaire) du problème qui lui est imparti.

Résumé : Les graphes causaux représentent généralement les assertions causales d'un agent sur son environnement. Dans un environnement multiagents, évoluent d'autres entités avec lesquelles, il doit agir et réagir. Par conséquent, un modèle basé sur les graphes causaux peut s'avérer très utile pour la modélisation du raisonnement dans les environnements multiagents. Avec ce modèle, on pourra aisément représenter les relations entre buts d'agents et voir comment ces buts influencent les utilités de chacun ainsi que l'utilité du groupe. Une fois le graphe causal construit, il convient alors de l'analyser pour prendre des décisions, trouver des explications sur la base des liens causaux, analyser le réseau en vue de faire immerger des coalitions, etc. Cet article présente l'état actuel de nos recherches sur un modèle de raisonnement basé sur les graphes causaux.

Résumé : Ce travail s'intéresse à. la coordina.tion entre agents dans des situations non familières. Dans ce type de situation. le contrôle est incertain et par conséquent, les agents doivent prédire les comportements d'autrui afin d'assurer et de maintenir la coordination. Pour contribuer à, cette prédiction, il nous a semblé intéressant d'étudier les dépendances entre les différentes composantes de la coordination : les agents, les tâches et les ressources. DallS cet article. ces dépendances sont. tout d'abord. présentées en détail. Des recettes de coordination sont ensuite exposées pour chacune de ces dépendances.Thème: Actions et interactions.

Résumé : Ce papier présente un modèle de classification des relationsqui facilite l'étude des interactions au niveau d'un système multi-agents. Ce modèlepermet, entre autres, de détecter les conflits potentiels ainsi que les éventuelles opportunités de coordination. Ce modèle est complété par des outils permettant de mesurer la structure relationnelle entre agents. Finalement, un exemple emprunté aux systèmes manufacturiers est présenté de façon à montrer l'utilité du modèle de classification.

Résumé : L'objectif de ce papier est d'étudier- le problème de planification et de négociation dans les systèmes de transport considérés comme des systèmes multi-agents. Cependant, le protocole de planification et de tournée de véhicules est une généralisation du problème du voyageur, réputé être NP-complet. C'est pourquoi, nous proposons dans le cadre de ce papier, différentes heuristiques de recherche de solution en association avec une stratégie du commerce simulé. Les performances obtenues par les algorithmes associés à ces différentes heuristiques sont discutés en détail, et les conclusions quant à l'adéquation de l'utilisation de chaque algorithme sont finalement dégagées.

Résumé : Dans notre recherche sur la conversation automatique pour certaines situations particulières, nous nous sommes intéressés aux travaux de Trognon & Brassac (notés T&B) et de Searle. T&B [Trognon & Brassac 97) proposent un modèle pour l'enchaînement conversationnel, duquel nous avons relevé d'après notre compréhension, deux règlesd'enchaînement conversationnel : la règle de la recherche de la réponse positive et la règle dela flexibilité de la conversation. Searle (Searle 92), quant à lui, part de l'étude de la conversation dans sa globalité et essaye de retrouver si possible les actes du langage. Selon lui, il n'existe pas de régularité (intrinsèque) dans une conversation de type général, et par conséquent, il ne peut exister de modèle théorique (explicatif). Il a néanmoins mis en évidence, deux concepts qui semblent prometteurs : l'intention collective (we-intention) et l'arrière-fond (background). Nous pensons initier notre recherche des conversations automatiques par l'approfondissement de ces deux concepts et l'intégration d'autres mécanismes cognitifs.

Résumé : Devant l'intérêt sans cesse grandissant aux systèmes multi-agents durant cette dernière décade, le développement d'outils formels pour l'analyse, la description et l'implantation de ces systèmes est, aujourd'hui, plus que nécessaire. La plupart des méthodes formelles développées jusqu'à date sont basées sur la sémantique des mondes possibles. Cette dernière bien qu'élégante est handicapée par deux grands problèmes : 1) le problème de l'omniscience et 2) le problème de mécanisation. Dans notre approche, un agent est défini comme étant un système LDS muni d'un ensemble de mécanismes comme l'action, l'abduction et la mise à jour. Dans le présent article, nous présentons une modélisation d'agents par des systèmes logiques basés sur les LDS (systèmes déductifs étiquetés) de Gabbay. Le modèle obtenu est appliqué par la suite au problème bien connu des n sages (raisonnement sur autrui).

Résumé : Plusieurs approches ont été étudiées pour la modélisation des interactions entre agents. Nous avons retenu les enchères comme mécanisme de négociation automatique mis en oeuvre dans un réseau d'agents intelligents. Des agents vendeurs et des agents acheteurs interagissent dans un environnement assimilable à un marché électronique afin de vendre et acheter des objets. Ce mécanisme d'enchères est basé sur les lois du marché qui fixent les prix et déterminent les gagnants. Nous nous intéressons au cas des enchères multi-objets basées sur l'enchère anglaise, avec possibilité pour les agents acheteurs de diminuer leurs quantités de- mandées lors de l'enchère. Nous présentons un modèle mathématique de ce type d'enchères et des stratégies d'enchérissement des agents acheteurs. Nous simulons ce modèle à l'aide d'un système multiagents afin de vérifier sa validité et de l'évaluer empiriquement.

Résumé : Peu de recherches se sont penchées sur la problématique de la révision des croyancesdans un cadre multiagent. En tout cas, à notre connaissance, aucune ne s'est penchée sur larévision des croyances tenant compte de la crédibilité des informateurs, tout en gardant tracedes arguments en faveur de la révision, une fois celle-ci effectuée. C'est ce problème qui nous amotivé et pour lequel, nous proposons ici, une approche formelle basée sur la logique étiquetée.

Résumé : La théorie de la dissonance cognitive est une des théories majeures de la psycholo-gie cognitive. À travers une version adaptée au cadre distribué des systèmes multi-agents, onmontre en quoi une théorie de la cohérence cognitive vient compléter les cadres interactionnelshabituels. En effet, si ceux-ci garantissent la cohérence structurelle des conversations, il resteà définir la manière dont les agents devront utiliser dynamiquement ce cadre interactionnel. Enparticulier, il est laissé au concepteur le soin de s’assurer que les agents tiendront des conver-sations utiles à leurs objectifs tant individuels que collectifs. Grâce aux mesures de cohérenceproposées par la théorie de la dissonance cognitive, on introduit notamment la notion d’utilitédes dialogues. En établissant un lien entre les aspects cognitifs et les aspects interactionnelsdes systèmes multi-agents, ces mesures permettent de guider l’agent dans de nombreuses di-mensions de son attitude communicationnelle.

Résumé : Dans cet article, nous présentons une méthode qui permet de spécifier le comportementdialogique des agents à partir des engagements pouvant être contractés entre eux et des lienspouvant exister entre ces engagements. Tout d’abord, nous présentons le langage de communi-cation DIAGAL, un language basé essentiellement sur les engagements sociaux et sur les jeuxde dialogue. Dans ce contexte, nous expliquons comment les jeux de dialogues sont structurésde manière à manipuler les différents engagements de la couche sociale d’un systèmes multi-agents. Nous présentons ensuite notre modèle d’engagements de manière à expliquer commentles agents utilisant DIAGAL peuvent utiliser les différents jeux de dialogue pour manipuler lesengagements. Nous introduisons à cet effet le concept de réseau d’engagements qui permet despécifier les liens de causalité existant entre les différents engagements d’un systèmes multi-agents. Finalement, nous expliquons au moyen d’un exemple illustratif comment on peut mettreen oeuvre, au travers de notre simulateur, nos concepts et nos idées.

Résumé : RésuméNous nous intéréssons au problème du contrôled’un processus décisionnel de Markov décentralisé et partiellement observé (DEC - POMDP) àhorizon fini. Nous introduisons une nouvelle approche heuristique qui s’appuie sur les observations suivantes : (1) l’opération élémentairede programmation dynamique, consistant à lagénération exhaustive et l’évaluation de toutesles politiques jointes, est extrêmement prohibitive ; (2) bon nombre des politiques jointesainsi générées sont inutiles pour un contrôle optimal ou presqu’optimal. Suivant ces observations, nous proposons la première technique deconstruction incrémentale de politiques jointesà base d’états de croyance, PBIP, permettantd’éviter ces calculs intensifs. L’algorithme PBIPsurpasse les performances des meilleurs techniques approximatives actuelles sur de nombreux exemples de la littérature.