How Authors Benefit from Linear Logic in the Authoring Process of Interactive Storyworlds

We present a case study of interactive story creation, in which we applied a proof mechanism based on Linear Logic to the authoring process. After initial scenario modeling for dynamic plot generation based on planning, we used the mechanism in iterations of refinements to find possible problems within a huge possibility space of resulting discourses. We describe first results of our case study, discuss prospects and limitations and point out future work.

[1]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[2]  Soraia Raupp Musse,et al.  Planning algorithms for interactive storytelling , 2007, CIE.

[3]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[4]  Brian Magerko,et al.  Scribe: A Tool for Authoring Event Driven Interactive Drama , 2006, TIDSE.

[5]  James M. Thomas.  Author in the Loop : Using Mixed-Initiative Planning to Improve Interactive Narrative , 2006 .

[6]  Ana Paiva,et al.  An Authoring Tool for an Emergent Narrative Storytelling System , 2007, AAAI Fall Symposium: Intelligent Narrative Technologies.

[7]  Katarzyna Kijania-Placek,et al.  The Lvov-Warsaw School and Contemporary Philosophy , 1998 .

[8]  James Skorupski.  Storyboard authoring of plan-based interactive dramas , 2009, FDG.

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

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

[11]  Ulrike Spierling.  Adding Aspects of "Implicit Creation" to the Authoring Process in Interactive Storytelling , 2007, International Conference on Virtual Storytelling.

[12]  Fred Charles,et al.  Planning formalisms and authoring in interactive storytelling , 2003 .

[13]  Steven M. LaValle,et al.  Planning algorithms , 2006 .

[14]  Ivo Swartjes,et al.  Iterative Authoring Using Story Generation Feedback: Debugging or Co-creation? , 2009, ICIDS.

[15]  Stefan Göbel,et al.  Technologies for Interactive Digital Storytelling and Entertainment, Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006 , 2006, TIDSE.

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

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

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

[19]  Mark O. Riedl.  Incorporating Authorial Intent into Generative Narrative Systems , 2009, AAAI Spring Symposium: Intelligent Narrative Technologies II.

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

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

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

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