Investigating Transformer-Guided Chaining for Interpretable Natural Logic Reasoning.
Kanagasabai RajaramanSaravanan RajamanickamWei ShiPublished in: ACL (Findings) (2023)
Keyphrases
- automated reasoning
- proof theory
- human reasoning
- order of magnitude reasoning
- deductive reasoning
- computational properties
- intuitionistic logic
- fuzzy logic
- proof theoretic
- probabilistic logic
- logical inference
- logical framework
- knowledge representation formalisms
- reasoning engine
- abductive reasoning
- classical logic
- reasoning about actions
- knowledge representation
- horn logic
- scientific discovery
- fault diagnosis
- knowledge base
- reasoning systems
- logical rules
- commonsense reasoning
- neural network
- causal reasoning
- description logics
- theorem proving
- knowledge representation and reasoning
- reasoning problems
- qualitative reasoning
- proof procedure
- logic programming
- modal logic
- real world
- case based reasoning
- power system
- inference rules
- theorem prover
- inference engine
- probabilistic reasoning
- natural deduction
- deontic logic
- default reasoning
- model theoretic