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… (More)
DOI: 10.1007/978-3-642-25289-1_27


3 Figures and Tables

Slides referencing similar topics