Computer Science Speaking Skills Talk

  • Gates&Hillman Centers
  • Traffic21 Classroom 6501
  • Ph.D. Student
  • Computer Science Department
  • Carnegie Mellon University
Speaking Skills

Generative Story Worlds as Linear Logic Programs

Linear logic programming languages have been identified as viable for specifying stories and analyzing their causal structure. We investigate the use of such a language for specifying story worlds, or settings 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 interactive narrative. Further, we show that the causal analysis tools available by virtue of using a proof-theoretic language for specification can assist the author in reasoning about the structure and consequences of emergent stories.

Note: this talk mentions suicide within a storytelling context.

Presented in Partial Fulfillment of the CSD Speaking Skills Requirement.

For More Information, Please Contact: