Using connectionist networks for guiding the search of a theorem prover
Christian B. SuttnerWolfgang ErtelPublished in: Forschungsberichte, TU Munich (1990)
Keyphrases
- theorem prover
- connectionist networks
- proof search
- automated theorem proving
- first order logic
- search algorithm
- theorem proving
- computer algebra
- inference rules
- automated reasoning
- term rewriting
- formal proof
- natural deduction
- search strategies
- dynamical systems
- search space
- sequent calculus
- search engine
- machine learning