FraCaS: Temporal Analysis
FraCaS: Temporal Analysis
复制标题
FraCaS：时间分析
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
S. Chatzikyriakidis
中科院分区：
文献类型：
--
作者：
Jean;S. Chatzikyriakidis
在本文中，我们提出了一个时间语义，这是适合推理问题的实现。该实现将语法树转换为适合Coq证明助手使用的逻辑公式。我们支持多种现象，包括：时间参照、时间副词、体类和进行体。我们将这些语义应用于完整的FraCaS测试套件。我们获得了81%的整体和73%的问题明确标记为相关的时间参考的准确性。
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.
时间和紧张。
DOI：
--
发表时间：
2002
期刊：
Major Grammatical Constructions in English
影响因子：
--
作者：
KANEKO;Yoshiaki
通讯作者：
Yoshiaki