Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Laboratoire d’Analyse et Modélisation de Systèmes pour l’Aide à la Décision UMR

Laboratoire d’Analyse et Modélisation de Systèmes pour l’Aide à la Décision UMR CNRS 7024 ANNALES DU LAMSADE N°8 Mai 2007 Modèles formels de l’interaction MFI’07 Actes des Quatrièmes Journées Francophones Numéro publié grâce au Bonus Qualité Recherche accordé par l’Université Paris IX - Dauphine Responsables de la collection : Vangelis PASCHOS, Bernard ROY Comité de Rédaction : Cristina BAZGAN, Marie-José BLIN, Denis BOUYSSOU, Albert DAVID, Marie-Hélène HUGONNARD-ROCHE, Eric JACQUET- LAGRÈZE, Patrice MOREAUX, Pierre TOLLA, Alexis TSOUKIÁS. Pour se procurer l’ouvrage, contactez Mme D. François (secrétariat de rédaction) tél. 01 44 05 42 87 e-mail : francois@lamsade.dauphine.fr I COLLECTION « CAHIERS, DOCUMENTS ET NOTES » DU LAMSADE La collection « Cahiers, Documents et Notes » du LAMSADE publie, en anglais ou en français, des travaux effectués par les chercheurs du laboratoire éventuellement en collaboration avec des chercheurs externes. Ces textes peuvent ensuite être soumis pour publication dans des revues internationales. Si un texte publié dans la collection a fait l'objet d'une communication à un congrès, ceci doit être alors mentionné. La collection est animée par un comité de rédaction. Toute proposition de cahier de recherche est soumise au comité de rédaction qui la transmet à des relecteurs anonymes. Les documents et notes de recherche sont également transmis au comité de rédaction, mais ils sont publiés sans relecture. Pour toute publication dans la collection, les opinions émises n'engagent que les auteurs de la publication. Depuis mars 2002, les cahiers, documents et notes de recherche sont en ligne. Les numéros antérieurs à mars 2002 peuvent être consultés à la Bibliothèque du LAMSADE ou être demandés directement à leurs auteurs. Deux éditions « papier » par an, intitulées « Annales du LAMSADE » sont prévues. Elles peuvent être thématiques ou représentatives de travaux récents effectués au laboratoire. COLLECTION "CAHIERS, DOCUMENTS ET NOTES" OF LAMSADE The collection “Cahiers, Documents et Notes” of LAMSADE publishes, in English or in French, research works performed by the Laboratory research staff, possibly in collaboration with external researchers. Such papers can (and we encourage to) be submitted for publication in international scientific journals. In the case one of the texts submitted to the collection has already been presented in a conference, it has to be mentioned. The collection is coordinated by an editorial board. Any submission to be published as “cahier” of LAMSADE, is sent to the editorial board and is refereed by one or two anonymous referees. The “notes” and “documents” are also submitted to the editorial board, but they are published without refereeing process. For any publication in the collection, the authors are the unique responsible for the opinions expressed. Since March 2002, the collection is on-line. Old volumes (before March 2002) can be found at the LAMSADE library or can be asked directly to the authors. Two paper volumes, called “Annals of LAMSADE” are planned per year. They can be thematic or representative of the research recently performed in the laboratory. III Préface 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 un système et son environnement ; – 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 conver- sationnels, 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 commu- nicationnels. Le but des Journées Francophones sur les Modèles Formels de l’Interaction (MFI) 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 et/ou humains. Plus que jamais, les journées se veulent un point de rencontre entre les chercheurs de toutes les disciplines oeuvrant dans le domaine. MFI’07 est la quatrième édition des Journées. Après Toulouse (2001), Lille (2003) et Caen (2005), l’édition de 2007 a lieu à Paris. Les actes sont publiés dans la série des «Annales du LAMSADE». Le programme de MFI’07 est composé de quatre exposés invités et de 39 pré- sentations (20 longues et 19 courtes) sélectionnées parmi 50 soumissions. Chaque article a été évalué par trois relecteurs (voire quatre). Les communications acceptées proviennent en majorité de laboratoires français, mais aussi de laboratoires britanniques, canadiens, chypriotes, italiens, néerlandais et néo-zélandais. Les affiliations des auteurs reflètent l’aspect pluridisciplinaire des Journées : on y trouve des chercheurs en informatique (en particulier en intelligence artificielle, systèmes multi-agents et interaction homme-machine), en économie mathématique, en psychologie cognitive, en logique et en linguistique. Préface IV Nous avons la chance cette année d’accueillir quatre conférenciers invités de renommée internationale : Jean-Pierre Benoît, Professeur d’Economie à la London Business School ; Robert Demolombe, Chercheur associé à l’Institut de Recherche en Informatique de Toulouse ; Boi Faltings, Professeur à 1’Ecole Polytechnique Fédérale de Lausanne ; et Wiebe van der Hoek, Professeur à l’Université de Liverpool. Enfin, nous tenons à remercier toutes les personnes qui ont contribué au succès de MFI’07 : le comité de programme, ainsi que les relecteurs supplémentaires, qui ont fait un excellent travail d’évaluation des articles; le comité d’organisation, qui s’est non seulement chargé de mettre en place les Journées à l’Université de Paris- Dauphine, mais aussi de mettre en page et de produire les Actes ; le LAMSADE, pour son soutien financier et logistique ; France Telecom et l’Université de Paris- Dauphine, pour leur soutien financier. Jérôme Lang, Yves Lespérance et David Sadek, présidents du comité de programme Nicolas Maudet, président du comité d’organisation Annales du LAMSADE N°8 V Comité de Programme Présidents J. Lang IRIT, Univ. Paul Sabatier Toulouse (France) Y. Lespérance York University Toronto (Canada) D. Sadek France Télécom RD Lannion (France) Membres E. Aimeur S. Konieczny L. Amgoud P. Lamarre N. Asher D. Longin P. Baibiani V. Louis M. Batt P. Mathieu B. Beaufils P. Marquis J.-F. Bonnefon N. Maudet B. Chaib-draa A.-I. Mouaddib J. Caelen P. Muller F. Charpillet M. Pauly R. Demolombe O. Papini J.-L. Dessalles P. Perny H. van Ditmarsch E. Raufaste P. Egré N. Sabouret A. El-Fallah Seghrouchni P.-Y. Schobbens J. Euzenat S. Shapiro F. Evrard J.-C. Vergnaud C. Garion B. Walliser A. Herzig E. Weydert M.-P. Huget Relecteurs additionnels M. Bouzid L. Laera L. Cholvy C. Pira B. Gaudou N. Troquard Comité d’Organisation F. Badeig S. Kornman M.-J. Bellosta A. Machado G. Bourgne N. Maudet Y. Chevaieyre W. Ouerdane S. Estivie J. Saunier Sommaire/Contents Annales du LAMSADE N°8 Collection Cahiers et Documents I Préface III MFI’07 – Actes des Quatrièmes Journées Francophones - Articles longs - L. Amgoud, Y. Dimopoulos, P. Moraïtis An abstract framework for argumentation- based negotiation 3 L. Amgoud, H. Prade Practical reasoning as a generalized decision making problem 15 R. Ben Larbi, S. Konieczny, P. Marquis Planification multi-agent et diagnostic stratégique 25 A. Boularias, B. Chaib-draa Les représentations prédictives des états et des politiques 37 S. Bouveret, M. Lemaître Fonctions d’utilité collective avec droits exogènes inégaux 49 C. Dégremont, J. A. Zvesper Logique dynamique pour le raisonnement stratégique dans les jeux extensifs 61 V. Demeure, J. F. Bonnefon, E. Raufaste Rôle de la face et de l’utilité dans l’interprétation d’énoncés ambigus question/requête incompréhension/désaccord 75 R. Demolombe, V. Louis Actes communicatifs à effets institutionnels 89 J. Derveeuw, B. Beaufils, P. Mathieu, O. Brandouy Un modèle d’interaction réaliste pour la simulation de marchés financiers 103 J. -L. Dessalles Le rôle de l’impact émotionnel dans la communication des événements 113 H. van Ditmarsch, A. Herzig, T. de Lima Raisonnement sur les actions : de Toronto à Amsterdam 127 H. van Ditmarsch, J. Ruan Model checking logic puzzles 139 A. Goultiaeva, Y. Lespérance Incremental plan recognition in an agent programming framework 151 N. Houy, L. Ménager Communication, consensus et ordre de parole. Qui veut parler en premier ? 163 J. Hue, E. Wurbel, O. Papini Fusion de bases propositionnelles : une méthode basée sur les R-ensembles 175 S. Konieczny SBGM: concialiation et mesures de conflits 189 J. Lieber Application de la théorie de la révision à l’adaptation en raisonnement à partir de cas : l’adaptation conservatrice 201 M. Morge, J. -C. Routier Debating over heterogeneous descriptions 215 M. Ochs, D. Sadek, C. Pelachaud Vers un modèle formel des émotions d’un agent rationnel dialoguant empathique 227 S. Saget, M. Guyomard Doit-on dire la vérité pour se comprendre ? Principes d’un modèle collaboratif du dialogue basé sur la notion d’acceptation 239 - Articles courts - G. Aucher, A. Herzig De DEL à EDL ou comment illustrer la puissance des événements inverses. 253 Ph. Balbiani, F. Cheikh, G. Feuillade Considérations relatives à la décidabilité et à la complexité du problème de la composition uploads/Science et Technologie/ annale-du-lamsade-n08-mai-2007.pdf