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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6432 LNCS, Issue , 2010, Pages 153-164

  Dang, Kim Dung ^a   Champagnat, Ronan ^a   Augeraud, Michel ^a  

^a UNIVERSITÉ DE LA ROCHELLE   (France)

Author keywords

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

Indexed keywords

EDUCATIONAL GAME; FORMAL MODEL; INTERACTIVE STORYTELLING; LINEAR LOGIC; VALIDATION OF SCENARIO;

HUMAN COMPUTER INTERACTION; COMPUTER CIRCUITS;

HUMAN COMPUTER INTERACTION; LINEAR ALGEBRA;

EID: 78650019210     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16638-9_20     Document Type: Conference Paper

References (21)

1. st Century Fiction. A K Peters, Ltd., Natick (2004)
2. Juul, J.: A Clash Between Game and Narrative. In: Digital Arts and Culture Conference, Bergen (1998)
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)
4. st Artificial Intelligence and Interactive Digital Entertainment Conference, Los Angeles, California (2005)
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)
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)
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)
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)
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)
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)
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)
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)
13. Girard, J.-Y.: Linear Logic. Theoretical Computer Science 50(1), 1-101 (1987)
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)
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)
16. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541-580 (1989)
17. Girault, F.: Using linear logic to formalize Petri nets (in French). PhD Thesis, University of Toulouse III, France (1997)
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)
19. Julia, S., Valette, R.: Real time scheduling of batch systems. Simulation Practice and Theory 8(5), 307-319 (2000) (Pubitemid 32034526)
20. 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
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)