Abstract Reasoning via Logic-guided Generation.

Sihyun Yu Sangwoo Mo Sungsoo Ahn Jinwoo Shin

Published 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