Show notes

08:10
John Alan Robinson
https://en.wikipedia.org/wiki/John_Alan_Robinson

Computational Logic: Memories of the Past and Challenges for the Future
http://www.computational-logic.org/iccl/downloads/Robinson-CL2000.pdf

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

08:55
The Early Years of Logic Programming (Kowalski)
https://www.doc.ic.ac.uk/~rak/papers/the%20early%20years.pdf

12:05
The British Nationality Act as a Logic Program
https://www.doc.ic.ac.uk/~rak/papers/British%20Nationality%20Act.pdf

12:45
Horn clause logic
https://en.wikipedia.org/wiki/Horn_clause

14:32
Dual process theory
https://en.wikipedia.org/wiki/Dual_process_theory
https://en.wikipedia.org/wiki/Thinking,_Fast_and_Slow

16:30
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

17:10
Minsky’s frames
https://en.wikipedia.org/wiki/Frame_(artificial_intelligence)

17:30
Non-monotonic logic
https://en.wikipedia.org/wiki/Non-monotonic_logic

18:10
First-order logic
https://en.wikipedia.org/wiki/First-order_logic

20:45
List concatenation (the append/3 predicate)
http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse24

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

Answer Set Programming
https://en.wikipedia.org/wiki/Answer_set_programming

25:50
Cordell Green
https://en.wikipedia.org/wiki/Cordell_Green

26:50
"it was Cordell who was interested in knowledge representation"

STANFORD ARTIFICIAL INTELLIGENCE PROJECT, MEMO Al-96
The Application of Theorem Proving to Question-Answering Systems
https://www.kestrel.edu/home/people/green/publications/green-thesis.pdf

Theorem-Proving by Resolution as a Basis for Question-Answering Systems
https://www.kestrel.edu/home/people/green/publications/theorem-proving.pdf

29:50
Planner, Hewitt, Winograd
https://en.wikipedia.org/wiki/Planner_(programming_language)
https://en.wikipedia.org/wiki/Terry_Winograd

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

40:10
Alain Colmerauer
https://en.wikipedia.org/wiki/Alain_Colmerauer

Un Systeme de Communication Homme-Machine en Francais
http://alain.colmerauer.free.fr/alcol/ArchivesPublications/HommeMachineFr/HoMa.pdf

42:00
Pat Hayes
https://en.wikipedia.org/wiki/Pat_Hayes
https://www.ihmc.us/groups/phayes/

43:15
The Birth of Prolog (Alain Colmerauer and Philippe Roussel)
http://alain.colmerauer.free.fr/alcol/ArchivesPublications/PrologHistory/19november92.pdf

46:00
Computational Logic and Human Thinking: How to be Artificially Intelligent
https://www.doc.ic.ac.uk/~rak/papers/newbook.pdf

49:00
The Pyramid Principle: Logic in Writing and Thinking (Barbara Minto)
https://www.goodreads.com/book/show/1990595.The_Pyramid_Principle

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

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

56:10
Production rules
https://en.wikipedia.org/wiki/Production_system_(computer_science)

57:10
Expert systems
https://en.wikipedia.org/wiki/Expert_systems

01:08:30
The Fifth Generation Computer Systems project
https://en.wikipedia.org/wiki/Fifth_generation_computer

1:09:50
MapReduce
https://en.wikipedia.org/wiki/MapReduce

1:17:00
Event calculus
https://en.wikipedia.org/wiki/Event_calculus

1:18:20
Logic Production Systems
http://lps.doc.ic.ac.uk/

1:19:40
Logical Contracts (company)
http://logicalcontracts.com/

1:29:45
Minsky's attack on the perceptron
https://en.wikipedia.org/wiki/Perceptron