Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer).
Simon KramerPublished in: CoRR (2013)
Keyphrases
- formal theory
- knowledge transfer
- cut elimination
- natural deduction
- theorem prover
- linear logic
- transfer learning
- knowledge sharing
- sequent calculus
- commonsense reasoning
- cross domain
- spatial reasoning
- classical logic
- theorem proving
- learning tasks
- mutual adaptation
- transfer knowledge
- reinforcement learning
- first order logic
- mathematical model
- learning experience
- object recognition