Inductive logic programming at 30: a new introduction

A Cropper, S Dumančić - Journal of Artificial Intelligence Research, 2022 - jair.org
Inductive logic programming (ILP) is a form of machine learning. The goal of ILP is to induce
a hypothesis (a set of logical rules) that generalises training examples. As ILP turns 30, we …

Turning 30: New ideas in inductive logic programming

A Cropper, S Dumančić, SH Muggleton - arxiv preprint arxiv:2002.11002, 2020 - arxiv.org
Common criticisms of state-of-the-art machine learning include poor generalisation, a lack of
interpretability, and a need for large amounts of training data. We survey recent work in …

Learning programs by learning from failures

A Cropper, R Morel - Machine Learning, 2021 - Springer
We describe an inductive logic programming (ILP) approach called learning from failures. In
this approach, an ILP system (the learner) decomposes the learning problem into three …

Inductive logic programming at 30

A Cropper, S Dumančić, R Evans, SH Muggleton - Machine Learning, 2022 - Springer
Inductive logic programming (ILP) is a form of logic-based machine learning. The goal is to
induce a hypothesis (a logic program) that generalises given training examples and …

[PDF][PDF] Learning higher-order logic programs from failures

SJ Purgał, DM Cerna, C Kaliszyk - IJCAI 2022, 2022 - cl-informatik.uibk.ac.at
Learning complex programs through inductive logic programming (ILP) remains a
formidable challenge. Existing higher-order enabled ILP systems show improved accuracy …

Learning of generalizable and interpretable knowledge in grid-based reinforcement learning environments

M Eberhardinger, J Maucher, S Maghsudi - Proceedings of the AAAI …, 2023 - ojs.aaai.org
Understanding the interactions of agents trained with deep reinforcement learning is crucial
for deploying agents in games or the real world. In the former, unreasonable actions confuse …

A differentiable first-order rule learner for inductive logic programming

K Gao, K Inoue, Y Cao, H Wang - Artificial Intelligence, 2024 - Elsevier
Learning first-order logic programs from relational facts yields intuitive insights into the data.
Inductive logic programming (ILP) models are effective in learning first-order logic programs …

Logic programming and machine ethics

A Dyoub, S Costantini, FA Lisi - arxiv preprint arxiv:2009.11186, 2020 - arxiv.org
Transparency is a key requirement for ethical machines. Verified ethical behavior is not
enough to establish justified trust in autonomous intelligent agents: it needs to be supported …

Unveiling the decision-making process in reinforcement learning with genetic programming

M Eberhardinger, F Rupp, J Maucher… - … Conference on Swarm …, 2024 - Springer
Despite tremendous progress, machine learning and deep learning still suffer from
incomprehensible predictions. Incomprehensibility, however, is not an option for the …

Knowledge refactoring for inductive program synthesis

S Dumancic, T Guns, A Cropper - … of the AAAI Conference on Artificial …, 2021 - ojs.aaai.org
Humans constantly restructure knowledge to use it more efficiently. Our goal is to give a
machine learning system similar abilities so that it can learn more efficiently. We introduce …