FraCaS: Temporal Analysis
Jean-Philippe Bernardy, Stergios Chatzikyriakidis
TL;DR
This paper presents a temporal semantics implementation for inference tasks, translating syntax to logical formulas compatible with Coq, achieving over 80% accuracy on the FraCaS test suite.
Contribution
It introduces a novel temporal semantics translation method tailored for inference, supporting multiple phenomena and applied successfully to the FraCaS testsuite.
Findings
81% overall accuracy on FraCaS
73% accuracy on temporal reference problems
Supports multiple temporal phenomena
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsWeb Data Mining and Analysis