Advancing Abductive Reasoning in Knowledge Graphs through Complex Logical Hypothesis Generation
Jiaxin Bai, Yicheng Wang, Tianshi Zheng, Yue Guo, Xin Liu, Yangqiu Song
Abstract
Abductive reasoning is the process of making educated guesses to provide explanations for observations. Although many applications require the use of knowledge for explanations, the utilization of abductive reasoning in conjunction with structured knowledge, such as a knowledge graph, remains largely unexplored. To fill this gap, this paper introduces the task of complex logical hypothesis generation, as an initial step towards abductive logical reasoning with KG. In this task, we aim to generate a complex logical hypothesis so that it can explain a set of observations. We find that the supervised trained generative model can generate logical hypotheses that are structurally closer to the reference hypothesis. However, when generalized to unseen observations, this training objective does not guarantee better hypothesis generation. To address this, we introduce the Reinforcement Learning from Knowledge Graph (RLF-KG) method, which minimizes differences between observations and conclusions drawn from generated hypotheses according to the KG. Experiments show that, with RLF-KG's assistance, the generated hypotheses provide better explanations, and achieve stateof-the-art results on three widely used KGs. 1
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext baa560dc-1842-4d74-9f3a-bfc265969238Cited by top-tier papers8
- Controllable Logical Hypothesis Generation for Abductive Reasoning in Knowledge GraphsYisen Gao, Jiaxin Bai, Tianshi Zheng, Ziwei Zhang et al.ICLR 2026 · 15 citations
- Enhancing Transformers for Generalizable First-Order Logical EntailmentTianshi Zheng, Jiazheng Wang, Zihao Wang, Jiaxin Bai et al.ACL 2025 · 7 citations
- AutoGraph-R1: End-to-End Reinforcement Learning for Knowledge Graph ConstructionHong Ting Tsang, Jiaxin Bai, Haoyu Huang, Qiao Xiao et al.ACL 2026 · 4 citations
- Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion ModelYisen Gao, Jiaxin Bai, Yi Huang, Xingcheng Fu et al.WWW 2026 · 3 citations
- From Evidence to Trajectory: Abductive Reasoning Path Synthesis for Retrieval-Augmented Generation Agents DevelopmentMuzhi Li, Jinhu Qi, Yihong Wu, Minghao Zhao et al.KDD 2026 · 1 citation
Builds on13
- Training language models to follow instructions with human feedbackLong Ouyang, Jeffrey Wu, Xu Jiang, Diogo Almeida et al.NeurIPS 2022 · 24,707 citations
- Query2box: Reasoning over Knowledge Graphs in Vector Space Using Box EmbeddingsHongyu Ren, Weihua Hu, Jure LeskovecICLR 2020 · 355 citations
- Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge GraphsHongyu Ren, Jure LeskovecNeurIPS 2020 · 267 citations
- Faithful Embeddings for Knowledge Base QueriesHaitian Sun, Andrew O. Arnold, Tania Bedrax-Weiss, Fernando Pereira et al.NeurIPS 2020 · 104 citations
- Self-Supervised Hyperboloid Representations from Logical Queries over Knowledge GraphsNurendra Choudhary, Nikhil Rao, Sumeet Katariya, Karthik Subbian et al.WWW 2021 · 73 citations
Related papers
- RNNLogic: Learning Logic Rules for Reasoning on Knowledge GraphsMeng Qu, Jun-Kun Chen, Louis-Pascal A. C. Xhonneux, Yoshua Bengio et al.ICLR 2021 · 230 citations
- Generating Graph-Like Logical Rules for Knowledge Graph Reasoning via Diffusion ModelsHaoxiang Cheng, Yunfei Wang, Chao Chen, Kewei Cheng et al.KDD 2026 · 1 citation
- Query Structure Modeling for Inductive Logical Reasoning Over Knowledge GraphsSiyuan Wang, Zhongyu Wei, Meng Han, Zhihao Fan et al.ACL 2023 · 7 citations
- Reasoning on Graphs: Faithful and Interpretable Large Language Model ReasoningLinhao Luo, Yuan-Fang Li, Gholamreza Haffari, Shirui PanICLR 2024 · 499 citations
- RLogic: Recursive Logical Rule Learning from Knowledge GraphsKewei Cheng, Jiahao Liu, Wei Wang, Yizhou SunKDD 2022 · 57 citations
