A differentiable first-order rule learner for inductive logic programming

DOI10.1016/J.ARTINT.2024.104108MaRDI QIDQ6566626zbMATH OpenFDO

Authors Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang

Publication date 3 July 2024

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.ARTINT.2024.104108

zbMATH Keywords

differentiable inductive logic programminginterpretabilitymachine learningneuro-symbolic method

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Recommendations

• First-Order Logical Neural Networks
• Learning explanatory rules from noisy data
• A comparative study of three neural-symbolic approaches to inductive logic programming
• \(\alpha\)ILP: thinking visual scenes as differentiable logic programs
• Learning higher-order logic programs

Cites work

• Clausal discovery
• Exploiting answer set programming with external sources for meta-interpretive learning
• Gradient-based supported model computation in vector spaces
• scientific article; zbMATH DE number 1651999 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 1175490 (Why is no real title available?)
• ILP turns 20. Biography and future challenges
• Inductive learning of answer set programs
• Inductive logic programming
• Inductive logic programming at 30
• Kernels on Prolog proof trees: statistical learning in the ILP setting
• Learning explanatory rules from noisy data
• Learning from interpretation transition
• Learning from interpretation transition using differentiable logic programming semantics
• Lifted relational neural networks: efficient learning of latent relational structures
• Logic programming in tensor spaces
• Making sense of raw input
• Making sense of sensory input
• Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
• Metamathematics of fuzzy logic
• Ontology reasoning with deep neural networks
• Symbolic knowledge extraction from trained neural networks: A sound approach

Cited in

(1)

• \(\alpha\)ILP: thinking visual scenes as differentiable logic programs

This page was built for publication: A differentiable first-order rule learner for inductive logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6566626)