Graphical Reasoning in Compact Closed Categories for Quantum Computation
Lucas DixonRoss DuncanPublished in: CoRR (2009)
Keyphrases
- quantum computation
- graphical representation
- knowledge base
- spatial reasoning
- reasoning systems
- knowledge representation
- meta level
- automated reasoning
- reasoning process
- object categories
- case study
- reasoning tasks
- probabilistic logic
- qualitative reasoning
- resource bounded
- model based reasoning
- analogical reasoning
- formal models
- neural network
- default reasoning
- probabilistic reasoning
- probabilistic model
- natural language