A Differentiable Neural Computer for Logic Reasoning with Scalable Near-Memory Computing and Sparsity Based Enhancement.
Yuhao JuShiyu GuoZixuan LiuTianyu JiaJie GuPublished in: ESSCIRC (2022)
Keyphrases
- automated reasoning
- computational properties
- proof theory
- deductive reasoning
- intuitionistic logic
- associative memory
- order of magnitude reasoning
- network architecture
- proof theoretic
- reasoning engine
- logical framework
- neural network
- low memory
- image processing
- abductive reasoning
- reasoning systems
- logical inference
- causal reasoning
- logical rules
- limited memory
- linear logic
- classical logic
- probabilistic logic
- knowledge base
- objective function
- knowledge representation
- sparse representation
- modal logic
- default reasoning
- qualitative reasoning
- reasoning problems
- horn logic
- high dimensional
- image enhancement
- random access memory
- memory usage
- logic programming
- loss function
- past experience
- case based reasoner
- multi valued
- knowledge representation formalisms
- computer systems
- human reasoning
- proof procedure
- defeasible logic
- commonsense reasoning
- biologically inspired
- reasoning about actions