Neural Network Verification Using Residual Reasoning.
Yizhak Yisrael ElboherElazar CohenGuy KatzPublished in: SEFM (2022)
Keyphrases
- neural network
- pattern recognition
- genetic algorithm
- reasoning systems
- back propagation
- knowledge base
- neural network model
- artificial neural networks
- neural nets
- verification method
- formal verification
- self organizing maps
- reasoning tasks
- automated reasoning
- knowledge representation
- reasoning process
- meta level
- data sets
- artificial intelligence
- neural model
- fuzzy logic
- model checking
- qualitative reasoning
- spatial reasoning
- bp neural network
- activation function
- fuzzy neural network
- model based reasoning
- decision making
- image reconstruction from projections
- learning vector quantization
- rule based reasoning
- reasoning mechanisms
- learning algorithm
- deductive reasoning
- description logics
- face verification
- multi layer perceptron
- probabilistic reasoning
- network architecture
- training algorithm
- recurrent neural networks
- multilayer perceptron
- expert systems
- radial basis function
- fault diagnosis
- knowledge based systems