Most program induction approaches require predefined, often hand-engineered, background knowledge (BK). To overcome this limitation, we explore methods to automatically acquire BK through multi-task learning. In this approach, a learner adds learned programs to its BK so that they can be reused to help learn other programs. To improve learning performance, we explore the idea of forgetting, where a learner can additionally remove programs from its BK. We consider forgetting in an inductive logic programming (ILP) setting. We show that forgetting can significantly reduce both the size of the hypothesis space and the sample complexity of an ILP learner. We introduce Forgetgol, a multi-task ILP learner which supports forgetting. We experimenta...
In this paper we investigate forgetting in disjunc-tive logic programs, where forgetting an atom fro...
When machine learning programs from data, we ideally want to learn efficient rather than inefficient...
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is for...
Most program induction approaches require predefined, often hand-engineered, background knowledge (B...
The study of forgetting for reasoning has attracted consider-able attention in AI. However, much of ...
The study of forgetting for reasoning has attracted consider-able attention in AI. However, much of ...
The goal of inductive logic programming (ILP) is to search for a hypothesis that generalises trainin...
. In this paper we suggest a mechanism that improves significantly the performance of a top-down in...
Forgetting is an operation which removes information from a set of logical statements, such that a) ...
We describe an inductive logic programming (ILP) approach called learning from failures. In this app...
The goal of inductive logic programming (ILP) is to search for a hypothesis that generalises trainin...
Discovering efficient algorithms is central to computer science. In this thesis, we aim to discover ...
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic progr...
In this paper, we present an approach to forgetting in disjunc-tive logic programs, where forgetting...
In many applications of Inductive Logic Programming (ILP), learning occurs from a knowledge base tha...
In this paper we investigate forgetting in disjunc-tive logic programs, where forgetting an atom fro...
When machine learning programs from data, we ideally want to learn efficient rather than inefficient...
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is for...
Most program induction approaches require predefined, often hand-engineered, background knowledge (B...
The study of forgetting for reasoning has attracted consider-able attention in AI. However, much of ...
The study of forgetting for reasoning has attracted consider-able attention in AI. However, much of ...
The goal of inductive logic programming (ILP) is to search for a hypothesis that generalises trainin...
. In this paper we suggest a mechanism that improves significantly the performance of a top-down in...
Forgetting is an operation which removes information from a set of logical statements, such that a) ...
We describe an inductive logic programming (ILP) approach called learning from failures. In this app...
The goal of inductive logic programming (ILP) is to search for a hypothesis that generalises trainin...
Discovering efficient algorithms is central to computer science. In this thesis, we aim to discover ...
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic progr...
In this paper, we present an approach to forgetting in disjunc-tive logic programs, where forgetting...
In many applications of Inductive Logic Programming (ILP), learning occurs from a knowledge base tha...
In this paper we investigate forgetting in disjunc-tive logic programs, where forgetting an atom fro...
When machine learning programs from data, we ideally want to learn efficient rather than inefficient...
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is for...