Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Thèse de doctorat en Informatique et télécommunications
Sous la direction de Andréas Herzig et de Laure Vieu.
Soutenue en 2007
à Toulouse 3 en cotutelle avec l'Università degli studi (Trente, Italie). Dipartimento di informatica e telecomunicazioni .
mots clésAgents indépendants dans le temps ramifié : vers un cadre unifié de raisonnement sur les systèmes multi-agents
Pas de résumé disponible.
Pas de résumé disponible.
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.
