Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference.
Lasha AbzianidzePublished in: CoRR (2020)
Keyphrases
- theorem prover
- natural language
- natural deduction
- learning algorithm
- inference rules
- learning process
- machine learning
- active learning
- automated theorem proving
- theorem proving
- belief revision
- knowledge base
- artificial intelligence
- first order logic
- probability theory
- automated reasoning
- random variables
- semi supervised
- proof search
- term rewriting
- higher order logic
- predicate invention