A Logic for Reasoning About Aggregate-Combine Graph Neural Networks.
Pierre NunnMarco SälzerFrançois SchwarzentruberNicolas TroquardPublished in: CoRR (2024)
Keyphrases
- neural network
- formal theory
- pattern recognition
- graph representation
- graph structure
- logic programming
- back propagation
- causal reasoning
- graph matching
- multilayer perceptron
- artificial neural networks
- structured data
- directed graph
- spanning tree
- graph model
- multi layer
- relational structures
- classical logic
- fuzzy logic
- self organizing maps
- random walk
- weighted graph
- training process
- directed acyclic graph
- bipartite graph
- neural nets
- activation function
- expert systems
- multi valued
- logical framework
- defeasible logic
- hopfield neural network
- fault diagnosis
- genetic algorithm