LOREN: Logic Enhanced Neural Reasoning for Fact Verification.
Jiangjie ChenQiaoben BaoJiaze ChenChangzhi SunHao ZhouYanghua XiaoLei LiPublished in: CoRR (2020)
Keyphrases
- proof theory
- automated reasoning
- asynchronous circuits
- deductive reasoning
- order of magnitude reasoning
- logical framework
- intuitionistic logic
- computational properties
- probabilistic logic
- model checking
- verification method
- network architecture
- logical inference
- reasoning engine
- logic programming
- model checker
- human reasoning
- reasoning tasks
- qualitative reasoning
- classical logic
- proof theoretic
- horn logic
- neural network
- reasoning problems
- logical rules
- knowledge representation formalisms
- causal reasoning
- formal verification
- default reasoning
- reasoning systems
- knowledge representation
- modal logic
- abductive reasoning
- proof procedure
- neural model
- reasoning process
- bounded model checking
- formal methods
- commonsense reasoning
- linear logic
- probabilistic reasoning
- theorem proving
- linear temporal logic
- artificial intelligence
- expressive power
- reasoning about actions
- associative memory
- logical formulas
- scientific discovery