Adaptive storytelling based on model-checking approaches

Abstract : 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.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00449356
Contributor : Nicolas Rempulski <>
Submitted on : Thursday, January 21, 2010 - 12:42:26 PM
Last modification on : Wednesday, September 11, 2019 - 11:00:13 AM

Identifiers

  • HAL Id : hal-00449356, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

127