Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic

Abstract

Abstract. Research on Interactive Storytelling has mainly focused on the opposition between a discourse point of view and a character point of view for a story. In this paper, we propose an approach to model Interactive Storytelling using Linear Logic, which is a support for reasoning on both points of view. Then we give an example on an educational game that shows the possibility of validating a scenario of a story, by applying the proof graph of a Linear Logic sequent. Finally we discuss about issues which should be settled and future works to be done on the Linear Logic approach for the IS modeling.

A Methodology to Validate Interactive Storytelling Scenarios in Linear Logic

“…It is an extract of an educational game which warns of domestic electrical accidents whose objective consists in causing an electric shock for the player [6]. At first, the game designer anticipates that the player, from her/his initial position, will go to the kitchen, where the IS controller will start the strategy of causing the electric shock for her/him, via appliances there such as a fridge, a microwave oven, an electric cooker,… However, what will happen if the player does not go into the kitchen, but has other choices, for instance, staying at the initial position to work or going to the bathroom?…”

“…In previous works [5,6], we showed how to use Linear Logic to model an IS thanks to which the strong points of both the discourse point of view and the character point of view are combined (i.e. the story development is coherent and leads to authors' desired effects while still ensuring player's freedom and her/his determinant role on the story's unfolding).…”

A methodology to derive a valid scenario of an interactive storytelling

“…It is an extract of an educational game which warns of domestic electrical accidents (DEA game) whose objective consists in causing an electric shock for the player [4]. At first, the game designer (author) anticipates that the player, from an initial position, will go to the kitchen, where the IS controller will start the strategy of causing the electric shock for her/him, via appliances there such as a fridge, a microwave oven, an electric cooker,… However, besides the possibility of going to the kitchen, the player may have other choices, for instance, staying at the initial position to work or going to the bathroom.…”

“…In previous works [3,4], we showed how to use Linear Logic to model an IS thanks to which the strong points of both the discourse point of view and the character point of view are combined. In addition, in order to apply this approach to creating interactive video games, we have developed a system assuring a set of objectives [5]: the player does not feel constrained by the game but s/he can determine its evolution; the virtual world must provide a coherent environment that is appropriate for player's actions; the progress of the game has to respect a structure of discourse (a common structure of a discourse is made of introduction; stating problems; solving them step by step; conclusion) which has been pre-defined by an expert of the domain (author/designer).…”

“…

ABSTRACTIn previous works [3,4], we showed how to use Linear Logic to model an Interactive Storytelling (IS). Proceeding from the achieved results, this paper introduces a methodology for authors to derive a valid scenario of an IS.

…”