Generative Story Worlds as Linear Logic Programs

Abstract

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

Similar works

Full text

thumbnail-image
oai:CiteSeerX.psu:10.1.1.995.1826Last time updated on 11/2/2017

This paper was published in CiteSeerX.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.