Adaptive storytelling based on model-checking approaches - Archive ouverte HAL Access content directly
Journal Articles IJIGS Year : 2009

Adaptive storytelling based on model-checking approaches


Interactive scenarios are often represented as branching-like systems. This representation complexity is increased as options left to players grow. Each fork in the story force designers to define all possible choices and their following situations. We propose a formal model of scenario to ease designers task while granting the same freedom to players. In this model each entity is modeled as an automaton. These automata are then combined to build the scenario as all entity's actions sequences. The right sequence is then unfolded on line, while the player experience the story. The structure of the narration is guaranteed by properties verification on the model. These properties are set by designers to provide an interesting narrative frame to players. We implemented this method on an interactive game prototype linked to an expert system in charge of unfolding the story.
No file

Dates and versions

hal-00449356 , version 1 (21-01-2010)


  • HAL Id : hal-00449356 , version 1


Nicolas Rempulski, Armelle Prigent, Pascal Estraillier, Vincent Courboulay, Matthieu Perreira da Silva. Adaptive storytelling based on model-checking approaches. IJIGS, 2009, 5 (2), pp.33. ⟨hal-00449356⟩


92 View
0 Download


Gmail Facebook Twitter LinkedIn More