#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:
  • 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

★ Support this podcast ★

© Holmgren Interstellar, 2020