Pour une raison mystérieuse la publicité est apparue. En attendant une solution, la prochaine séance aura lieu le Mardi 3 Octobre de 12h à 14h à la Maison de la Recherche (Lille 3) en salle 008. Ce sera une séance préparatoire, qui n'avait pu avoir lieu faute d'un nombre suffisant de participants.

 Nous sommes très heureux de pouvoir confirmer les Interventions suivantes :

Nicholas Asher (IRIT, Toulouse)
Salem Benferhat (CRIL, Lens)
Frédéric Jouneau (GREMARS, Lille)
Erik Olsson (Lunds Universitet, Suède)
Gabriella Pigozzi (King's College's DCS, Londres)

Ces interventions auront lieu entre janvier et mars. Les dates définitives et les objets seront indiqués dès que possible !

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 ?