Le but des Journées francophones sur les Modèles Formels de l'Interaction est de rassembler des chercheurs de différentes communautés scientifiques (informatique, linguistique, sociologie, économie, sciences cognitives, 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 suivants:

- Aspects langagiers: sémantique et pragmatique des actes de langages, pragmatique du dialogue et des conversations, sémantique des modalités

- Aspects sociaux: spécification de normes sociales, de droits et d'obligations, organisations collectives

- Aspects cognitifs: modèles de type BDI et interaction entre agents, métaconnaissances, langages de communication, ontologies partagées, planification coopérative

Le colloque sera organisé dans un esprit d'atelier laissant une grande part aux échanges entre participants. Outre la présentation d'articles des travaux novateurs, il comprendra des tables rondes, des de posters et des présentations données par des conférenciers invités:

- Jean-François Laslier, Directeur de recherche en Sciences Économiques au CNRS, Paris («Les mathématiques de la décision collective»)

- John-Jules Ch. Meyer, Professeur au département d'informatique de l'Université d'Utrecht («Specifying multi-agent systems: from individual (mental) attitudes to social (normative) attitudes»)

- Dan Sperber, Directeur de recherche en Sciences Sociales et au CNRS, Paris («La théorie de la pertinence, principes et application»)

- David Traum, Chercheur en Informatique à l'Université de Californie du Sud («On Natural Language Dialogue Modelling using dialogue acts: theory, corpus-analysis, and implementation»).

24 articles choisis par le comité de programme seront présentés par leurs auteurs au cours de 8 sessions plénières dont les thèmes seront:

- Allocation de tâches et de ressources

- Stratégies de dialogue

- Conception de systèmes d'agents

- Evolution des croyances et obligations

- Théorie des jeux et simulation sociale

- Actions et intentions

- Actes de langage

- Argumentation et jeux de dialogue

Chez le même éditeur:

-

Simulation et algorithmes stochastiques: une introduction avec applications

N. Bartoli, P. Del Moral.

-

Logique floue: exercices corrigés et exemples d'applications

B. Bouchon-Meunier, L. Foulloy, M. Ramdani.

-

Rencontres francophones sur la Logique Floue et ses Applications 1995, 1996, 1997, 1998, 1999, 2000 et 2001

Collectif.

-

i3 -Revue Information-Interaction-Intelligence

C. Garbay, A. Doucet, H. Prade.