Show notes08:10John Alan Robinsonhttps://en.wikipedia.org/wiki/John_Alan_RobinsonComputational Logic: Memories of the Past and Challenges for the Futurehttp://www.computational-logic.org/iccl/downloads/Robinson-CL2000.pdfMaarten 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#robinson08:55The Early Years of Logic Programming (Kowalski)https://www.doc.ic.ac.uk/~rak/papers/the%20early%20years.pdf12:05The British Nationality Act as a Logic Programhttps://www.doc.ic.ac.uk/~rak/papers/British%20Nationality%20Act.pdf12:45Horn clause logichttps://en.wikipedia.org/wiki/Horn_clause14:32Dual process theoryhttps://en.wikipedia.org/wiki/Dual_process_theoryhttps://en.wikipedia.org/wiki/Thinking,_Fast_and_Slow16:30Alternatives to logic representations of knowledgehttps://en.wikipedia.org/wiki/Semantic_networkhttps://en.wikipedia.org/wiki/And%E2%80%93or_treehttps://www.doc.ic.ac.uk/~rak/papers/History.pdf17:10Minsky’s frameshttps://en.wikipedia.org/wiki/Frame_(artificial_intelligence)17:30Non-monotonic logichttps://en.wikipedia.org/wiki/Non-monotonic_logic18:10First-order logichttps://en.wikipedia.org/wiki/First-order_logic20:45List concatenation (the append/3 predicate)http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse2423:55Dataloghttps://en.wikipedia.org/wiki/DatalogAnswer Set Programminghttps://en.wikipedia.org/wiki/Answer_set_programming25:50Cordell Greenhttps://en.wikipedia.org/wiki/Cordell_Green26:50"it was Cordell who was interested in knowledge representation"STANFORD ARTIFICIAL INTELLIGENCE PROJECT, MEMO Al-96The Application of Theorem Proving to Question-Answering Systemshttps://www.kestrel.edu/home/people/green/publications/green-thesis.pdfTheorem-Proving by Resolution as a Basis for Question-Answering Systemshttps://www.kestrel.edu/home/people/green/publications/theorem-proving.pdf29:50Planner, Hewitt, Winogradhttps://en.wikipedia.org/wiki/Planner_(programming_language)https://en.wikipedia.org/wiki/Terry_Winograd35:00Monadshttps://en.wikipedia.org/wiki/Monad_(functional_programming)40:10Alain Colmerauerhttps://en.wikipedia.org/wiki/Alain_ColmerauerUn Systeme de Communication Homme-Machine en Francaishttp://alain.colmerauer.free.fr/alcol/ArchivesPublications/HommeMachineFr/HoMa.pdf42:00Pat Hayeshttps://en.wikipedia.org/wiki/Pat_Hayeshttps://www.ihmc.us/groups/phayes/43:15The Birth of Prolog (Alain Colmerauer and Philippe Roussel)http://alain.colmerauer.free.fr/alcol/ArchivesPublications/PrologHistory/19november92.pdf46:00Computational Logic and Human Thinking: How to be Artificially Intelligenthttps://www.doc.ic.ac.uk/~rak/papers/newbook.pdf49:00The Pyramid Principle: Logic in Writing and Thinking (Barbara Minto)https://www.goodreads.com/book/show/1990595.The_Pyramid_Principle51:00Unificationhttps://en.wikipedia.org/wiki/Unification_(computer_science)52:20Backtrackinghttps://en.wikipedia.org/wiki/Backtracking56:10Production ruleshttps://en.wikipedia.org/wiki/Production_system_(computer_science)57:10Expert systemshttps://en.wikipedia.org/wiki/Expert_systems01:08:30The Fifth Generation Computer Systems projecthttps://en.wikipedia.org/wiki/Fifth_generation_computer1:09:50MapReducehttps://en.wikipedia.org/wiki/MapReduce1:17:00Event calculushttps://en.wikipedia.org/wiki/Event_calculus1:18:20Logic Production Systemshttp://lps.doc.ic.ac.uk/1:19:40Logical Contracts (company)http://logicalcontracts.com/1:29:45Minsky's attack on the perceptronhttps://en.wikipedia.org/wiki/Perceptron

★ Support this podcast ★

Ver todos los episodios