PRover: Proof Generation for Interpretable Reasoning over Rules.
Swarnadeep SahaSayan GhoshShashank SrivastavaMohit BansalPublished in: CoRR (2020)
Keyphrases
- logical rules
- automated theorem proving
- theorem proving
- theorem prover
- proof theoretic
- rule based reasoning
- production rules
- automated reasoning
- classification rules
- inference engine
- first order logic
- conflicting information
- reasoning mechanisms
- argumentation schemes
- proof procedure
- forward chaining
- multi context systems
- reasoning systems
- proof theory
- backward chaining
- default rules
- knowledge base
- uncertain information
- rule based systems
- meta rules
- proof search
- mathematical proofs
- knowledge representation
- cut elimination
- spatial reasoning
- decision rules
- association rule mining
- rule sets
- knowledge based systems
- proof planning
- fuzzy sets
- generation process
- data mining
- linear logic