MFI'07 - 30 Mai--1er Juin 2007, Paris

avec le concours de
Univ. Paris-Dauphine

Quatrièmes Journées Francophones
MODÈLES FORMELS de l'INTERACTION

30 Mai--1er Juin 2007, Paris

Suite au succès des trois premières éditions organisées en 2001 à Toulouse, en 2003 à Lille, et en 2005 à Caen, les quatrièmes journées francophones sur les Modèles Formels d'Interactions auront lieu du 30 Mai au 1er Juin 2007 à Paris, Université Paris-Dauphine , salle A709 (7ème étage du bâtiment A dit "nouvelle aile". Notez que les ascenseurs centraux n'atteignent pas le 7ème étage: il convient de s'arrêter au 5ème, puis d'aller à la nouvelle aile, et enfin de prendre les escaliers pour les deux derniers étages).


Programme

Mercredi 30 Mai (08:45 - 09:00) Mot de bienvenue
9:00 - 10:00 (Invité) Logics for Cooperation, Control and Coalition Wiebe van der Hoek
10:00 - 10:30 Pause café
Raisonnement sur les croyances
10:30 - 11:00 Communication, Consensus et Ordre de Parole. Qui Veut Parler en Premier? Nicolas Houy et Lucie Ménager
11:00 - 11:30 Raisonnement sur les actions : de Toronto à Amsterdam Hans van Ditmarsch, Andreas Herzig et Tiago de Lima
11:30 - 11:40 Petite Pause et étirements
11:40 - 12:10 Model Checking Logic Puzzles Hans van Ditmarsch et Ji Ruan
12:10 - 12:30 Logique doxastique graduelle Noel Laverny
12:30 - 12:50 Représentations syntaxique et sémantique d'un acte Benoit Menoni et Jean-Christophe Vergnaud
12:50 - 13:50 Pause Déjeuner
13:50 - 14:50 (Invité) Overconfidence? Jean-Pierre Benoit
14:50 - 15:20 Pause café
Actions et Plans
15:20 - 15:50 Incremental Plan Recognition in an Agent Programming Framework Alexandra Goultiaeva et Yves Lesperance
15:50 - 16:20 Practical reasoning as a generalized decision making problem Leila Amgoud et Henri Prade
16:20 - 16:40 De DEL à EDL ou comment illustrer la puissance des événements inverses Guillaume Aucher et Andreas Herzig
16:40 - 17:10 Les représentations prédictives des états et des politiques Abdeslam Boularias et Brahim Chaib-draa
17:10 - 17:20 Petite Pause et étirements
Jeux et interactions stratégiques
17:20 - 17:50 Planification multi-agent et diagnostic stratégique Ramzi Ben Larbi, Sebastien Konieczny et Pierre Marquis
17:50 - 18:20 Logique dynamique pour le raisonnement stratégique Cédric Degremont et Jonathan Zvesper
18:20 Apero

