一种用于解释某些图神经网络的模态逻辑

Jul, 2023

一种用于解释某些图神经网络的模态逻辑

A Modal Logic for Explaining some Graph Neural Networks

Pierre Nunn, François Schwarzentruber

TL;DR该论文提出了一种包含线性不等式中计数模态的模态逻辑，证明了每个公式可以转化为等价的图神经网络（GNN），也证明了每个GNN可以转化为公式，说明可满足性问题是可判定的，并讨论了一些PSPACE内的变种。

Abstract

In this paper, we propose a modal logic in which counting modalities appear in linear inequalities. We show that each formula can be transformed into an equivalent →