Chris Martens' academic website

https://www.csc.ncsu.edu/people/crmarten

04:30

"Programming Interactive Worlds with Linear Logic", Chris' Ph.D. thesis

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/

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

Linear logic

Jean-Yves Girard

The original paper

(The first sentence begins: "Linear logic is a logic behind logic...")

"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

Temporal logic

Event calculus

Pandemic board game"5% of my design royalty for Pandemic products is donated directly to Doctors Without Borders"https://www.leacock.com/about

Interactive fiction"software simulating environments in which players use text commands to control characters and influence the environment"https://www.ifarchive.org/

Behavior trees

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."

https://twitter.com/chrisamaphone

github.com/chrisamaphone

]]>

Ryan's talk about Clara at Strange Loop (2014)

https://www.youtube.com/watch?v=Z6oVuYmRgkk

https://github.com/quoll/naga

https://github.com/ulfurinn/wongi-engine

https://github.com/jruizgit/rules

]]>

https://en.wikipedia.org/wiki/John_Alan_Robinson

Maarten van Emden has great material about Robinson, including two interviews:

- https://vanemden.wordpress.com/2016/09/16/alan-robinson/
- https://vanemden.wordpress.com/2010/06/08/interview-with-alan-robinson-inventor-of-resolution-logic/
- http://aarinc.org/Newsletters/089-2010-10.html#robinson

https://www.doc.ic.ac.uk/~rak/papers/the%20early%20years.pdf

Horn clause logic

https://en.wikipedia.org/wiki/Horn_clause

Dual process theory

https://en.wikipedia.org/wiki/Dual_process_theory

https://en.wikipedia.org/wiki/Thinking,_Fast_and_Slow

Alternatives to logic representations of knowledge

- https://en.wikipedia.org/wiki/Semantic_network
- https://en.wikipedia.org/wiki/And%E2%80%93or_tree
- https://www.doc.ic.ac.uk/~rak/papers/History.pdf

https://en.wikipedia.org/wiki/Frame_(artificial_intelligence)

https://en.wikipedia.org/wiki/Non-monotonic_logic

https://en.wikipedia.org/wiki/First-order_logic

http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse24

https://en.wikipedia.org/wiki/Datalog

Answer Set Programming

https://en.wikipedia.org/wiki/Answer_set_programming

https://en.wikipedia.org/wiki/Cordell_Green

The Application of Theorem Proving to Question-Answering Systems

https://www.kestrel.edu/home/people/green/publications/green-thesis.pdf

https://en.wikipedia.org/wiki/Planner_(programming_language)

https://en.wikipedia.org/wiki/Terry_Winograd

https://en.wikipedia.org/wiki/Monad_(functional_programming)

https://en.wikipedia.org/wiki/Alain_Colmerauer

http://alain.colmerauer.free.fr/alcol/ArchivesPublications/HommeMachineFr/HoMa.pdf

https://en.wikipedia.org/wiki/Pat_Hayes

https://www.ihmc.us/groups/phayes/

http://alain.colmerauer.free.fr/alcol/ArchivesPublications/PrologHistory/19november92.pdf

https://www.goodreads.com/book/show/1990595.The_Pyramid_Principle

https://en.wikipedia.org/wiki/Unification_(computer_science)

https://en.wikipedia.org/wiki/Backtracking

https://en.wikipedia.org/wiki/Production_system_(computer_science)

https://en.wikipedia.org/wiki/Expert_systems

https://en.wikipedia.org/wiki/Fifth_generation_computer

https://en.wikipedia.org/wiki/MapReduce

https://en.wikipedia.org/wiki/Event_calculus

http://lps.doc.ic.ac.uk/

http://logicalcontracts.com/

https://en.wikipedia.org/wiki/Perceptron

]]>

What is logic? Many people consider it synonymous with dry intellect, humorless bureaucracy, the opposite of creativity. But in my understanding, logic is an attempt to capture the essence of thought, which is to say the essence of what we humans find reasonable, persuasive, and possible. The study of logic goes straight to some of our fundamental intuitions about the world and ourselves, and it's really not clear at all what they are rooted in. People have lots of different opinions about this. Logic looks very clear-cut on the surface, but when you dig you bump into some of the deepest perennial questions in philosophy. And this doesn't change when we arrive at modern, formalized logic, which sort of looks like mathematics - you are still dealing with deep questions about human psychology and cognition, and how we perceive the physical world.

Now, it turns out formal logic can be used as a programming language. If you are careful about which parts of logic you use, and in which form you write things down, formal logic fits very well with how programming languages are executed. So you can write down some logical formulas, and you get two interpretations: the logical interpretation, and the procedural interpretation which is how you run it on a computer. And these two are, let's say, in sync - you get the deductions you would expect from both interpretations.

As a programming paradigm, this has some really unusual and fun features, and since logic in the first place is, again, an attempt to capture the essence of human though, Logic Programming is in many respects very intuitive. To me, it's the closest to what I imagined programming would be like when I was 10 and had just started to understand that there was a way to tell computers what to do.

]]>