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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Glassner, A.: Interactive Storytelling: Techniques for 21st Century Fiction. A K Peters, Ltd., Natick (2004)
Juul, J.: A Clash Between Game and Narrative. In: Digital Arts and Culture Conference, Bergen (1998)
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)
Magerko, B.: Story Representation and Interactive Drama. In: 1st Artificial Intelligence and Interactive Digital Entertainment Conference, Los Angeles, California (2005)
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)
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)
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)
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)
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)
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)
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)
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)
Girard, J.-Y.: Linear Logic. Theoretical Computer Science 50(1), 1–101 (1987)
Lafont, Y.: Introduction to Linear Logic. In: Lecture notes from TEMPUS Summer School on Algebraic and Categorical Methods in Computer Science, Czech Republic (1993)
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)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Girault, F.: Using linear logic to formalize Petri nets (in French). PhD Thesis, University of Toulouse III, France (1997)
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)
Julia, S., Valette, R.: Real time scheduling of batch systems. Simulation Practice and Theory 8(5), 307–319 (2000)
Hebert, L.: Tools for Text and Image Analysis: An Introduction to Applied Semiotics, Texto! (2006), http://www.revue-texto.net/Parutions/Livres-E/Hebert_AS/Hebert_Tools.html
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-642-16638-9_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-16638-9_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16637-2
Online ISBN: 978-3-642-16638-9
eBook Packages: Computer ScienceComputer Science (R0)