Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic
- Cite this paper as:
- Dang K.D., Champagnat R., Augeraud M. (2010) Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic. In: Aylett R., Lim M.Y., Louchart S., Petta P., Riedl M. (eds) Interactive Storytelling. ICIDS 2010. Lecture Notes in Computer Science, vol 6432. Springer, Berlin, Heidelberg
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.
KeywordsLinear Logic Interactive Storytelling formal model validation of scenario Interactive Storytelling controller
Unable to display preview. Download preview PDF.