Septièmes journées francophones Modèles Formels de l'Interaction
MFI'13, Lille, 1-2 Juillet 2013
Les septièmes journées francophones sur les Modèles Formels de l'Interaction auront lieu du 1er au 2 Juillet à Lille, au sein de la plateforme IA.
Ces journées font suite aux éditions de Toulouse (2001), Lille (2003), Caen (2005), Paris (2007), Lannion (2009) et Rouen (2011).
L'interactivité est une tendance majeure des systèmes informatiques actuels : interaction entre utilisateurs et systèmes informatiques, interaction entre entités informatiques autonomes (agents), sans oublier l'intégration de ces deux aspects dans les divers agents conversationnels, agents de recherche, assistants personnels…
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 leur comportement). 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.
Les thématiques de recherche visées peuvent se regrouper dans les items (non limitatifs) suivants:
Ces thématiques pourront être traitées sous l'angle des modèles formels eux-mêmes, ou sous celui du développement d'applications concrètes, notamment dans l'univers industriel, faisant apparaître clairement le recours à ces méthodes.
Les propositions de communication d'une longueur de 12 pages maximum, rédigées en français ou en anglais, devront être soumises, au format PDF uniquement, le 18 mars 2013 au plus tard via Easychair https://www.easychair.org/conferences/?conf=mfi13
Les articles soumis doivent répondre aux critères de présentation de MFI. Les modèles à respecter sont les suivants:
osoft Word : mfi13.rtf
Présentation : 30mn (20’ exposé, 10’ questions/réponses)
08:00–08:30 Accueil
08:30–09:00 Mot d'introduction
09:15–10:15 Conférencier invité : Frédéric Koriche
Session animée par Laurence Cholvy
Apprendre des modèles graphiques de préférences
10:30–11:00 Pause café
Session 1 : Préférences, Formation de coalitions, Mariages stables (11h-12h30)
Session animée par Jérôme Lang
11:00–11:30 A Study of Sybil Manipulations on Hedonic Games
Thibaut Vallée, Grégory Bonnet, Bruno Zanuttini and François Bourdon
11:30–12:00 A fair and efficient payoff modeling the coalition formation
process for games with valuations
Stéphane Airiau
12:00– 12:30 Swing++ : méthode multi-agents pour la résolution du problème des
mariages stables
Eric Piette, Maxime Morge and Gauthier Picard
12:30–14:30 Déjeuner
14:30–15:30 Prix de thèse AFIA
15:30–16:00 Pause café
Session 2 : Vote, agrégation, fusion (16h-17h30)
Session animée par Andreas Herzig
16:00–16:30 Sur le comportement de quelques règles de vote face aux
candidatures stratégiques
Jérôme Lang, Nicolas Maudet and Maria Polukarov
16:30–17:00 Correspondances d’agrégation de jugements basées sur le nombre de votes
Patricia Everaere, Sébastien Konieczny and Pierre Marquis
17:00–17:30 Fusion de bases de croyances possibilistes à intervalles
Salem Benferhat, Julien Hué, Sylvain Lagrue and Julien Rossit
Session 3 : Allocation de ressources (17h30-18h30)
Session animée par Nicolas Maudet
17:30–18:00 Multiagent Distributed Resource Allocation under Uncertainty
Aurélie Beynier and Sylvia Estivie
18:00–18:30 Mon partage sera-t-il conflictuel ? Une échelle de propriétés pour
la caractérisation d'instances de partage de biens indivisibles
Sylvain Bouveret and Michel Lemaître
09:30–10:30 Conférencier invité : Philippe Mathieu
Session animée par Sébastien Konieczny
L'interaction enfin concrétisée !
10:30–11:00 Pause café
Session 4 : Interaction homme-agent, leadership (11h-12h30)
Session animée par Elise Bonzon
11:00–11:30 Spécification empirique de jeux de dialogue pour un agent interactif
Guillaume Dubuisson Duplessis, Nathalie Chaignaud, Jean-Philippe
Kotowicz, Alexandre Pauchet and Jean-Pierre Pécuchet
11:30–12:00 Prise en compte des recommandations de l'humain dans le processus
décisionnel d'un agent
Nicolas Cote, Bruno Zanuttini, Maroua Bouzid and Abdel-Illah Mouaddib
12:00– 12:30 Formes de leadership, défense de soi et commérage
Sylvie Huet
12:30–14:30 Déjeuner
14:30–15:30 Invité AFIA : Hans van Ditmarsch
Awareness and knowledge
15:30–16:00 Pause café
Session 5 : Logique et actions (16h-16h30)
Session animée par Patricia Everaere
16:00–16:30 Reasoning about actions meets strategic logics
Andreas Herzig, Emiliano Lorini and Dirk Walther
Session 6 : Inconsistance et argumentation (16h30-18h00)
Session animée par Patricia Everaere
16:30–17:00 Plateforme de raisonnement basée sur la valeur d’incohérence de Shapley MI
Sébastien Konieczny and Stephanie Roussel
17:00–17:30 Du raisonnement à l'acte argumentatif : calculer la dynamique des
attitudes d'un agent en X-logiques
Vincent Risch and Farid Nouioua
16:30–17:00 Changements guidés par les buts en argumentation : Cadre théorique et outil
Pierre Bisquert, Claudette Cayrol, Florence Dupin de Saint-Cyr and
Marie-Christine Lagasquie