4 papers
Neural Logic Networks for Interpretable Classification
Vincent Perreault, Katsumi Inoue, Richard Labib +1
Traditional neural networks have an impressive classification performance, but what they learn cannot be inspected, verified or extracted. Neural Logic Networks on the other hand h…
Predicate Renaming via Large Language Models
Elisabetta Gentili, Tony Ribeiro, Fabrizio Riguzzi +1
In this paper, we address the problem of giving names to predicates in logic rules using Large Language Models (LLMs). In the context of Inductive Logic Programming, various rule g…
Disentangling Neural Disjunctive Normal Form Models
Kexin Gu Baugh, Vincent Perreault, Matthew Baugh +3
Neural Disjunctive Normal Form (DNF) based models are powerful and interpretable approaches to neuro-symbolic learning and have shown promising results in classification and reinfo…
Variable Assignment Invariant Neural Networks for Learning Logic Programs
Yin Jun Phua, Katsumi Inoue
Learning from interpretation transition (LFIT) is a framework for learning rules from observed state transitions. LFIT has been implemented in purely symbolic algorithms, but they…