MFI

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.

• Stéphane Airiau. A fair and efficient payoff modeling the coalition formation process for games with valuations
• Salem Benferhat, Julien Hué, Sylvain Lagrue and Julien Rossit. Fusion de bases de croyances possibilistes à intervalles
• Aurélie Beynier and Sylvia Estivie. Multiagent Distributed Resource Allocation under Uncertainty
• Pierre Bisquert, Claudette Cayrol, Florence Dupin de Saint-Cyr and Marie-Christine Lagasquie. Changements guidés par les buts en argumentation : Cadre théorique et outil
• Sylvain Bouveret and Michel Lemaître. Mon partage sera-t-il conflictuel ? Une échelle de propriétés pour la caractérisation d'instances de partage de biens indivisibles
• Nicolas Cote, Bruno Zanuttini, Maroua Bouzid and Abdel-Illah Mouaddib. Prise en compte des recommandations de l'humain dans le processus décisionnel d'un agent
• Guillaume Dubuisson Duplessis, Nathalie Chaignaud, Jean-Philippe Kotowicz, Alexandre Pauchet and Jean-Pierre Pécuchet. Spécification empirique de jeux de dialogue pour un agent interactif
• Patricia Everaere, Sébastien Konieczny and Pierre Marquis. Support-Based Correspondences for Judgment Aggregation
• Andreas Herzig, Emiliano Lorini and Dirk Walther. Reasoning about actions meets strategic logics
• Sylvie Huet. Formes de leadership, défense de soi et commérage
• Sébastien Konieczny and Stephanie Roussel. A reasoning platform based on the MI Shapley inconsistency value
• Jérôme Lang, Nicolas Maudet and Maria Polukarov. Sur le comportement de quelques règles de vote face aux candidatures stratégiques
• Eric Piette, Maxime Morge and Gauthier Picard. Swing++ : méthode multi-agents pour la résolution du problème des mariages stables
• Vincent Risch and Farid Nouioua. Du raisonnement à l'acte argumentatif : calculer la dynamique des attitudes d'un agent en X-logiques
• Thibaut Vallée, Grégory Bonnet, Bruno Zanuttini and François Bourdon. A Study of Sybil Manipulations on Hedonic Games

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

• Raisonnement sur les croyances

• Formalisation logique des actions, plans, buts et intentions

• Modèles formels et computationnels pour la programmation d'agents rationnels

• Modèles formels de la rationalité limitée

• Modèles économiques de la décision et de l'interaction

• Représentation et élicitation des préférences

• Aspects algorithmiques de la décision individuelle, collective, ou distribuée et planification; processus de décision stochastiques

• Résolution distribuée et coopérative de problèmes

• Modèles formels du dialogue, de l'argumentation, et de la négociation;

• Aspects langagiers de l'interaction

• Aspects cognitifs de la décision et de l'interaction

• Aspects sociaux de l'interaction

• etc.

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.

• Lundi 18 Mars 2013 Mardi 26 Mars 2013 : Réception des contributions

• Jeudi 2 Mai 2013 : Notification d'acceptation

• Mercredi 15 Mai 2013: Réception des versions finales des articles

• 1-2 Juillet 2013 : MFI'13

• Jean-François Bonnefon (CNRS Toulouse)

• Elise Bonzon (LIPADE, Université Paris Descartes) co-présidente

• Sylvain Bouveret (LIG Grenoble)

• Maroua Bouzid (GREYC-CNRS Caen)

• Brahim Chaib-Dra (Université de Laval)

• Laurence Cholvy (ONERA) co-présidente

• Sylvie Coste-Marquis (CRIL CNRS Lens)

• Madalina Croitoru (LIRMM, Université de Montpellier)

• Célia Da Costa Pereira (Université de Nice)

• Tiago de Lima (Université of Artois et CNRS)

• Jean-Louis Dessalles (Telecom Paris Tech)

• Sylvie Doutre (IRIT, Université de Toulouse)

• Florence Dupin de Saint Cyr (IRIT, Université de Toulouse)

• Sylvia Estivie (LAMIH, Université de Valenciennes)

• Patricia Everaere (LIFL, Université de Lille)

• Andreas Herzig (IRIT, Toulouse)

• Sébastien Konieczny (CRIL Lens)

• Jean-Philippe Kotowicz (INSA Rouen)

• Jérôme Lang (LAMSADE)

• Yves Lespérance (York University)

• Nicolas Maudet (LIP6, Université Pierre et Marie Curie)

• Magalie Ochs (CNRS-LTCI Télécom Paris Tech)

• Wassila Ouerdane (LGI, Ecole Centrale Paris)

• Odile Papini (Université d'Aix Marseille)

• Alexandre Pauchet (LITIS INSA)

• Gabriella Pigozzi (Université Paris Dauphine)

• Stephanie Roussel (CRIL Lens)

• Nicolas Sabouret (LIP6 Université Pierre et Marie Curie)

• Pierre-Yves Schobbens (University of Namur)

• Tiberiu Stratulat (LIRMM Montpellier)

• Serena Villata (INRIA Sophia Antipolis)

• Frédéric Koriche, université d'Artois

• Philippe Mathieu, université de Lille

• Hans van Ditmarsch, LORIA, Nancy

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:

• Format LaTeX : mfi13.cls; mfi13.tex; mfi13.pdf;

• Format compatible Micr

osoft Word : mfi13.rtf

Présentation : 30mn (20’ exposé, 10’ questions/réponses)

1 juillet 2013

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

2 juillet 2013

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