2020/12/19 by Jean-Philippe Bernardy, Bernardy, Jean-Philippe, Stergios Chatzikyriakidis +1
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Web Data Mining and Analysis
paper · pdf · doi:10.48550/arxiv.2012.10668
openalex publication_date 2020/12/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we propose an implementation of temporal semantics which is suitable for inference problems. This implementation translates syntax trees to logical formulas, suitable for consumption by the Coq proof assistant. We support several phenomena including: temporal references, temporal adverbs, aspectual classes and progressives. We apply these semantics to the complete FraCaS testsuite. We obtain an accuracy of 81 percent overall and 73 percent for problems explicitly marked as related to temporal reference.