Designing Neural Networks Using Logical Specs.
Shikhar SinghMarko VasicSarfraz KhurshidPublished in: ISSRE (2020)
Keyphrases
- neural network
- pattern recognition
- fuzzy systems
- fuzzy logic
- artificial neural networks
- logical reasoning
- database
- back propagation
- neural network model
- fault diagnosis
- self organizing maps
- feed forward
- multilayer perceptron
- logical representation
- competitive learning
- fuzzy neural network
- neural nets
- feedforward neural networks
- network architecture
- training algorithm
- genetic algorithm
- learning environment
- rough sets