Probing the Natural Language Inference Task with Automated Reasoning Tools.
Zaid MarjiAnimesh NighojkarJohn LicatoPublished in: FLAIRS Conference (2020)
Keyphrases
- automated reasoning
- knowledge representation
- natural language
- probabilistic reasoning
- reasoning systems
- theorem proving
- theorem prover
- decision procedures
- reasoning tasks
- probabilistic inference
- natural language processing
- automated verification
- belief networks
- knowledge representation and reasoning
- language processing
- expert systems
- bayesian networks
- natural language understanding
- artificial intelligence
- propositional satisfiability
- image segmentation
- machine learning