Jeudi 31 Mai (09:00)
Communication et Emotions
9:00 - 9:30 Le rôle de l'impact émotionnel dans la communication des événements Jean-Louis Dessalles
9:30 - 10:00 Vers un modèle formel des émotions d'un agent rationnel dialoguant empathique Magalie Ochs, David Sadek et Catherine Pelachaud
10:00 - 10:30 Role de la Face et de l'Utilite dans l'Interprétation d'Enoncés Ambigus Question/Requête et Incomprehension/Désaccord Virginie Demeure, Jean-François Bonnefon et Eric Raufaste
10:30 - 11:00 Pause café
Communication et langage
11:00 - 11:20 Vers une approche générique pour l'interprétation de commandes en langage naturel Laurent Mazuel et Nicolas Sabouret
11:20 - 11:40 Caractérisation de Requêtes d'Assistance à partir de corpus Francois Bouchet et Jean-Paul Sansonnet
11:40 - 12:10 Actes communicatifs à effets institutionnels Robert Demolombe et Vincent Louis
12:10 - 12:40 Doit-on dire la vérité pour se comprendre? Sylvie Saget et Marc Guyomard
12:50 - 13:50 Pause Déjeuner
13:50 - 14:50 (Invité) Distributed Social Choice Boï Faltings
14:50 - 15:20 Pause café
Préférences et partage de ressources
15:20 - 15:50 Fonctions d'utilité collectives avec droits exogènes inégaux Sylvain Bouveret et Michel Lemaitre
15:50 - 16:10 Un modèle pour caractériser des participants autonomes dans un processus de médiation Jorge-Arnulfo Quiane-Ruiz, Philippe Lamarre et Patrick Valduriez.
16:10 - 16:30 La décision multi-critère pour la coordination locale sans les systèmes multi-agents Boussard Matthieu, Maroua Bouzid et Mouaddib Abdel-Illah
16:30 - 16:50 Influence du protocole sur l'issue des négociations Sylvia Estivie
16:50 - 17:00 Petite Pause et étirements
Négociation et Consensus
17:00 - 17:20 Autour du problème du consensus Clement Pira et Amal El Fallah Seghrouchni
17:20 - 17:50 SBGM: Conciliation et mesures de conflits Sébastien Konieczny
17:50 - 18:10 Règles naturelles optimales pour l'argumentation Yann Chevaleyre et Nicolas Maudet
18:10 Dispersion de la manifestation

