A Methodology to Validate Interactive Storytelling Scenarios in Linear Logic

Debugging is one of the main requirements for Interactive Storytelling (IS) authoring tools. During the authoring phase, authors have to specify large numbers of rules and actions as well as consider many possible paths. As a consequence, flaws may happen and finding them “by hand” is complex. Therefore the validation of an IS becomes a crucial issue and automatic assistance in this process is needful. Originated from those requirements, we propose, within the framework of this paper, a methodology using Linear Logic, based on analyzing automatically the resource allocation mechanisms, that helps authors derive a valid scenario of an IS. To do this, we model a scenario by a Linear Logic sequent, then prove the received sequent, which allows building and examining automatically all the possible branches in the scenario, thereby authors may guarantee that all the decisions (that may be made while unfolding the IS) lead to satisfactory endings of their goals. The paper ends with an example on an extract of an educational game to illustrate the methodology.

[1]  Stefan Göbel,et al.  Story Pacing in Interactive Storytelling , 2006, Edutainment.

[2]  Ulrich Endriss,et al.  Modelling Multilateral Negotiation in Linear Logic , 2010, ECAI.

[3]  Mark O. Riedl,et al.  Narrative generation: balancing plot and character , 2004 .

[4]  Ido Iurgel,et al.  Design and Narrative Structure for the Virtual Human Scenarios , 2007, Int. J. Virtual Real..

[5]  Didier Galmiche,et al.  LINK: A Proof Environment Based on Proof Nets , 2002, TABLEAUX.

[6]  Guylain Delmas,et al.  From Tabletop RPG to Interactive Storytelling: Definition of a Story Manager for Videogames , 2009, ICIDS.

[7]  Jihie Kim,et al.  Supporting plan authoring and analysis , 2003, IUI '03.

[8]  Max I. Kanovich,et al.  Linear Logic as a Logic of Computations , 1994, Ann. Pure Appl. Log..

[9]  R. Aylett,et al.  Shaping Emergent Narratives for a Pedagogical Application , 2007 .

[10]  Ronan Champagnat,et al.  Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic , 2010, ICIDS.

[11]  Stéphane Natkin,et al.  Petri Net Modelling for the Analysis of the Ordering of Actions in Computer Games , 2003, GAME-ON.

[12]  Ana Paiva,et al.  FearNot! - An Experiment in Emergent Narrative , 2005, IVA.

[13]  Louis Hébert,et al.  Louis Hébert , Tools for Text and Image Analysis : An Introduction to Applied Semiotics , 2006 .

[14]  Marc Cavazza,et al.  Character-Based Interactive Storytelling , 2002, IEEE Intell. Syst..

[15]  Andrzej Indrzejczak,et al.  Jaśkowski and Gentzen Approaches to Natural Deduction and Related Systems , 1998 .

[16]  R. Michael Young,et al.  An architecture for integrating plan-based behavior generation with interactive game environments , 2004, J. Game Dev..

[17]  R. Aylett Narrative in Virtual Environments - Towards Emergent Narrative , 1999 .

[18]  Hua Wang,et al.  Serious video game effectiveness , 2007, ACE '07.

[19]  Peep Kngas Using Linear Logic Planning to Make Knowledge Bases Reactive , 2001 .

[20]  Paul Ruet,et al.  Non-Commutative Logic I: The Multiplicative Fragment , 1999, Ann. Pure Appl. Log..

[21]  M. Nivat Fiftieth volume of theoretical computer science , 1988 .

[22]  Roy Dyckhoff Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.

[23]  Nicolas Szilas,et al.  IDtension: a narrative engine for Interactive Drama , 2003 .

[24]  Woontack Woo,et al.  Technologies for E-Learning and Digital Entertainment, Third International Conference, Edutainment 2008, Nanjing, China, June 25-27, 2008, Proceedings , 2008, Edutainment.

[25]  Stacy Marsella,et al.  Directorial Control in a Decision-Theoretic Framework for Interactive Narrative , 2009, ICIDS.

[26]  Jesper Juul,et al.  A Clash between Game and Narrative , 2011 .

[27]  Guylain Delmas,et al.  A storytelling model for educational games: Hero's interactive journey , 2010 .

[28]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[29]  Brian Magerko,et al.  Story Representation and Interactive Drama , 2005, AIIDE.

[30]  Marc Cavazza,et al.  From Debugging to Authoring: Adapting Productivity Tools to Narrative Content Description , 2008, ICIDS.

[31]  Jaime G. Carbonell,et al.  Interactive drama, art and artificial intelligence , 2002 .