A Modal Logic for Explaining some Graph Neural Networks.
Pierre NunnFrançois SchwarzentruberPublished in: CoRR (2023)
Keyphrases
- modal logic
- neural network
- temporal logic
- inference rules
- nonmonotonic logics
- classical logic
- situation calculus
- artificial neural networks
- graph representation
- epistemic logic
- graph structure
- graph theory
- pattern recognition
- random walk
- directed graph
- weighted graph
- default logic
- genetic algorithm
- neural network model
- graph mining
- probability distribution
- prime implicates
- autoepistemic logic
- description logic alc
- modal operators
- conditional logic
- bipartite graph
- back propagation
- expert systems
- artificial intelligence
- machine learning