Vendredi 01 Juin (9:00)
9:00 - 10:00 (Invité) Modélisation en Logique des Actions et de la Causalité Robert Demolombe
10:00 - 10:30 Pause café
Raisonnement sur les processus
10:30 - 10:50 An Optimistic Approach for Role-based Interactions Components Behavioral Compatibility Nabil Hameurlain
10:50 - 11:10 Considérations relatives à la décidabilité et à la complexité du problème de la composition de services Philippe Balbiani, Fahima Cheikh et Guillaume Feuillade
Argumentation
11:10 - 11:30 The hedgehog and the fox Maxime Morge et Paolo Mancarella
11:30 - 12:00 An Abstract Framework for Argumentation-based Negotiation Leila Amgoud, Yannis Dimopoulos et Pavlos Moraitis
12:00 - 12:10 Petite Pause et étirements
12:10 - 12:30 Un dialogue de persuasion pour l'accès et l'obtention d'informations Laurent Perrussel, Sylvie Doutre, Jean-Marc Thevenin et Peter J. McBurney
12:30 - 13:00 Debating over heterogeneous ontologies Maxime Morge et Jean-Christophe Routier
13:00 - 13:50 Pause Déjeuner
Révision et fusion des croyances
13:50 - 14:20 Fusion de bases propositionnelles : une approche basée sur les R-ensembles Julien Hue, Eric Wurbel et Odile Papini
14:20 - 14:50 Application de la théorie de la révision à l'adaptation en raisonnement à partir de cas : l'adaptation conservatrice Jean Lieber
Modèles cognitifs et interaction homme-machine
14:50 - 15:10 Le modèle des cartes cognitives contextuelles Lionel Chauvin, David Genest et Stephane Loiseau
15:10 - 15:30 Etude des interactions collaboratives en situation co-localisée et distante Alexandre Pauchet, François Coldefy, Liv Lefebvre, Stéphane Louis Dit Picard, Arnaud Bouguet, Laurence Perron, Joël Guerin, Daniel Corvaisier et Michel Collobert.
15:30 - 15:50 Pause Café
Systèmes Multiagents
15:50 - 16:20 Un modèle d'interaction réaliste pour la simulation de marchés financiers Julien Derveeuw, Bruno Beaufils, Philippe Mathieu et Olivier Brandouy
16:20 - 16:40 Modélisation de réglementations pour le partage d'information dans un SMA. Laurence Cholvy, Christophe Garion et Claire Saurel
16:40 - 17:00 Donner corps aux interactions (l'interaction enfin concrétisée) Philippe Mathieu, Sebastien Picault et Jean-Christophe Routier
17:00 - 17:20 Vers un Support des Communications Multi-Parties pour les Systèmes Multi-Agents Julien Saunier et Flavien Balbo
17:20 Fonds de bouteilles

Objectifs

L'interactivité est une tendance majeure des systèmes informatiques actuels et un champ de recherche important. Elle se décline sous plusieurs aspects :

  • interaction entre utilisateurs et systèmes informatiques;
  • interaction entre entités informatiques autonomes (agents) interconnectées sur un réseau local ou sur «la toile», en vue de coopérer, de concourir ou tout simplement de coexister;
  • sans oublier l'intégration de ces deux aspects dans les divers agents conversationnels, agents de recherche, assistants personnels, etc.

Ces tendances sont à l'origine d'un besoin croissant de modèles formels de l'interaction, intégrant les règles, normes et protocoles divers, ainsi que les connaissances spécifiques des agents (en particulier sur les autres agents - humains ou artificiels - et leurs comportements). Ces modèles doivent permettre de concevoir, spécifier, valider et contrôler de tels agents coopératifs et communicationnels.

Le but de ces Journées est de rassembler des chercheurs de différentes communautés scientifiques (informatique, économie, psychologie cognitive, linguistique, sociologie, etc.) ayant en commun la volonté de formaliser tel ou tel aspect de l'interaction entre agents artificiels ou/et humains. Plus que jamais, les journées se veulent un point de rencontre entre les chercheurs des toutes les disciplines oeuvrant dans le domaine.

Pour ces raisons, au vu d'une analyse de l'importance croissante du thème de l'interaction dans les systèmes informatiques ouverts qui se dessinent aujourd'hui, il paraît opportun de rassembler et d'affirmer une communauté spécifique, et particulièrement une communauté francophone.

Thématiques

Les thématiques de recherche visées peuvent se regrouper dans les items (non limitatifs) suivants :

  • raisonnement sur les croyances: logiques épistémiques, doxastiques, logiques de l'incertain, révision de croyances;
  • formalisation logique des actions, plans, préférences et intentions;
  • modèles formels et computationnels pour la programmation d'agents rationnels, robotique cognitive;
  • modèles formels de la rationalité limitée;
  • modèles économiques de la décision et de l'interaction: théorie de la décision, choix social, théorie des jeux;
  • représentation et élicitation des préférences;
  • aspects algorithmiques de la décision individuelle, collective, ou distribuée; planification; processus de décision stochastiques;
  • résolution distribuée et coopérative de problèmes: coordination et coopération, allocation de tâches et de ressources;
  • modèles formels du dialogue, de l'argumentation, et de la négociation;
  • aspects langagiers de l'interaction: sémantique et pragmatique des actes de langage, pragmatique du dialogue et des conversations, sémantique des modalités;
  • aspects cognitifs de la décision et de l'interaction;
  • aspects sociaux de l'interaction: spécification de normes sociales, de droits et d'obligations, d'organisations collectives; modèles de la confiance et de la réputation.

Ces thématiques pourront être traitées sous l'angle des modèles formels eux-mêmes, tels qu'évoqués plus haut, ou sous celui du développement d'applications concrètes, notamment dans l'univers industriel, faisant apparaître clairement le recours à ces méthodes, tels que les domaines suivants :

  • interfaces homme-machine, agents d'interface;
  • e-commerce, recherche d'information;
  • gestion de ressources et ordonnancement;
  • applications géographiquement distribuées (comme le contrôle aérien ou routier).

Forme du colloque

Le colloque sera organisé dans un esprit d'atelier laissant une grande part aux échanges entre participants. Il comprendra la présentation de contributions sélectionnées par le comité de programme en réponse à cet appel, ainsi que des conférences invitées de type synthèse (et éventuellement des tutoriels) permettant d'appréhender une grande problématique de recherche.

Soumissions

La date de soumission est désormais dépassée. Le comité de programme est en train d'évaluer les 49 articles soumis cette année! Les auteurs seront notifiés le 19 Mars.

Site maintenu par Nicolas Maudet sur la base du site de MFI03 de Bruno Beaufils.  --   HTML 4.01  --  CSS 2.0  --  Mimine 1.0  --   Dernière regénération : Vendredi 27 Octobre 2006 à 15:57  --   Nombre d'accès :