Uniqueness logic represented via decimal numbers with WASD neural network.
Ru WangYing WangChengxu YeDongsheng GuoYunong ZhangPublished in: ICNC (2014)
Keyphrases
- neural network
- artificial neural networks
- floating point
- back propagation
- sound and complete axiomatization
- predicate logic
- classical logic
- pattern recognition
- self organizing maps
- neural network is trained
- genetic algorithm
- neural nets
- set theory
- computational properties
- multi valued
- data sets
- image reconstruction from projections
- learning vector quantization
- real numbers
- neural model
- feedforward neural networks
- sufficient conditions
- fuzzy logic
- activation function
- network architecture
- training algorithm
- multilayer perceptron
- modal logic
- expressive power
- logic programs
- logic programming