FraCaS: Temporal Analysis

12/19/2020
by   Jean-Philippe Bernardy, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/20/2022

Compositional Semantics and Inference System for Temporal Order based on Japanese CCG

Natural Language Inference (NLI) is the task of determining whether a pr...
research
03/25/2022

Formal Semantics and Formally Verified Validation for Temporal Planning

We present a simple and concise semantics for temporal planning. Our sem...
research
01/10/2022

A Compositional Proof Framework for FRETish Requirements

Structured natural languages provide a trade space between ambiguous nat...
research
11/09/2021

Self-checking Logical Agents

This paper presents a comprehensive framework for run-time self-checking...
research
03/14/2019

A two-dimensional metric temporal logic

We introduce a two-dimensional metric (interval) temporal logic whose in...
research
07/21/2020

Reference study of CityGML software support: the GeoBIM benchmark 2019 – Part II

OGC CityGML is an open standard for 3D city models intended to foster in...
research
12/21/2016

Temporal Tessellation: A Unified Approach for Video Analysis

We present a general approach to video understanding, inspired by semant...

Please sign up or login with your details

Forgot password? Click here to reset