Conjecturing the Cognitive Plausibility of an ANN Theorem-Prover.
Iara Moema Oberg VilelaPriscila Machado Vieira LimaPublished in: IWANN (1) (2001)
Keyphrases
- theorem prover
- artificial neural networks
- theorem proving
- automated reasoning
- first order logic
- using artificial neural networks
- inference rules
- automated theorem proving
- formal proof
- computer algebra
- term rewriting
- natural deduction
- cognitive processes
- information processing
- formal semantics
- recurrent neural networks
- neural network
- higher order logic
- boolean algebra
- proof search
- back propagation
- cognitive science
- expert systems
- artificial intelligence
- propositional logic
- proof planning
- feature selection
- higher order
- genetic algorithm
- timed automata