Thesis Statement Linear logic and its theory of proof are a useful conceptual and computational framework for bridging narrative theory with systems understanding. 29
CYO Discussion Works of interactive fiction with compositional state (slide 31) ! Turning these ideas into a programming language (slide 33) ! Related work in story validation (slide 36) ! Related work in game description languages (slide 38) ! How does a proof represent a story? (slide 42) 30
other discussion points? Other IS concerns: Drama Management Narrative Drive Reactive Planning ! Tellings informed by player/reader knowledge state (stuff like “Memento” or scenes told out-of-causal-order) 46