#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
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 ★