Applied Temporal Analysis: A Complete Run of the FraCaS Test Suite

Jean-Philippe Bernardy, Stergios Chatzikyriakidis


Abstract
In this paper, we propose an implementation of temporal semantics that translates syntax trees to logical formulas, suitable for consumption by the Coq proof assistant. The analysis supports a wide range of phenomena including: temporal references, temporal adverbs, aspectual classes and progressives. The new semantics are built on top of a previous system handling all sections of the FraCaS test suite except the temporal reference section, and we obtain an accuracy of 81 percent overall and 73 percent for the problems explicitly marked as related to temporal reference. To the best of our knowledge, this is the best performance of a logical system on the whole of the FraCaS.
Anthology ID:
2021.iwcs-1.2
Volume:
Proceedings of the 14th International Conference on Computational Semantics (IWCS)
Month:
June
Year:
2021
Address:
Groningen, The Netherlands (online)
Editors:
Sina Zarrieß, Johan Bos, Rik van Noord, Lasha Abzianidze
Venue:
IWCS
SIG:
SIGSEM
Publisher:
Association for Computational Linguistics
Note:
Pages:
11–20
Language:
URL:
https://aclanthology.org/2021.iwcs-1.2
DOI:
Bibkey:
Cite (ACL):
Jean-Philippe Bernardy and Stergios Chatzikyriakidis. 2021. Applied Temporal Analysis: A Complete Run of the FraCaS Test Suite. In Proceedings of the 14th International Conference on Computational Semantics (IWCS), pages 11–20, Groningen, The Netherlands (online). Association for Computational Linguistics.
Cite (Informal):
Applied Temporal Analysis: A Complete Run of the FraCaS Test Suite (Bernardy & Chatzikyriakidis, IWCS 2021)
Copy Citation:
PDF:
https://aclanthology.org/2021.iwcs-1.2.pdf