Overview
Explore a comprehensive review of the influential 2018 paper on neurosymbolic approaches to Inductive Logic Programming by Richard Evans and Ed Grefenstette in this hour-long lecture. Delve into the fundamentals of ILP as SAT solving, examine the neural architecture for differentiable ILP, and analyze its complexity. Evaluate experimental results and participate in a Q&A discussion with students. Access supplementary materials, including the original paper and presentation slides, to enhance your understanding of this cutting-edge intersection between symbolic methods and deep learning in artificial intelligence.
Syllabus
Introduction
ILP as Sat Solving
Neural architecture for differentiable ILP
Complexity analysis
Experimental evaluation
Q&A discussion with students
Taught by
Neuro Symbolic