Evaluating Relaxations of Logic for Neural Networks: A Comprehensive Study.
Mattia Medina GrespanAshim GuptaVivek SrikumarPublished in: CoRR (2021)
Keyphrases
- neural network
- lower bound
- pattern recognition
- artificial neural networks
- fuzzy logic
- back propagation
- logic programming
- genetic algorithm
- fault diagnosis
- data sets
- multi valued
- modal logic
- defeasible logic
- computational properties
- learning rules
- multi layer
- neural nets
- recurrent neural networks
- feed forward
- self organizing maps
- fuzzy systems
- multilayer perceptron
- deontic logic
- asynchronous circuits