Abstract Reasoning via Logic-guided Generation.
Sihyun YuSangwoo MoSungsoo AhnJinwoo ShinPublished in: CoRR (2021)
Keyphrases
- automated reasoning
- proof theory
- deductive reasoning
- computational properties
- order of magnitude reasoning
- logical framework
- human reasoning
- logical inference
- reasoning engine
- knowledge base
- intuitionistic logic
- proof theoretic
- commonsense reasoning
- probabilistic logic
- knowledge representation formalisms
- proof procedure
- abductive reasoning
- case based reasoner
- higher level
- reasoning tasks
- horn logic
- default reasoning
- propositional dynamic logic
- reasoning systems
- logical rules
- theorem proving
- modal logic
- knowledge representation
- defeasible logic
- logic programming
- knowledge representation and reasoning
- reasoning about actions
- qualitative reasoning
- high level
- linear logic
- asynchronous circuits
- deontic logic
- classical logic
- reasoning process
- propositional logic
- inference rules
- description logics
- low level