PL4XGL: A Programming Language Approach to Explainable Graph Learning

被引:0
作者
Jeon, Minseok [1 ]
Park, Jihyeok [1 ]
Oh, Hakjoo [1 ]
机构
[1] Korea Univ, Dept Comp Sci & Engn, Seoul, South Korea
来源
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL | 2024年 / 8卷 / PLDI期
基金
新加坡国家研究基金会;
关键词
Graph Learning; Domain-Specific Language; Program Synthesis;
D O I
10.1145/3656464
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In this article, we present a new, language-based approach to explainable graph learning. Though graph neural networks (GNNs) have shown impressive performance in various graph learning tasks, they have severe limitations in explainability, hindering their use in decision-critical applications. To address these limitations, several GNN explanation techniques have been proposed using a post-hoc explanation approach providing subgraphs as explanations for classification results. Unfortunately, however, they have two fundamental drawbacks in terms of 1) additional explanation costs and 2) the correctness of the explanations. This paper aims to address these problems by developing a new graph-learning method based on programming language techniques. Our key idea is two-fold: 1) designing a graph description language (GDL) to explain the classification results and 2) developing a new GDL-based interpretable classification model instead of GNN-based models. Our graph-learning model, called PL4XGL, consists of a set of candidate GDL programs with labels and quality scores. For a given graph component, it searches the best GDL program describing the component and provides the corresponding label as the classification result and the program as the explanation. In our approach, learning from data is formulated as a program-synthesis problem, and we present top-down and bottom-up algorithms for synthesizing GDL programs from training data. Evaluation using widely-used datasets demonstrates that PL4XGL produces high-quality explanations that outperform those produced by the state-of-the-art GNN explanation technique, SUBGRAPHX. We also show that PL4XGL achieves competitive classification accuracy comparable to popular GNN models.
引用
收藏
页数:26
相关论文
共 54 条
[1]   Search-based Program Synthesis [J].
Alur, Rajeev ;
Singh, Rishabh ;
Fisman, Dana ;
Solar-Lezama, Armando .
COMMUNICATIONS OF THE ACM, 2018, 61 (12) :84-93
[2]   Scaling Enumerative Program Synthesis via Divide and Conquer [J].
Alur, Rajeev ;
Radhakrishna, Arjun ;
Udupa, Abhishek .
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017, 10205 :319-336
[3]   STRUCTURE ACTIVITY RELATIONSHIP OF MUTAGENIC AROMATIC AND HETEROAROMATIC NITRO-COMPOUNDS - CORRELATION WITH MOLECULAR-ORBITAL ENERGIES AND HYDROPHOBICITY [J].
DEBNATH, AK ;
DECOMPADRE, RLL ;
DEBNATH, G ;
SHUSTERMAN, AJ ;
HANSCH, C .
JOURNAL OF MEDICINAL CHEMISTRY, 1991, 34 (02) :786-797
[4]  
Defferrard M, 2016, ADV NEUR IN, V29
[5]  
Dinella E., 2020, INT C LEARN REPR ICL
[6]  
Feng, 2022, INT C LEARN REPR
[7]  
Feng AS, 2022, AAAI CONF ARTIF INTE, P6614
[8]  
Feng Jiarui, 2023, Advances in Neural Information Processing Systems
[9]  
Feser JK, 2015, ACM SIGPLAN NOTICES, V50, P229, DOI [10.1145/2813885.2737977, 10.1145/2737924.2737977]
[10]   Example-Directed Synthesis: A Type-Theoretic Interpretation [J].
Frankle, Jonathan ;
Osera, Peter-Michael ;
Walker, David ;
Zdancewic, Steve .
ACM SIGPLAN NOTICES, 2016, 51 (01) :802-815