Abstract
The games are typical interactive applications where the system has to react to user actions and behavior with respect to some predefined rules established by the designer. The storytelling allows the interactive system to unfold the scenario of the game story according to these inputs and constraints. In order to improve system’s behavior, the scenario should be structured and the system’s control should be validated. In this paper, we deal with these two issues. We first show how to validate Interactive Storytelling (IS) control using Linear Logic (LL). Then we present “situation-based” hierarchical scenario structuring which allows the state space reduction.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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. (eds.) ICIDS 2010. LNCS, vol. 6432, pp. 153–164. Springer, Heidelberg (2010)
Juul, J.: A Clash Between Game and Narrative. In: Digital Arts and Culture Conference, Bergen (1998)
Magerko, B.: Story Representation and Interactive Drama. In: 1st Artificial Intelligence and Interactive Digital Entertainment Conference, Los Angeles, California (2005)
Mateas, M.: Interactive Drama, Art, and Artificial Intelligence. PhD Thesis, School of Computer Science, Carnegie Mellon University (2002)
Trillaud, F., Pham, P.T., Rabah, M., Estraillier, P., Malki, J.: Online Distant Learning Using Situation-based Scenario. In: CSEDU 2012 (2012)
Wong, W.L., Cuihua, S., Nocera, L., Carriazo, E., Tang, F., Bugga, S., Narayanan, H., Wang, H., Ritterfield, U.: Serious video game effectiveness. In: Proceedings of the ACE 2007 Conference, Salzburg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Dang, K.D., Pham, P.T., Champagnat, R., Rabah, M. (2013). Linear Logic Validation and Hierarchical Modeling for Interactive Storytelling Control. In: Reidsma, D., Katayose, H., Nijholt, A. (eds) Advances in Computer Entertainment. ACE 2013. Lecture Notes in Computer Science, vol 8253. Springer, Cham. https://doi.org/10.1007/978-3-319-03161-3_44
Download citation
DOI: https://doi.org/10.1007/978-3-319-03161-3_44
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03160-6
Online ISBN: 978-3-319-03161-3
eBook Packages: Computer ScienceComputer Science (R0)