 30 Mai--1er Juin 2007, Paris |
Quatrièmes Journées Francophones
|
| 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.