#3 - Chris Martens on narrative generation

August 23, 2020 • 61 Minutes

logic ASP miniKanren

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

The Twelf Project

“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

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 lollipop-like 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”

https://www.leacock.com/about

44:40

Interactive fiction

“software simulating environments in which players use text commands to control characters and influence the environment”

https://www.ifarchive.org/

47:30

Behavior trees

56:00

R. Michael Young

“His research focuses on the development of computational models of interactive narrative with applications to computer games, educational and training systems and virtual environments.”

57:30

https://twitter.com/chrisamaphone

https://github.com/chrisamaphone

Felix Holmgren

Thanks for listening! Feel free to check out other episodes or contact me via the social links in the footer. Or go buy me a coffee!