paper-with-me

홈 › Papers

Learning Logic Programs From Noisy Failures

2021-12-28 · John Wahlig

Inductive Logic Programming (ILP) is a form of machine learning (ML) which in contrast to many other state of the art ML methods typically produces highly interpretable and reusable models. However, many ILP systems lack the ability to naturally learn from any noisy or partially misclassified training data. We introduce the relaxed learning from failures approach to ILP, a noise handling modification of the previously introduced learning from failures (LFF) approach which is incapable of handling noise. We additionally introduce the novel Noisy Popper ILP system which implements this relaxed approach and is a modification of the existing Popper system. Like Popper, Noisy Popper takes a generate-test-constrain loop to search its hypothesis space wherein failed hypotheses are used to construct hypothesis constraints. These constraints are used to prune the hypothesis space, making the hypothesis search more efficient. However, in the relaxed setting, constraints are generated in a more lax fashion as to avoid allowing noisy training data to lead to hypothesis constraints which prune optimal hypotheses. Constraints unique to the relaxed setting are generated via hypothesis comparison. Additional constraints are generated by weighing the accuracy of hypotheses against their sizes to avoid overfitting through an application of the minimum description length. We support this new setting through theoretical proofs as well as experimental results which suggest that Noisy Popper improves the noise handling capabilities of Popper but at the cost of overall runtime efficiency.

📄 PDF Abstract BibTeX arXiv:2201.03702

Code (0)

등록된 구현이 없습니다.

Tasks

Inductive logic programming

Similar Papers 제목 키워드 기반

Learning MDL logic programs from noisy data

2023-08-18 · Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper

Many inductive logic programming approaches struggle to learn programs from noisy data. To overcome this limitation, we introduce an approach that learns minimal description length programs from noisy data, including rec…

Drug DesignInductive logic programmingProgram Synthesis

Differentiable Inductive Logic Programming for Structured Examples

2021-03-02 · Hikaru Shindo, Masaaki Nishino, Akihiro Yamamoto

The differentiable implementation of logic yields a seamless combination of symbolic reasoning and deep neural networks. Recent research, which has developed a differentiable framework to learn logic programs from exampl…

Inductive logic programming

Learning logic programs by explaining their failures

2021-02-18 · Rolf Morel, Andrew Cropper

Scientists form hypotheses and experimentally test them. If a hypothesis fails (is refuted), scientists try to explain the failure to eliminate other hypotheses. The more precise the failure analysis the more hypotheses …

Inductive logic programming

AlgoEvolve: LLM-driven Meta-evolution of Algorithmic Trading Programs

2026-06-24 · Dhruv Sharma, Gautam Shroff arxiv

Recent work shows that Large Language Models (LLMs) can act as semantic mutation operators for the evolutionary discovery of programs and proofs. Most current applications focus on static coding benchmarks. We extend thi…

Program Synthesis

Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning

2026-03-18 · Zhiyu Ni, Zheng Liang, Liangcheng Song, Chenrui Cao 외 arxiv

Auto-formalization (AF) translates natural-language reasoning problems into solver-executable programs, enabling symbolic solvers to perform sound logical deduction. In practice, however, AF pipelines are currently britt…

Logical Reasoning