Mettez-vous hors ligne avec l'application Player FM !
#3 - Chris Martens on narrative generation
Manage episode 270198577 series 2704125
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
The dependently typed logif LF
20:50
Linear logic
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
44:40
Interactive fiction
47:30
Behavior trees
56:00
R. Michael Young
57:30
https://twitter.com/chrisamaphone
github.com/chrisamaphone
7 episodes
Manage episode 270198577 series 2704125
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
The dependently typed logif LF
20:50
Linear logic
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
44:40
Interactive fiction
47:30
Behavior trees
56:00
R. Michael Young
57:30
https://twitter.com/chrisamaphone
github.com/chrisamaphone
7 episodes
Tous les épisodes
×Bienvenue sur Lecteur FM!
Lecteur FM recherche sur Internet des podcasts de haute qualité que vous pourrez apprécier dès maintenant. C'est la meilleure application de podcast et fonctionne sur Android, iPhone et le Web. Inscrivez-vous pour synchroniser les abonnements sur tous les appareils.