Ce blog servira à regrouper les informations concernant le séminaire STL consacré aux théories formelles de la révision des croyances.

Une présentation du projet motivant ce séminaire ainsi que des liens bibliographiques sont disponibles.

Afin de fixer au plus vite une première date ainsi qu'un projet, vous pouvez laisser un commentaire ou un message : belief.revision à hotmail point com

Il serait intéressant que toutes les personnes intéressées par ce séminaire puisse indiquer leurs disponibilités (et leurs préférences) (pour le semestre à venir) le plus rapidement possible en laissant un commentaire à cet article, afin qu'elles deviennent connaissance commune.

n enfants jouent ensemble. Pendant qu’ils jouent k>1 d’entre eux se retrouvent avec de la boue sur le front. Chacun voit la boue sur le visage des autres mais pas sur le sien. Bien entendu ils n’échangent pas un mot à ce sujet. Arrive le père qui énonce « au moins un d’entre vous a de la boue sur son front », ce que tous les enfants savent déjà, et demande : « ceux d’entre vous qui savent s’ils ont de la boue sur leur front, avancent d’un pas ! ». (On suppose que les enfants agissent selon la vérité et n’ont aucune limitation cognitive.)
0.Combien de fois le père pose-t-il la question avant que tous les enfants avancent ? Preuve ?
1.Peut-on proposer un modèle modal et une preuve modale ?
2.Que se passe-t-il si les enfants parlent chacun leur tour ?
3.Quelle est la structure du jeu dans les deux cas ? Quels concepts de solutions peut-on convoquer ?
4.Quel est l'algorithme de décision des enfants ?