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

  • Kim Dung Dang
  • Ronan Champagnat
  • Michel Augeraud
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6432)


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.


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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Glassner, A.: Interactive Storytelling: Techniques for 21st Century Fiction. A K Peters, Ltd., Natick (2004)Google Scholar
  2. 2.
    Juul, J.: A Clash Between Game and Narrative. In: Digital Arts and Culture Conference, Bergen (1998)Google Scholar
  3. 3.
    Delmas, G., Champagnat, R., Augeraud, M.: From Tabletop RPG to Interactive Storytelling: Definition of a Story Manager for Videogames. In: Iurgel, I.A., Zagalo, N., Petta, P. (eds.) ICIDS 2009. LNCS, vol. 5915, pp. 121–126. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  4. 4.
    Magerko, B.: Story Representation and Interactive Drama. In: 1st Artificial Intelligence and Interactive Digital Entertainment Conference, Los Angeles, California (2005)Google Scholar
  5. 5.
    Riedl, M.O., Saretto, C.J., Young, R.M.: Managing interaction between users and agents in a multi-agent storytelling environment. In: AAMAS, pp. 741–748. ACM, New York (2003)Google Scholar
  6. 6.
    Young, R.M., Riedl, M.O., Brandy, M., Martin, J., Saretto, C.J.: An Architecture for Integrating Plan-Based Behavior Generation with Interactive Game Environments. Journal of Game Development, 51–70 (2004)Google Scholar
  7. 7.
    Si, M., Marsella, S.C., Pynadath, D.V.: Directorial Control in a Decision-Theoretic Framework for Interactive Narrative. In: Iurgel, I.A., Zagalo, N., Petta, P. (eds.) ICIDS 2009. LNCS, vol. 5915, pp. 221–233. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Aylett, R.: Narrative in Virtual Environments – Towards Emergent Narrative. In: Proceedings of the AAAI Symposium on Narrative Intelligence, pp. 83–86. AAAI Press, Menlo Park (1999)Google Scholar
  9. 9.
    Cavazza, M., Charles, F., Mead, S.J.: Character-based Interactive Storytelling. In: IEEE Intelligent Systems, special issue on AI in Interactive Entertainment, pp. 17–24 (2002)Google Scholar
  10. 10.
    Swartjes, I., Theune, M.: Iterative Authoring Using Story Generation Feedback: Debugging or Co-creation? In: Iurgel, I.A., Zagalo, N., Petta, P. (eds.) ICIDS 2009. LNCS, vol. 5915, pp. 62–73. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Brom, C., Bida, M., Gemrot, J., Kadlec, R., Plch, T.: Emohawk: Searching for a “Good” Emergent Narrative. In: Iurgel, I.A., Zagalo, N., Petta, P. (eds.) ICIDS 2009. LNCS, vol. 5915, pp. 86–91. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  12. 12.
    Champagnat, R., Prigent, A., Estraillier, P.: Scenario building based on formal methods and adaptative execution. In: ISAGA 2005 - International Simulation and Gaming Association, Atlanta, USA (2005)Google Scholar
  13. 13.
    Girard, J.-Y.: Linear Logic. Theoretical Computer Science 50(1), 1–101 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Lafont, Y.: Introduction to Linear Logic. In: Lecture notes from TEMPUS Summer School on Algebraic and Categorical Methods in Computer Science, Czech Republic (1993)Google Scholar
  15. 15.
    Indrzejczak, Jaskowski: Gentzen approaches to natural deduction and related systems. The Lvov-Warsaw School and Contemporary Philosophy, pp. 253–264. Kluwer Academic Publishers, The Netherlands (1998)Google Scholar
  16. 16.
    Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  17. 17.
    Girault, F.: Using linear logic to formalize Petri nets (in French). PhD Thesis, University of Toulouse III, France (1997)Google Scholar
  18. 18.
    Küngas, P.: Using Linear Logic Planning to Make Knowledge Bases Reactive. In: Proceedings of Seventh Symposium on Programming Languages and Software Tools, Szeged, Hungary, pp. 135–148 (2001)Google Scholar
  19. 19.
    Julia, S., Valette, R.: Real time scheduling of batch systems. Simulation Practice and Theory 8(5), 307–319 (2000)CrossRefzbMATHGoogle Scholar
  20. 20.
    Hebert, L.: Tools for Text and Image Analysis: An Introduction to Applied Semiotics, Texto! (2006),
  21. 21.
    Cavazza, M., Champagnat, R., Leonardi, R.: the IRIS Consortium.: The IRIS Network of Excellence: Future Directions in Interactive Storytelling. In: Iurgel, I.A., Zagalo, N., Petta, P. (eds.) ICIDS 2009. LNCS, vol. 5915, pp. 8–13. Springer, Heidelberg (2009)CrossRefGoogle Scholar

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