Linear Logic Validation and Hierarchical Modeling for Interactive Storytelling Control.

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.