Article | NEAL Proceedings of the 22nd Nordic Conference on Computational Linguistics (NoDaLiDa), September 30 - October 2, Turku, Finland | A Wide-Coverage Symbolic Natural Language Inference System Linköping University Electronic Press Conference Proceedings
Göm menyn

Title:
A Wide-Coverage Symbolic Natural Language Inference System
Author:
Jean-Philippe Bernardy: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden Stergios Chatzikyriakidis: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden
Download:
Full text (pdf)
Year:
2019
Conference:
NEAL Proceedings of the 22nd Nordic Conference on Computational Linguistics (NoDaLiDa), September 30 - October 2, Turku, Finland
Issue:
167
Article no.:
031
Pages:
298--303
No. of pages:
5
Publication type:
Abstract and Fulltext
Published:
2019-10-02
ISBN:
978-91-7929-995-8
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Series:
NEALT Proceedings Series
Publisher:
Linköping University Electronic Press, Linköpings universitet


Export in BibTex, RIS or text

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.

Keywords: Natural Language Inference Type Theoretical Semantics Monads Dynamic Semantics

NEAL Proceedings of the 22nd Nordic Conference on Computational Linguistics (NoDaLiDa), September 30 - October 2, Turku, Finland

Author:
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Title:
A Wide-Coverage Symbolic Natural Language Inference System
References:
No references available

NEAL Proceedings of the 22nd Nordic Conference on Computational Linguistics (NoDaLiDa), September 30 - October 2, Turku, Finland

Author:
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
Title:
A Wide-Coverage Symbolic Natural Language Inference System
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2019-11-06