PRover: Proof Generation for Interpretable Reasoning over Rules.
Swarnadeep SahaSayan GhoshShashank SrivastavaMohit BansalPublished in: EMNLP (1) (2020)
Keyphrases
- logical rules
- theorem proving
- automated theorem proving
- theorem prover
- automated reasoning
- rule based reasoning
- proof theoretic
- classification rules
- conflicting information
- production rules
- proof search
- linear logic
- argumentation schemes
- proof procedure
- intuitionistic logic
- inference engine
- mathematical proofs
- uncertain information
- qualitative reasoning
- proof planning
- natural deduction
- cut elimination
- first order logic
- proof theory
- reasoning mechanisms
- knowledge base
- meta rules
- default rules
- reasoning systems
- reasoning process
- case based reasoning
- forward chaining
- multi context systems
- association rules
- legal reasoning
- knowledge representation
- rule sets
- human experts
- association rule mining
- data mining
- background knowledge
- default reasoning
- reasoning tasks
- sequent calculus
- backward chaining
- decision procedures