Independent agents in branching time : towards a unified framework for reasoning about multiagent systems

par Nicolas Troquard

Thèse de doctorat en Informatique et télécommunications

Sous la direction de Andréas Herzig et de Laure Vieu.

  • Titre traduit

    Agents 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.


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (148 p.)
  • Annexes : Bibliogr. p. 139-148

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 2007TOU30119
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.