Abstract
We present a system for Natural Language Inference which uses a dynamic semantics converter from abstract syntax trees to Coq types. It combines the fine-grainedness of a dynamic semantics system with the powerfulness of a state-of-the-art proof assistant, like Coq. We evaluate the system on all sections of the FraCaS test suite, excluding section 6. This is the first system that does a complete run on the anaphora and ellipsis sections of the FraCaS. It has a better overall accuracy than any previous system.- Anthology ID:
- W19-6131
- Volume:
- Proceedings of the 22nd Nordic Conference on Computational Linguistics
- Month:
- September–October
- Year:
- 2019
- Address:
- Turku, Finland
- Venue:
- NoDaLiDa
- SIG:
- Publisher:
- Linköping University Electronic Press
- Note:
- Pages:
- 298–303
- Language:
- URL:
- https://aclanthology.org/W19-6131
- DOI:
- Cite (ACL):
- Stergios Chatzikyriakidis and Jean-Philippe Bernardy. 2019. A Wide-Coverage Symbolic Natural Language Inference System. In Proceedings of the 22nd Nordic Conference on Computational Linguistics, pages 298–303, Turku, Finland. Linköping University Electronic Press.
- Cite (Informal):
- A Wide-Coverage Symbolic Natural Language Inference System (Chatzikyriakidis & Bernardy, NoDaLiDa 2019)
- PDF:
- https://preview.aclanthology.org/remove-xml-comments/W19-6131.pdf