Skip to Main content Skip to Navigation
Conference papers

Une preuve est une histoire

Anne-Gwenn Bosser 1, * Maria-Virginia Aponte 2 Pierre Courtieu 2 Julien Forest 3, 2
* Corresponding author
1 Lab-STICC_ENIB_CID_IHSEV
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
Résumé : La narration computationnelle est un sous-domaine de l'Intelligence Artificielle, lié notamment aux problèmes de représentation des connaissances et en particulier à la représentation des actions et du changement. On s'y intéresse aux objets narratifs (littéraires, interactifs, cinématographiques) pour les comprendre, les analyser, ou les construire, en proposant des techniques qui peuvent être mises en oeuvre par des programmes et systèmes informatiques. C'est un domaine qui a des applications dans le domaine des jeux vidéos ou jeux utiles par exemple. Nous proposons de revenir dans cet exposé sur la motivation et les fondements d'un travail en cours, qui repose sur une connivence entre la structure des preuves en logique linéaire et la structure d'histoires interactives. Bien qu'ayant déjà donné lieu à une interprétation opérationnelle, cette approche a laissé des pistes inexplorées, surtout en ce qui concerne une normalisation et modularité de preuves/histoires dans un sous-ensemble ad hoc de la logique linéaire. Certaines idées ont été explorées en 2011 à l'aide de Coq et nous aimerions partager et échanger au sujet de nos projets actuels pour approfondir ce travail.
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-01333581
Contributor : Julien Signoles <>
Submitted on : Friday, June 17, 2016 - 5:48:08 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:24 PM

File

bosser.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01333581, version 1

Citation

Anne-Gwenn Bosser, Maria-Virginia Aponte, Pierre Courtieu, Julien Forest. Une preuve est une histoire. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. ⟨hal-01333581⟩

Share

Metrics

Record views

269

Files downloads

109