Entailment-Preserving First-order Logic Representations in Natural Language Entailment

Jinu Lee, Qi Liu, Runzhi Ma +4

First-order logic (FOL) can represent the logical entailment semantics of natural language (NL) sentences, but determining natural language entailment using FOL remains a challenge…