#1 - The Poet of Logic Programming
An interview with Robert Kowalski, the co-creator of the field of logic programming and of the language Prolog. The conversation ranges over the history of Prolog, the ill-famed Fifth Generation Computer Systems project, the relation between symbolic AI and connectionist AI including deep learning, why rule engines fail at logic, and the future of logic programming. Find show notes and more on thesearch.space, and follow the show on Twitter: @searchspacepod
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:
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