Overview
Explore the second part of a video tutorial on Differentiable Inductive Logic Programming for Structured Examples, focusing on Shindo et al.'s innovative template generation technique. Delve into the intricacies of clause search with refinement, beam search, adaptive fact enumeration, and soft program composition. Understand the process of assigning weights and differentiable inference, culminating in a comprehensive method overview for solving Inductive Logic Programming (ILP) problems. Access accompanying slides and the original research paper for a deeper understanding of this cutting-edge intersection between symbolic methods and deep learning in artificial intelligence.
Syllabus
What should the result look like?
The Building Blocks
Clause Search with Refinement
The Refinement Operator (p)
Refinement with beam search
Adaptive Fact Enumeration
Soft Program Composition
Assigning weights
Differentiable Inference
Putting it all together-solving the ILP!
Method Overview
Taught by
Neuro Symbolic