A Method to Check the Satisfaction of Continuous-Time Constraints by Nonlinear Stories
Within an interactive storytelling context, stories are essentially nonlinear, i.e., they correspond to multiple alternative sequences of events and each event can usually have multiple different outcomes. In this context, branching-time logics tend to be a coherent option to handle the possible states of an interactive story. In addition, important properties of the stories, such as the emotions they generate, continuously vary over time. In this paper, we describe an implemented method to check whether (parts of) interactive stories satisfy continuous-time constraints specified by means of a temporal modal logic, assuming that the time is continuous and branched. The method was applied to a story context with variants of the Little Red Riding Hood fairy tale.
KeywordsInteractive Storytelling Constraint Programming Temporal Logics Continuous Change Branching Time
Unable to display preview. Download preview PDF.
- 1.Zagalo, N., Branco, V., Barker, A.: Emoção e Suspense no Storytelling Interactivo. In: Actas, Games 2004 - Workshop Entretenimento Digital e Jogos Interactivos, Lisbon, Portugal (2004)Google Scholar
- 3.Konur, S.: Real-time and probabilistic temporal logics: An overview. Cornell University Library (May 2010), http://arxiv.org/abs/1005.3200
- 4.Marriot, K., Stuckey, P.J.: Programming with Constraints. MIT Press (1998)Google Scholar
- 5.SICStus Prolog website, http://www.sics.se/isl/sicstuswww/site/index.html
- 6.SWI Prolog website, http://www.swi-prolog.org/
- 7.Plutchik, R.: A general psychoevolutionary theory of emotion. In: Plutchik, R., Kellerman, H. (eds.) Emotion: Theory, Research, and Experience. Theories of Emotion, vol. 1. Academic, New York (1980)Google Scholar
- 10.Thue, D., Bulitko, V., Spetch, M., Wasylishnen, E.: Interactive storytelling: A player modelling approach. In: Proceedings of the 4th Artificial Intelligence and Interactive Digital Entertainment Conference – AIIDE 2007, Stanford, California (2007)Google Scholar
- 11.El-Nasr, M.S.: Interaction, Narrative, and Drama Creating an Adaptive Interactive Narrative using Performance Arts Theories. Interaction Studies 8(2) (2007)Google Scholar