How Authors Benefit from Linear Logic in the Authoring Process of Interactive Storyworlds

  • Kim Dung Dang
  • Steve Hoffmann
  • Ronan Champagnat
  • Ulrike Spierling
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7069)


We present a case study of interactive story creation, in which we applied a proof mechanism based on Linear Logic to the authoring process. After initial scenario modeling for dynamic plot generation based on planning, we used the mechanism in iterations of refinements to find possible problems within a huge possibility space of resulting discourses. We describe first results of our case study, discuss prospects and limitations and point out future work.


Interactive Storytelling (IS) Authoring Planning Linear Logic Scenario Validation Proof Graph 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abrusci, V.M., Ruet, P.: Non-commutative logic I: The multiplicative fragment. Annals of Pure and Applied Logic 101, 29–64 (1999/2000)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Barros, L.M., Musse, S.R.: Planning algorithms for interactive storytelling. Computers in Entertainment 5(1) (2007)Google Scholar
  3. 3.
    Champagnat, R., Prigent, A., Estraillier, P.: Scenario building based on formal methods and adaptative execution. In: International Simulation and Gaming Association, ISAGA 2005, Atlanta, USA (2005)Google Scholar
  4. 4.
    Charles, F., Lozano, M., Mead, S.J., Bisquerra, A.F., Cavazza, M.: Planning Formalisms and Authoring in Interactive Storytelling. In: Proceedings of TIDSE 2003, Technologies for Interactive Digital Storytelling and Entertainment, ZGDV Computer Graphik Edition Band 9, pp. 216–225. Fraunhofer IRB Verlag, Stuttgart (2003)Google Scholar
  5. 5.
    Dang, K.D., Champagnat, R., Augeraud, M.: 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.O. (eds.) ICIDS 2010. LNCS, vol. 6432, pp. 153–164. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  6. 6.
    Fikes, R., Nilsson, N.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)CrossRefzbMATHGoogle Scholar
  7. 7.
    Girard, J.-Y.: Linear Logic. Theoretical Computer Science 50(1), 1–101 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Hebert, L.: Tools for Text and Image Analysis: An Introduction to Applied Semiotics, Texto! (2006), (last accessed September 13, 2011)
  9. 9.
    Hoffmann, S., Spierling, U., Struck, G.: A Practical Approach to Introduce Story Designers to Planning. In: Proceedings of GET 2011, IADIS International Conference Game and Entertainment Technologies, Rome (2011)Google Scholar
  10. 10.
    Indrzejczak, A.: Jaskowski and Gentzen approaches to natural deduction and related systems, pp. 253–264. The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers, Printed in the Netherlands (1998)zbMATHGoogle Scholar
  11. 11.
    LaValle, S.M.: Planning Algorithms. Cambridge University Press, Cambridge (2006)CrossRefzbMATHGoogle Scholar
  12. 12.
    Kim, J., Blythe, J.: Supporting plan authoring and analysis. In: Proceedings of the 8th International Conference on Intelligent User Interfaces, pp. 109–116 (2003)Google Scholar
  13. 13.
    Kriegel, M., Aylett, R., Dias, J., Paiva, A.: An Authoring Tool for an Emergent Narrative Storytelling System. In: AAAI Fall, Symposium on Intelligent Narrative Technologies (2007)Google Scholar
  14. 14.
    Medler, B., Magerko, B.: Scribe: A Tool for Authoring Event Driven Interactive Drama. In: Göbel, S., Malkewitz, R., Iurgel, I. (eds.) TIDSE 2006. LNCS, vol. 4326, pp. 139–150. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  15. 15.
    Pizzi, D., Cavazza, M.: From Debugging to Authoring: Adapting Productivity Tools to Narrative Content Description. In: Spierling, U., Szilas, N. (eds.) ICIDS 2008. LNCS, vol. 5334, pp. 285–296. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  16. 16.
    Riedl, M.O.: Incorporating Authorial Intent into Generative Narrative Systems. In: Proceedings of the AAAI Spring Symposium on Intelligent Narrative Technologies II, Palo Alto, California (2009)Google Scholar
  17. 17.
    Russell, S., Norvig, P.: Artificial Intelligence – A Modern Approach, 2nd edn. Pearson Education International, Prentice Hall, Upper Saddle River, USA (2003)zbMATHGoogle Scholar
  18. 18.
    Skorupski, J.: Storyboard authoring of plan-based interactive dramas. In: Proceedings of the 4th International Conference on Foundations of Digital Games (FDG 2009), Orlando, USA (2009)Google Scholar
  19. 19.
    Spierling, U.: Adding Aspects of “Implicit Creation” to the Authoring Process in Interactive Storytelling. In: Cavazza, M., Donikian, S. (eds.) ICVS-VirtStory 2007. LNCS, vol. 4871, pp. 13–25. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  20. 20.
    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
  21. 21.
    Thomas, J.M., Young, R.M.: Author in the Loop: Using Mixed-Initiative Planning to Improve Interactive Narrative. In: Workshop on AI Planning for Computer Games and Synthetic Characters (ICAPS 2006), Ambleside, The English Lake District, UK (2006)Google Scholar
  22. 22.
    Vega, L., Natkin, S.: A petri net model for the analysis of the ordering of actions in computer games. In: Proceedings of 4th Annual European GAME-ON Conference, London, United Kingdom (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Kim Dung Dang
    • 1
  • Steve Hoffmann
    • 2
  • Ronan Champagnat
    • 1
  • Ulrike Spierling
    • 2
  1. 1.University of La Rochelle - L3iLa RochelleFrance
  2. 2.Faculty DCSMHochschule RheinMain, University of Applied SciencesWiesbadenGermany

Personalised recommendations