Déduction — Raisonnement sur l'information

Au programme

• Dans un modèle de logique épistémique, que produit idéalement une annonce publique vraie adressée à tous les agents ?
• Quelle formulation distingue correctement le savoir mutuel de la connaissance commune ?
• Dans l'énigme des enfants aux fronts boueux, trois enfants sont boueux, chacun voit les autres, et tous entendent…
• Dans une énigme où une personne annonce publiquement « Je ne sais pas si la proposition P est vraie », quelle…
• Un agent A annonce publiquement : « Je sais que l'agent B ne connaît pas la valeur de P. » Que révèle principalement…
• Pourquoi les annonces d'ignorance successives sont-elles souvent déterminantes dans les énigmes épistémiques ?
• Dans un modèle à mondes possibles, si deux mondes sont indiscernables pour l'agent A mais rendent la proposition P…
• Une annonce publique vraie peut accroître le savoir des autres agents, même si le contenu de l'annonce était déjà…