Generative Story Worlds as Linear Logic Programs

Linear logic programming languages have been identi-fied in prior work as viable for specifying stories and analyzing their causal structure. We investigate the use of such a language for specifying story worlds, or set-tings where generalized narrative actions have uniform effects (not specific to a particular set of characters or setting elements), which may create emergent behavior through feedback loops. We show a sizable example of a story world specified in the language Celf and discuss its interpretation as a story-generating program, a simulation, and an interac-tive narrative. Further, we show that the causal analysis tools available by virtue of using a proof-theoretic lan-guage for specification can assist the author in reason-ing about the structure and consequences of emergent stories