A Modal Logic for Explaining some Graph Neural Networks

07/11/2023
by   Pierre Nunn, et al.
0

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 graph neural network (GNN). We also show that each GNN can be transformed into a formula. We show that the satisfiability problem is decidable. We also discuss some variants that are in PSPACE.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset