paper-with-me

Papers

Forgetting to learn logic programs

2019-11-15 · Andrew Cropper

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 experimentally compare Forgetgol against approaches that either remember or forget everything. Our experimental results show that Forgetgol outperforms the alternative approaches when learning from over 10,000 tasks.

📄 PDF Abstract BibTeX arXiv:1911.06643

Code (2)

andrewcropper/aaai20-forgetgol 공식 구현
metagol/metagol 공식 구현

Tasks

Inductive logic programmingMulti-Task LearningProgram induction

Similar Papers 제목 키워드 기반

An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence

2014-04-29 · James P. Delgrande, Kewen Wang

In this paper we investigate forgetting in disjunctive logic programs, where forgetting an atom from a program amounts to a reduction in the signature of that program. The goal is to provide an approach that is syntax-in…

Interpolable Formulas in Equilibrium Logic and Answer Set Programming

2014-01-16 · Dov Gabbay, David Pearce, Agustín Valverde

Interpolation is an important property of classical and many non-classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the the non-…

A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming

2023-12-13 · Zeynep G. Saribatur, Stefan Woltran

Answer Set Programming (ASP) is a prominent rule-based language for knowledge representation and reasoning with roots in logic programming and non-monotonic reasoning. The aim to capture the essence of removing (ir)relev…

Disjunctive Logic Programs versus Normal Logic Programs

2013-04-02 · Heng Zhang, Yan Zhang

This paper focuses on the expressive power of disjunctive and normal logic programs under the stable model semantics over finite, infinite, or arbitrary structures. A translation from disjunctive logic programs into norm…

Translation

Lifelong Learning for Neural powered Mixed Integer Programming

2022-08-24 · Sahil Manchanda, Sayan Ranu

Mixed Integer programs (MIPs) are typically solved by the Branch-and-Bound algorithm. Recently, Learning to imitate fast approximations of the expert strong branching heuristic has gained attention due to its success in …

Graph AttentionKnowledge DistillationLifelong learning