An implementation of a theorem prover in symmetric neural networks.
Alvaro Kilkerry NetoGerson ZaveruchaLuís Alfredo Vidal de CarvalhoPublished in: IJCNN (1999)
Keyphrases
- theorem prover
- neural network
- theorem proving
- automated deduction
- term rewriting
- inference rules
- formal proof
- first order logic
- computer algebra
- fuzzy logic
- automated theorem proving
- automated reasoning
- artificial neural networks
- proof search
- genetic algorithm
- knowledge representation
- multilayer perceptron
- pattern recognition
- knowledge base
- artificial intelligence
- natural deduction
- proof planning
- machine learning