jeudi 11 février 2010

Séance du 12 fevrier

Au cours de prochaine séance du groupe de travaill "Dialogique" Sebastien Magnier presentera son travaill sur la logique épistémique dialogique multi-agent des annonces publiques.Cette séance aura lieu vendredi 12/02 du 11h au 13h dans la salle 008,Maison de la recherche.Ci-joint le résumé:

"Le but de cette intervention est de présenter dans un cadre dialogique les différents opérateurs de la logique épistémique dynamique. Pour cela, les règles de particules des opérateurs de connaissance individuelle, partagée et commune sont définies. A ces règles de particules s'ajoutent celles de l'annonce publique et de son dual. Nous verrons que pour ce dernier couple d'opérateurs il est nécessaire de modifier la manière de désigner les contextes dialogiques. Suite à quoi les règles structurelles gouvernant l'ensemble de ces opérateurs seront exposées."