论文标题
Fracas：时间分析
FraCaS: Temporal Analysis
论文作者
论文摘要
在本文中，我们提出了适合推论问题的时间语义的实施。该实现将语法树转化为逻辑公式，适用于COQ证明助手的消费。我们支持几种现象，包括：时间参考，时间副词，方面类和进步主义者。我们将这些语义应用于完整的Fracas Testsuite。对于与时间参考有关的明确标记的问题，我们获得了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.
