Benoit GAUDOU - IRIT - Equipe SMAC

Comment passer de la logique modale à la simulation à base d'agents ?


Nouvellement arrivé dans l'équipe SMAC, je profiterai de ce séminaire
pour me présenter et présenter mes travaux de recherche et les thèmes
qui m'intéressent. Je commencerai dans une première partie par présenter
un aperçu de mes différents travaux :

• de thèse, portant sur la formalisation en logique modale d'attitudes
  sociales et son application à la définition d'une sémantique publique
  des actes de langage. J'évoquerai également mes travaux en formalisation
  logique des émotions.>/li>
  
• de post-doctorat. Je présenterai ce que j'ai fait sur l'introduction
  de la collaboration dans les méthodologies de modélisation et simulation
  multi-agents pour les systèmes complexes ainsi que ce que des travaux
  sur l'utilisation de la confiance dans des systèmes de collecte
  d'information distribués soumis à des perturbations (typiquement des
  agents qui se trompent, mentent ... ).

Dans une seconde partie, je présenterai plus en détails l'un des deux
principaux thèmes abordés durant mon post-doctorat.