Learning heuristics for a theorem prover using back propagation
Johann M. Ph. SchumannWolfgang ErtelChristian B. SuttnerPublished in: Forschungsberichte, TU Munich (1989)
Keyphrases
- back propagation
- theorem prover
- neural nets
- learning algorithm
- cascade correlation
- error back propagation
- artificial neural networks
- feed forward
- neural network
- first order logic
- theorem proving
- multi layer
- real time
- learning rules
- feed forward neural networks
- feedforward neural networks
- fuzzy logic
- probabilistic model
- artificial intelligence
- genetic algorithm