Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference.
Lasha AbzianidzePublished in: *SEM@COLING (2020)
Keyphrases
- theorem prover
- learning algorithm
- natural language
- learning process
- first order logic
- computer algebra
- natural deduction
- inference process
- automated reasoning
- background knowledge
- logic programming
- artificial intelligence
- machine learning
- theorem proving
- supervised learning
- predicate calculus
- automated theorem proving
- data mining