Une preuve est une histoire

Anne-Gwenn Bosser 1, * Maria-Virginia Aponte 2 Pierre Courtieu 2 Julien Forest 3, 2
* Auteur correspondant
1 Lab-STICC_ENIB_CID_IHSEV
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
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.
Type de document :
Communication dans un congrès
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. 2016
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01333581
Contributeur : Julien Signoles <>
Soumis le : vendredi 17 juin 2016 - 17:48:08
Dernière modification le : jeudi 13 septembre 2018 - 15:24:07

Fichier

bosser.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2016. 〈hal-01333581〉

Partager

Métriques

Consultations de la notice

206

Téléchargements de fichiers

50