Efficient Probabilistic Logic Reasoning with Graph Neural Networks
Yuyu Zhang, Xinshi Chen, Yuan Yang, Arun Ramamurthy, Bo Li, Yuan Qi, Le Song
Abstract
Markov Logic Networks (MLNs), which elegantly combine logic rules and probabilistic graphical models, can be used to address many knowledge graph problems. However, inference in MLN is computationally intensive, making the industrial-scale application of MLN very difficult. In recent years, graph neural networks (GNNs) have emerged as efficient and effective tools for large-scale graph problems. Nevertheless, GNNs do not explicitly incorporate prior logic rules into the models, and may require many labeled examples for a target task. In this paper, we explore the combination of MLNs and GNNs, and use graph neural networks for variational inference in MLN. We propose a GNN variant, named ExpressGNN, which strikes a nice balance between the representation power and the simplicity of the model. Our extensive experiments on several benchmark datasets demonstrate that ExpressGNN leads to effective and efficient probabilistic logic reasoning.
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 b266efa1-9cfb-41d2-8122-1b7ae99cc2e5Cited by top-tier papers25
- Generalization and Representational Limits of Graph Neural NetworksVikas K. Garg, Stefanie Jegelka, Tommi S. JaakkolaICML 2020 · 363 citations
- 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
- Decoupling the Depth and Scope of Graph Neural NetworksHanqing Zeng, Muhan Zhang, Yinglong Xia, Ajitesh Srivastava et al.NeurIPS 2021 · 189 citations
- Neural Collaborative ReasoningHanxiong Chen, Shaoyun Shi, Yunqi Li, Yongfeng ZhangWWW 2021 · 100 citations
- Differentiable Neuro-Symbolic Reasoning on Large-Scale Knowledge GraphsShengyuan Chen, Yunfeng Cai, Huang Fang, Xiao Huang et al.NeurIPS 2023 · 56 citations
Related papers
- Enhancing Logical Expressiveness in Graph Neural Networks via Path-Neighbor AggregationHan Yu, Xiaojuan Zhao, Aiping Li, Kai Chen et al.AAAI 2026
- MLN4KB: an efficient Markov logic network engine for large-scale knowledge bases and structured logic rulesHuang Fang, Yang Liu, Yunfeng Cai, Mingming SunWWW 2023 · 10 citations
- LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic ConstraintsWeidi Xu, Jingwei Wang, Lele Xie, Jianshan He et al.ICLR 2024 · 6 citations
- Inductive Logical Query Answering in Knowledge GraphsMichael Galkin, Zhaocheng Zhu, Hongyu Ren, Jian TangNeurIPS 2022 · 36 citations
- A Probabilistic Graphical Model Based on Neural-symbolic Reasoning for Visual Relationship DetectionDongran Yu, Bo Yang, Qianhao Wei, Anchen Li et al.CVPR 2022 · 18 citations
