How authors benefit from linear logic in the authoring process of interactive storyworlds

Authors:
Kim Dung Dang;Steve Hoffmann;Ronan Champagnat;Ulrike Spierling
Affiliations:
University of La Rochelle - L3i, La Rochelle, France;Faculty DCSM, Hochschule RheinMain, University of Applied Sciences, Wiesbaden, Germany;University of La Rochelle - L3i, La Rochelle, France;Faculty DCSM, Hochschule RheinMain, University of Applied Sciences, Wiesbaden, Germany
Venue:
ICIDS'11 Proceedings of the 4th international conference on Interactive Digital Storytelling
Year:
2011

Citing 11
Cited 0

Linear logic

Theoretical Computer Science
Supporting plan authoring and analysis

Proceedings of the 8th international conference on Intelligent user interfaces
Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
Planning Algorithms

Planning Algorithms
Planning algorithms for interactive storytelling

Computers in Entertainment (CIE) - Interactive entertainment
From Debugging to Authoring: Adapting Productivity Tools to Narrative Content Description

ICIDS '08 Proceedings of the 1st Joint International Conference on Interactive Digital Storytelling: Interactive Storytelling
Storyboard authoring of plan-based interactive dramas

Proceedings of the 4th International Conference on Foundations of Digital Games
Iterative Authoring Using Story Generation Feedback: Debugging or Co-creation?

ICIDS '09 Proceedings of the 2nd Joint International Conference on Interactive Digital Storytelling: Interactive Storytelling
Adding aspects of "Implicit creation" to the authoring process in interactive storytelling

ICVS'07 Proceedings of the 4th international conference on Virtual storytelling: using virtual reality technologies for storytelling
Modeling of interactive storytelling and validation of scenario by means of linear logic

ICIDS'10 Proceedings of the Third joint conference on Interactive digital storytelling
Scribe: a tool for authoring event driven interactive drama

TIDSE'06 Proceedings of the Third international conference on Technologies for Interactive Digital Storytelling and Entertainment

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.