Differentiable Inductive Logic Programming in High-Dimensional Space
Synthesizing large logic programs through symbolic Inductive Logic Programming (ILP) typically requires intermediate definitions. However, cluttering the hypothesis space with intensional predicates typically degrades performance. In contrast, gradient descent provides an efficient way to find solutions within such high-dimensional spaces. Neuro-symbolic ILP approaches have not fully exploited this so far. We propose extending the {\delta}ILP approach to inductive synthesis with large-scale predicate invention, thus allowing us to exploit the efficacy of high-dimensional gradient descent. We show that large-scale predicate invention benefits differentiable inductive synthesis through gradient descent and allows one to learn solutions for tasks beyond the capabilities of existing neuro-symbolic ILP systems. Furthermore, we achieve these results without specifying the precise structure of the solution within the language bias.
Code (2)
Tasks
Inductive logic programmingVocal Bursts Intensity PredictionSimilar Papers 제목 키워드 기반
Learning Rules with Stratified Negation in Differentiable ILP.
Differentiable methods to learn rules (logic programs) have the potential to integrate the interpretability, transferability and low data requirements of inductive logic programming with the noise tolerance of non-symbol…
Inductive logic programmingNegationInductive Logic Programming via Differentiable Deep Neural Logic Networks
We propose a novel paradigm for solving Inductive Logic Programming (ILP) problems via deep recurrent neural networks. This proposed ILP solver is designed based on differentiable implementation of the deduction via forw…
General ClassificationInductive logic programmingDeep Inductive Logic Programming meets Reinforcement Learning
One approach to explaining the hierarchical levels of understanding within a machine learning model is the symbolic method of inductive logic programming (ILP), which is data efficient and capable of learning first-order…
Inductive logic programmingreinforcement-learningReinforcement LearningGLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
Differentiable inductive logic programming (ILP) techniques have proven effective at finding approximate rule-based solutions to link prediction and node classification problems on knowledge graphs; however, the common a…
Inductive logic programmingKnowledge Graph CompletionNode ClassificationKnowledge GraphsNeuro-Symbolic Inductive Logic Programming with Logical Neural Networks
Recent work on neuro-symbolic inductive logic programming has led to promising approaches that can learn explanatory rules from noisy, real-world data. While some proposals approximate logical operators with differentiab…
BenchmarkingInductive logic programming