Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study.
Mattia Medina GrespanAshim GuptaVivek SrikumarPublished in: IJCAI (2021)
Keyphrases
- neural network
- pattern recognition
- back propagation
- multi valued
- artificial neural networks
- automated reasoning
- classical logic
- logic programming
- neural network model
- neural nets
- rule extraction
- activation function
- fuzzy systems
- multi layer
- data sets
- recurrent neural networks
- self organizing maps
- fuzzy logic
- lower bound
- logical framework
- genetic algorithm
- set theory
- predicate logic
- epistemic logic