Symbolic logic inference system based on recurrent multilayered perceptron neural networks.
Guoyin WangHongbao ShiPublished in: ICNN (1996)
Keyphrases
- neural network
- feed forward
- recurrent neural networks
- activation function
- neural learning
- neural nets
- connectionist models
- connectionist systems
- connectionist learning
- multi layered
- artificial neural networks
- back propagation
- symbolic knowledge
- fuzzy logic
- spiking neural networks
- learning rules
- pattern recognition
- modal logic
- genetic algorithm
- self organizing maps
- logic programming
- multilayer perceptron
- machine learning
- hidden layer
- automated reasoning
- learning algorithm
- logical framework
- computational properties
- perceptron algorithm
- binary decision diagrams
- symbolic description
- proof theory
- multilayer neural network
- data sets
- symbolic data
- radial basis function
- classical logic
- multi agent systems
- multi layer
- training data