Quatrièmes Journées Francophones
MODÈLES FORMELS de l'INTERACTION

Jean-Pierre Benoit

Londres, UK

Professeur d'Economie à la London Business School

http://portalcontent.london.edu:8080/faculty/search.do?uid=jpbenoit

Principaux centres d'intérêt: Game theory, auctions, law and economics, voting, social organisations, industrial organisation.

Overconfidence?

A number of studies purport to show that overconfidence is pervasive. We argue that much of this work shows nothing of the sort. (Joint work with Juan Dubra.)

Robert Demolombe

Toulouse, France

http://www.cert.fr/francais/deri/demolombe/

Principaux centres d'intérêt: Modal Logic, Situation Calculus and Artificial Intelligence, Classical Logic and Databases

Modélisation en Logique des Actions et de la Causalité

Quand on analyse les actions réalisées par les agents il est intéressant de distinguer trois types d'agents : les agents institutionnels, humains et logiciels. On montrera que quand on parle d'action la signification n'est pas la même dans chaque cas. Pour formaliser les actions en logique il y a traditionnellement deux grandes approches. L'une où l'on vise à représenter comment l'action a été exécutée, l'autre où on définie l'action par ses effets. On présentera rapidement la formalisation de chacune d'elles, en montrant que seule la seconde permet d'exprimer la notion de causalité. De façon plus générale on examinera le problème que pose la formalisation d'une des deux conditions qui caractérisent la causalité dans l'approche de David Lewis et d'autres philosophes : la condition contre-factuelle. On verra que ce problème se pose de façon encore plus délicate lorsque l'action d'un agent n'est pas indépendante des autres agents. Enfin, on donnera un aperçu d'autres définitions de la causalité en philosophie des sciences qui ne s'appuient pas sur la condition contre-factuelle.

Boi Faltings

Lausanne, Suisse

Professeur à l'Ecole Polytechnique Federale de Lausanne (EPFL)
Fondateur et Directeur du Artificial Intelligence Laboratory

http://liawww.epfl.ch/~faltings/

Principaux centres d'intérêt: Distributed Artificial Intelligence, Software Agents, Constraint-based reasoning, Preference elicitation

Distributed Social Choice

Social choice is the problem of getting a group of agents to agree on a joint decision, for example allocating resources such as airport landing slots, or deciding where to place the city dump. Such problems are often distributed, meaning that different aspects of the decision are controlled by different agents, they carry a potential for manipulation to fit agents' self-interest, and they require privacy guarantees. I will present techniques based on recent advances in distributed constraint satisfaction that show how protocols satisfying these requirements can be constructed. (Joint work with Adrian Petcu, David Parkes)

Wiebe van der Hoek

Liverpool, UK

Professeur à l'Université de Liverpool
Directeur du Agent ART Group

http://www.csc.liv.ac.uk/~wiebe/

Principaux centres d'intérêt: Logics for Agent Systems, Cooperation, Negotiation, Games and Agents, Data Mining and the Semantic Web

Logics for Cooperation, Control and Coalition

We discuss logics for cooperation in which in which agents have control over certain aspects of the world. Moreover, this control can be delegated to other agents. We then discuss Coalition Logic: we show how adding preferences to Pauly's coalition logic CL enables one to express several game theoretical concepts, and we finally show how adding for a restricted form of quantication gives a language that is equally expressive, but exponentially more succingt than CL. (Joint work with Thomas Agotnes & Mike Wooldridge)