Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation.
Zhouhao SunXiao DingLi DuBibo CaiJinglong GaoTing LiuBing QinPublished in: LREC/COLING (2024)
Keyphrases
- natural language
- classical logic
- automated reasoning
- knowledge representation
- valued logic
- intuitionistic logic
- theorem proving
- proof theory
- theorem prover
- deductive reasoning
- automated theorem proving
- order of magnitude reasoning
- logical formulas
- knowledge representation formalisms
- logic programming
- reasoning engine
- proof procedure
- computational properties
- commonsense reasoning
- logical inference
- human reasoning
- logical framework
- proof theoretic
- probabilistic logic
- natural language processing
- reasoning systems
- knowledge representation and reasoning
- knowledge representation language
- abductive reasoning
- reasoning tasks
- knowledge base
- predicate logic
- formal language
- modal logic
- low resolution
- natural language understanding
- question answering
- semantic analysis
- information extraction
- default reasoning
- reasoning about actions
- natural language interface
- machine learning
- inductive inference
- artificial intelligence
- derivation rules
- horn logic
- probabilistic reasoning
- high resolution
- conceptual representation
- logic programs
- multi valued
- logical rules
- qualitative reasoning
- language processing
- model based diagnosis
- causal reasoning
- language understanding
- probabilistic knowledge