multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning.
Swarnadeep SahaPrateek YadavMohit BansalPublished in: CoRR (2021)
Keyphrases
- production rules
- knowledge base
- neural network
- automated theorem proving
- reasoning systems
- theorem proving
- prediction accuracy
- knowledge representation
- evolutionary algorithm
- theorem prover
- association rules
- expert systems
- rule induction
- automated reasoning
- reasoning tasks
- reasoning process
- rule discovery
- data mining
- real time
- reasoning mechanisms