Secondes Journées Francophones
MODÈLES FORMELS de l'INTERACTION

Conférenciers invités

Jean-François LASLIER

Jean-Francois LASLIER

Paris, France

Directeur de recherche en Sciences Économiques au CNRS
Membre du Laboratoire d'Économétrie de l'École Polytechnique

http://ceco.polytechnique.fr/CHERCHEURS/LASLIER/

Principaux centres d'intérêt: Théorie du Choix Social, Théorie des Jeux, Théorie Economique de la Politique.

Les mathématiques de la décision collective

Je me propose de décrire les principaux apports de la formalisation mathématique à la question de la décision collective, avec un bref rappel historique et en insistant sur les résultats récents.
Le début de cette histoire se confond avec l'histoire du calcul des probabilités. Ceci correspond à la découverte que la pensée de type mathématique pouvait utilement s'attaquer à des phénomènes gouvernés non seulement par la nécessité mais aussi par le hasard, c'est à dire des phénomène entachés d'incertitude, comme les opinions et les jugements.
La suite de l'histoire est étroitement liée à l'évolution de la théorie économique. Ceci correspond à la découverte que cette même pensée pouvait utilement s'attaquer à des phénomènes gouvernés non seulement par la nécessité et le hasard, mais aussi par la volonté, c'est à dire des phénomènes comme le vote et la compétition électorale, pour lesquels les aspects interactifs stratégiques ne sont pas négligeables.

John-Jules Ch. MEYER

Utrecht, Pays-bas

Professeur au Département d'Informatique de l'Université d'Utrecht
Directeur scientifique de la dutch research School for Information and Knowledge Systems (SIKS)
Président de la Dutch Association of Logic and Philosophy of Science (VvL)
Membre du comité éditorial du Journal of Applied Non-Classical Logics, Data and Knowledge Engineering
Membre du comité éditorial du Journal of Intelligent Agents & Multi-Agent Systems

http://www.cs.uu.nl/staff/jj.html

Prof.dr. John-Jules Ch. Meyer studied mathematics with computer science and digital signal processing at Leyden University. In 1985 he obtained his Ph.D. from the Vrije Universiteit in Amsterdam on a thesis entitled "Programming Calculi Based on Fixed Point Transformations", a subject in theoretical computer science. From 1988 to 1993 he was a professor at the computer science department at the VU Amsterdam holding a chair in "Logic for distributed systems and artificial intelligence". From 1989 to 1993 he also was a professor of theoretical computer science at the Katholieke Universiteit Nijmegen. Since 1993 he has been a professor at the computer science department of Utrecht University (UU). At the moment he is heading the Intelligent Systems Group of the Institute of Computing and information Sciences of the UU. Prof. Meyer is the scientific director of the national graduate school in Information and Knowledge-based Systems (SIKS) and chairman of the board of the Dutch Association of Logic and Philosophy of Science (VvL). He is a member of the editorial boards of the Journal of Applied Non-Classical Logics, Data and Knowledge Engineering and the Journal of Intelligent Agents & Multi-Agent Systems. His current research interests include logics for AI, intelligent agents and cognitive robotics.

Specifying multi-agent systems: from individual (mental) attitudes to social (normative) attitudes

In this talk I will review some of the work our group has done on the use of modal logic(s) for describing agent-based systems. Starting out from the perspective of a single agent we look at BDI-like logics describing the beliefs, desires and intentions of agents. In particular I'll mention our variant of BDI logic, the so-called KARO logic. This is a very expressive multi-modal logic based on dynamic logic, and extended with a variety of modal operators for dealing with (several kinds of) beliefs and motivational attitudes like intentions, goals and desires. Taking this as a starting point we will look at logics for describing multi-agent systems or agent societies, in which on the one hand more complex BDI-notions such as mutual beliefs and intentions enter the picture, but also more social notions like obligations and norms. If time permits I will also tell something about our continuing endeavour to realise agent systems using special agent-oriented programming languages based on BDI-like notions.

Dan SPERBER

Paris, France

Directeur de recherche en Sciences Sociales et Cognitives au CNRS
Membre de l'Institut Jean Nicod

http://www.dan.sperber.com/

Dan Sperber est l'auteur en particulier de «Le Symbolisme en général» (Hermann 1974), «Le Savoir des anthropologues» (Hermann 1982), et «La Contagion des Idées» (Odile Jacob 1996). Dans ces trois livres, il a développé une conception naturaliste de la culture sous le nom d'épidémiologie des représentations. Dan Sperber est aussi le co-auteur, avec Deirdre Wilson, de l'Université de Londres, de «La Pertinence, Communication et Cognition» (Minuit 1989 - Seconde Edition révisée en anglais: «Relevance: Communication and Cognition Second Edition», Blackwell 1995). Ensemble ils ont développé une conception cognitive de la communication sous le nom de Théorie de la pertinence. L'épidémiologie de représentations et la théorie de la pertinence ont l'une et l'autre suscité de nouvelles recherches et aussi des controverses.

La théorie de la pertinence, principes et applications

L'exposé présentera les notions de base de la théorie de la pertinence (cf. D. Sperber & D. Wilson, «La Pertinence, communication et cognition», Paris 1999), et évoquera certaines de ses applications.

David TRAUM

Marina del Rey, Californie, USA

Chercheur en Informatique à l'Université de Californie du Sud
Membre de l'Institute for Creative Technology (ICT)
Vice-président du International Special Interest Group in Discourse and Dialogue (SIGDIAL)

http://www.ict.usc.edu/~traum/

On Natural Language Dialogue Modelling using dialogue acts: theory, corpus-analysis, and implementation