Computer Science Speaking Skills Talk

Speaking Skills
Ph.D. Student
Computer Science Department
Carnegie Mellon University
Generative Story Worlds as Linear Logic Programs
Wednesday, July 23, 2014 - 10:30am to 11:30am
Traffic21 Classroom 6501 
Gates&Hillman Centers
Abstract:

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.

Keywords:
For More Information, Please Contact:

deb [atsymbol] cs ~replace-with-a-dot~ cmu ~replace-with-a-dot~ edu