LogoLogo

Seban, Pablo. Who may say what? Thoughts about objectivity, group ability and permission in dynamic epistemic logic

Seban, Pablo (2011) Who may say what? Thoughts about objectivity, group ability and permission in dynamic epistemic logic.

[img]
Preview
PDF - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader
2211Kb

Résumé en francais

De nombreuses situations font intervenir la notion de communication ainsi que des restrictions sur cette communication. C'est le cas lorsque l'on pense à des informations militaires, des communications médicales, des normes morales, des jeux, etc. Dans certaines des ces situations, il se peut qu'existent des structures pour penser et organiser le droit de communiquer. Dans l'armée par exemple une telle structure est assez simple et facile à comprendre: plus on est haut-placé dans la hiérarchie militaire, plus on a le droit de savoir et moins on a l'autorisation de dire. Le champ médical est un exemple où des restrictions plus subtiles empêchent un patron d'avoir accès à des données médicales d'un de ses travailleurs, alors qu'un docteur devrait pouvoir y avoir accès. Souvent, ces structures sont présentées sous la forme d'un ensemble de règles informelles, ensemble qui peut être incomplet et même contradictoire, laissant la justice décider ce qu'il convient de faire en cas de conflits. L'objectif de ce mémoire est d'apporter quelques éléments, dans le champ de la logique, pour une meilleure compréhension de la notion de `droit de savoir', éléments qui pourraient nous aider à comprendre et répondre aux problèmes pour lesquels cette notion rentre en jeu. On concentre notre réflexion sur la partie informative de la communication, ce qui amène notre sujet central à la notion de `droit de donner une information'.

Sous la direction du :
Directeur de thèse
Balbiani, Philippe
Ditmarsch, Hans van
Ecole doctorale:Mathématiques, informatique, télécommunications de Toulouse (MITT)
laboratoire/Unité de recherche :Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505
Mots-clés libres :Logique modale - Permission - Déontique - Epistémique - DEL - Complexité algorithmique - Décidabilité - Capacité de groupe
Sujets :Informatique
Déposé le :14 May 2012 15:06