Séminaire Codes Sources du jeudi 1er juin 2023 : Machines pour raconter

L'Irill accueille les prochaines séances du séminaire Codes Sources : http://codesource.hypotheses.org/

L'objectif du séminaire Codes sources est de présenter la pensée informatique là où elle s'exprime le plus concrètement : dans les textes que sont les codes sources.

Séance du jeudi 1er juin 2023, 14h-16h :

Anne-Gwen BOSSER (ENIB, Lab-STICC CNRS UMR 6285, équipe COMMEDIA) et Pierre COURTIEU (Cédric, Cnam) :

« Machines pour raconter »

Résumé :

Chez les humains, les histoires sont une forme de communication utilisée pour faire sens du monde et de ce qui nous arrive, et les tentatives de mécanisation de la production de récits pré-datent largement les IA statistiques. La narration computationnelle a d’ailleurs fourni la toile de fond pour plusieurs contributions à la représentation des connaissances. Elle propose également un cadre formel pour présenter des événements en suivant des objectifs communicationnels précis.

Nous reviendrons sur nos travaux sur la formalisation et la manipulation des structures narratives en logique linéaire, et en particulier sur l’utilisation de l’assistant de preuve Coq pour l’étude des propriétés formelles des récits interactifs. Plus précisément, nous décrivons une méthode de modélisation des ressources et des actions narratives, ainsi que des contraintes sur la fin de l'histoire sous la forme d'un séquent ILL. Nous décrirons comment des récits bien formés peuvent être interprétés à partir d'arbres de preuve sans coupure du séquent obtenu à l'aide de Coq. Enfin, nous décrivons comment raisonner sur les récits au niveau structurel à l'aide de Coq : en permettant de prouver des propriétés du second ordre sur l'ensemble de toutes les preuves générées par un séquent, Coq facilite la vérification des propriétés structurelles des récits à travers toutes ses variantes possibles.

Lieu :

en chair et en os à l'IRILL : métro Jussieu (lignes 7 et 10), 4 place Jussieu, 75005 Paris - rentrer dans le bâtiment Esclangon ; - à gauche, emprunter l'escalier extérieur jusqu'au 1er étage ; - sur le plateau SCAI, longer le tableau noir puis les baies vitrées ;
- la salle Séminaire se trouve au fond à gauche

ou par vidéoconférence : https://galene.irill.org/group/irill/codessources/ (avec un identifiant quelconque et un mot de passe vide)