Abstract:The combination of learning and reasoning is an essential and challenging topic in neuro-symbolic research. Differentiable inductive logic programming is a technique for learning a symbolic knowledge representation from either complete, mislabeled, or incomplete observed facts using neural networks. In this paper, we propose a novel differentiable inductive logic programming system called differentiable learning from interpretation transition (D-LFIT) for learning logic programs through the proposed embeddings of logic programs, neural networks, optimization algorithms, and an adapted algebraic method to compute the logic program semantics. The proposed model has several characteristics, including a small number of parameters, the ability to generate logic programs in a curriculum-learning setting, and linear time complexity for the extraction of trained neural networks. The well-known bottom clause positionalization algorithm is incorporated when the proposed system learns from relational datasets. We compare our model with NN-LFIT, which extracts propositional logic rules from retuned connected networks, the highly accurate rule learner RIPPER, the purely symbolic LFIT system LF1T, and CILP++, which integrates neural networks and the propositionalization method to handle first-order logic knowledge. From the experimental results, we conclude that D-LFIT yields comparable accuracy with respect to the baselines when given complete, incomplete, and mislabeled data. Our experimental results indicate that D-LFIT not only learns symbolic logic programs quickly and precisely but also performs robustly when processing mislabeled and incomplete datasets.

LFIO: AnInductive Learning System Based on Input and Output

A Survey on Inductive Logic Programming

A Logic for Non-Monotone Inductive Definitions

Learning from Interpretation Transition Using Differentiable Logic Programming Semantics

The Prioritized Inductive Logic Programs

Learning higher-order logic programs

A theory of formal synthesis via inductive learning

Learning logic programs by combining programs

A Differentiable First-Order Rule Learner for Inductive Logic Programming

Inductive-bias Learning: Generating Code Models with Large Language Model

Improving the efficiency of inductive logic programming systems

Differentiable Inductive Logic Programming for Structured Examples

Inductive logic programming for natural language processing

Learning logic programs by discovering where not to search

The ILASP system for Inductive Learning of Answer Set Programs

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions

Deeply Semantic Inductive Spatio-Temporal Learning

Conflict-Driven Inductive Logic Programming

Learning First-Order Rules with Differentiable Logic Program Semantics

Incremental learning of event definitions with Inductive Logic Programming

INDED: a distributed knowledge-based learning system