Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic

  • Kim Dung Dang
  • Ronan Champagnat
  • Michel Augeraud
Conference paper

DOI: 10.1007/978-3-642-16638-9_20

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6432)
Cite this paper as:
Dang K.D., Champagnat R., Augeraud M. (2010) Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic. In: Aylett R., Lim M.Y., Louchart S., Petta P., Riedl M. (eds) Interactive Storytelling. ICIDS 2010. Lecture Notes in Computer Science, vol 6432. Springer, Berlin, Heidelberg

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.

Keywords

Linear Logic Interactive Storytelling formal model validation of scenario Interactive Storytelling controller 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Kim Dung Dang
    • 1
  • Ronan Champagnat
    • 1
  • Michel Augeraud
    • 1
  1. 1.La Rochelle University - L3iLa RochelleFrance

Personalised recommendations