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

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

Topics

3 Figures and Tables

Slides referencing similar topics