Thèse soutenue

Agents indépendants dans le temps ramifié : vers un cadre unifié de raisonnement sur les systèmes multi-agents
FR  |  
EN  |  
IT
Accès à la thèse
Auteur / Autrice : Nicolas Troquard
Direction : Andreas HerzigLaure Vieu
Type : Thèse de doctorat
Discipline(s) : Informatique et télécommunications
Date : Soutenance en 2007
Etablissement(s) : Toulouse 3 en cotutelle avec Trente, Italie

Résumé

FR  |  
EN

Le travail présenté dans cette thèse est une étude multidisciplinaire de le notion de réalisation (`agency'). Nous construisons de nouvelles approches formelles à partir de la littérature de la réalisation en philosophie de l'action, théorie des jeux ou informatique. Nous cherchons particulièrement à confronter les différentes logiques issues de traditions diverses, et à transférer entre elles leurs résultats et méthodes respectifs. La théorie du STIT de Belnap et Perloff est notre cadre d'expérimentation.