#3 - Chris Martens on narrative generation
August 23, 2020 • 61 Minutes
Chris Martens talks about using linear logic programming to generate interactive narratives, and various ways to apply logic to games and digital arts.
Show notes
Chris Martens’ academic website
04:30
“Programming Interactive Worlds with Linear Logic”, Chris’ Ph.D. thesis
06:10
James Meehan’s, Tale-Spin thesis “The Metanovel: Writing Stories by Computer”
A great post about the story of Tale-Spin’s creation: https://grandtextauto.soe.ucsc.edu/2006/09/13/the-story-of-meehans-tale-spin/
18:40
“a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics”
The dependently typed logig LF
20:50
The original paper (The first sentence begins: “Linear logic is a logic behind logic…“)
22:00
“A form of logical implication pronounced A lolly B … I wish I had a screen to draw on”
Looks like this:
A -o B
(a lollipop-like modified arrow from A to B)
25:10
25:20
26:50
“5% of my design royalty for Pandemic products is donated directly to Doctors Without Borders”
44:40
“software simulating environments in which players use text commands to control characters and influence the environment”
47:30
56:00
“His research focuses on the development of computational models of interactive narrative with applications to computer games, educational and training systems and virtual environments.”
