The Search Space

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

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"
The dependently typed logif 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 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
github.com/chrisamaphone

★ Support this podcast ★

What is The Search Space?

The Logic Programming podcast. About the history, future, and wider landscape of Logic Programming.