École d'été | 9 juin 2026 : Formalization of belief change par Florence Dupin de Saint-Cyr

Valeur des informations & solidité de l’argumentation

La conférence apporte une valeur certaine en établissant des ponts entre des domaines souvent séparés : la logique du changement de croyance et la narratologie. L’argumentation est solide, s’appuyant sur des travaux classiques (AGM, Katsuno-Mendelzon) et des exemples concrets. La distinction entre révision et mise à jour est clairement expliquée et illustrée. L’idée que l’écoute d’une histoire est une forme de révision de croyance est originale et ouvre des perspectives pour l’IA explicable. La présentation est structurée et progressive, même si certaines parties théoriques peuvent être denses.

Rigueur scientifique, qualité des sources, adéquation du titre

La rigueur scientifique est bonne : l’exposé s’appuie sur des travaux fondateurs et des références académiques. Les sources ne sont pas toutes citées explicitement, mais les concepts sont bien identifiés (AGM, Katsuno-Mendelzon, système P). Le titre est en adéquation avec le contenu, bien que le titre original mentionne ‘belief change’ et que la présentation inclue aussi la narration. La qualité des sources est bonne, mais l’absence de références précises dans la description limite la vérification. Aucun commentaire n’est fourni, donc aucune analyse des tendances du public n’est possible.

Le titre est précis et correspond exactement au contenu : formalisation du changement de croyance, présentée dans le cadre d'une école d'été.

8/10

Exposé structuré et rigoureux, s'appuyant sur des travaux fondateurs (AGM, Katsuno-Mendelzon) et des représentations formelles. La présentation est claire et didactique, avec des exemples illustratifs. Quelques limites : pas de démonstration formelle complète, mais une vulgarisation de haut niveau.

Repères établis par PSI à partir de la transcription : le créateur n'a pas défini de chapitres.

• 00:00Introduction et remerciements
• 02:00Pourquoi formaliser le raisonnement ?
• 05:00Représentation des connaissances et inférence
• 10:00IA basée sur les données vs IA symbolique
• 15:00Pyramide données-information-connaissance-conscience
• 20:00Défis du changement de croyance
• 25:00Théorie du changement de croyance : révision vs mise à jour
• 30:00Postulats AGM et théorème de représentation
• 35:00Mise à jour et postulats de Katsuno-Mendelzon
• 40:00Raisonnement non monotone et classements de plausibilité
• 45:00Application aux histoires et à la narration
• 50:00Exemple de blague et conclusion

• Belief revision (AGM theory) — Référence aux postulats AGM pour la révision de croyances.
• Non-monotonic logic — Discussion sur le raisonnement non monotone et le système P.
• Narratology — Étude des techniques narratives et de la narration.

• Belief revision — Article de la Stanford Encyclopedia of Philosophy sur la révision de croyances, en accord avec les concepts présentés.
• Non-monotonic logic — Article de la Stanford Encyclopedia of Philosophy sur la logique non monotone, en accord avec les notions de système P.