Learning Heuristics for a Theorem Prover Using Back Propagation.
Wolfgang ErtelJohann SchumannChristian B. SuttnerPublished in: ÖGAI (1989)
Keyphrases
- back propagation
- theorem prover
- learning algorithm
- error back propagation
- neural nets
- cascade correlation
- neural network
- artificial neural networks
- feed forward
- training algorithm
- feedforward neural networks
- bp neural network
- weight update
- term rewriting
- training data
- first order logic
- inference rules
- supervised learning
- hybrid learning
- feed forward neural networks
- levenberg marquardt