Agents indépendants dans le temps ramifié : vers un cadre unifié de raisonnement sur les systèmes multi-agents
FR |
EN |
IT
Auteur / Autrice : | Nicolas Troquard |
Direction : | Andreas Herzig, Laure 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 |
Mots clés
FR
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.