Modeling of interactive storytelling and validation of scenario by means of linear logic

  • Authors:

  • Kim Dung Dang;Ronan Champagnat;Michel Augeraud

  • Affiliations:

  • La Rochelle University, L3i, La Rochelle, France;La Rochelle University, L3i, La Rochelle, France;La Rochelle University, L3i, La Rochelle, France

  • Venue:
  • ICIDS'10 Proceedings of the Third joint conference on Interactive digital storytelling
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Research on Interactive Storytelling has mainly focused on the opposition between a discourse point of view and a character point of view for a story. In this paper, we propose an approach to model Interactive Storytelling using Linear Logic, which is a support for reasoning on both points of view. Then we give an example on an educational game that shows the possibility of validating a scenario of a story, by applying the proof graph of a Linear Logic sequent. Finally we discuss about issues which should be settled and future works to be done on the Linear Logic approach for the IS modeling.