paper-with-me

Papers

Rule Induction in Knowledge Graphs Using Linear Programming

2021-10-15 · Sanjeeb Dash, Joao Goncalves

We present a simple linear programming (LP) based method to learn compact and interpretable sets of rules encoding the facts in a knowledge graph (KG) and use these rules to solve the KG completion problem. Our LP model chooses a set of rules of bounded complexity from a list of candidate first-order logic rules and assigns weights to them. The complexity bound is enforced via explicit constraints. We combine simple rule generation heuristics with our rule selection LP to obtain predictions with accuracy comparable to state-of-the-art codes, even while generating much more compact rule sets. Furthermore, when we take as input rules generated by other codes, we often improve interpretability by reducing the number of chosen rules, while maintaining accuracy.

📄 PDF Abstract BibTeX arXiv:2110.08245

Code (1)

ibm/lprules 공식 구현

Tasks

Knowledge Graphs

Similar Papers 제목 키워드 기반

Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models

2025-09-26 · Yifei Peng, Yaoli Liu, Enbo Xia, Yu Jin 외 arxiv

We propose ILP-CoT, a method that bridges Inductive Logic Programming (ILP) and Multimodal Large Language Models (MLLMs) for abductive logical rule induction. The task involves both discovering logical facts and inducing…

Inductive logic programming

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction

2026-01-30 · Shihao Xia, Mengting He, Haomin Jia, Linhai Song arxiv

Ensuring that API implementations and usage comply with natural language programming rules is critical for software correctness, security, and reliability. Formal verification can provide strong guarantees but requires p…

Satisfiability Modulo Theory Meets Inductive Logic Programming

2025-12-15 · Nijesh Upreti, Vaishak Belle arxiv

Inductive Logic Programming (ILP) provides interpretable rule learning in relational domains, yet remains limited in its ability to induce and reason with numerical constraints. Classical ILP systems operate over discret…

Inductive logic programming

From Chain to Tree: Refining Chain-like Rules into Tree-like Rules on Knowledge Graphs

2024-03-08 · Wangtao Sun, Shizhu He, Jun Zhao, Kang Liu

With good explanatory power and controllability, rule-based methods play an important role in many tasks such as knowledge reasoning and decision support. However, existing studies primarily focused on learning chain-lik…

Knowledge GraphsLink Prediction

Open Rule Induction

2021-10-26 · NeurIPS 2021 12 · Wanyun Cui, Xingran Chen

Rules have a number of desirable properties. It is easy to understand, infer new knowledge, and communicate with other inference systems. One weakness of the previous rule induction systems is that they only find rules w…

Language ModellingRelation Extraction