FraCaS: Temporal Analysis
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Applied Temporal Analysis: A Complete Run of the FraCaS Test Suite
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 inc…
A French Version of the FraCaS Test Suite
This paper presents a French version of the FraCaS test suite. This test suite, originally written in English, contains problems illustrating semantic inference in natural language. We describe linguistic choices we had …
TranslationNatural Solution to FraCaS Entailment Problems
A Wide-Coverage Symbolic Natural Language Inference System
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…
Natural Language Inference