Cloning Composition and Logical Inferences in Neural Networks Using Variable-Free Logic.
Helmar GustKai-Uwe KühnbergerPublished in: AAAI Technical Report (3) (2004)
Keyphrases
- neural network
- probabilistic logic
- logical framework
- logical operations
- logical representation
- logical rules
- pattern recognition
- predicate calculus
- dynamic logic
- lambda calculus
- truth values
- fuzzy logic
- genetic algorithm
- artificial neural networks
- back propagation
- modal logic
- logic programming
- recurrent neural networks
- logical theories
- proof theory
- multi valued
- classical logic
- causal reasoning
- probabilistic knowledge
- inconsistent knowledge
- computational properties
- rule extraction
- web service composition
- activation function
- multi layer perceptron
- neural nets
- multilayer perceptron
- neural network model
- first order logic
- self organizing maps
- logic programs
- learning algorithm