#3 - Chris Martens on narrative generation

Chris Martens talks about using linear logic programming to generate interactive narratives, and various ways to apply logic to games and digital arts.
Visit the show's web page: thesearch.space

Show notes

Chris Martens' academic website
https://www.csc.ncsu.edu/people/crmarten

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
The Twelf Project
"a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics"

20:50
Linear logic

Jean-Yves Girard

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 modified arrow from A to B)

25:10

The frame problem

25:20
Temporal logic
Event calculus

26:50
Pandemic board game
"5% of my design royalty for Pandemic products is donated directly to Doctors Without Borders"
"software simulating environments in which players use text commands to control characters and influence the environment"
"His research focuses on the development of computational models of interactive narrative with applications to computer games, educational and training systems and virtual environments."
★ Support this podcast ★
© Holmgren Interstellar, 2020