Interpretable Proof Generation via Iterative Backward Reasoning.
Hanhao QuYu CaoJun GaoLiang DingRuifeng XuPublished in: CoRR (2022)
Keyphrases
- proof theory
- logical rules
- automated reasoning
- theorem prover
- proof theoretic
- proof planning
- mathematical proofs
- theorem proving
- bi directional
- forward backward
- knowledge base
- knowledge representation
- reasoning process
- proof procedure
- knowledge representation and reasoning
- uncertain information
- legal reasoning
- generation process
- reasoning systems
- forward and backward
- linear logic
- artificial intelligence
- reasoning tasks
- iterative process
- spatial reasoning
- information systems