The Effect of the Theorem Prover in Cognitive Science.
Tadashi TakahashiHidetsune KobayashiPublished in: International Conference on Computational Science (1) (2006)
Keyphrases
- cognitive science
- theorem prover
- artificial intelligence
- inference rules
- theorem proving
- first order logic
- cognitive processes
- term rewriting
- information processing
- automated theorem proving
- computer science
- connectionist models
- formal proof
- human cognition
- computational modeling
- cognitive systems
- database
- boolean algebra
- ai researchers
- natural deduction
- databases
- human level
- computational intelligence
- neural network
- cognitive architectures
- genetic algorithm
- machine learning
- mathematical knowledge