A non-expert view on Turing machines, Proof Verifiers, and Mental reasoning
Rina PanigrahyPublished in: CoRR (2010)
Keyphrases
- turing machine
- proof theory
- mathematical proofs
- theorem proving
- proof theoretic
- logical rules
- multiple views
- knowledge base
- knowledge representation
- automated theorem proving
- model based reasoning
- probabilistic reasoning
- automated reasoning
- default reasoning
- deductive reasoning
- spatial reasoning
- theorem prover
- expert knowledge
- meta level
- database
- reasoning tasks
- mental states
- rule based reasoning
- human experts
- first order logic
- fuzzy logic
- proof planning
- artificial intelligence
- neural network