Semantical interpretation of temporal information by abductive inference

Sven Verdoolaege (K.U.Leuven)
Marc Denecker (K.U.Leuven)
Ness Schelkens (K.U.Leuven)
Danny De Schreye (K.U.Leuven)
Frank Van Eynde (K.U.Leuven)

In our talk, we will present some work conducted in the framework of
Linguaduct, a project on the temporal interpretation of texts by making
use of abductive reasoning.

Besides temporal information explicitely available in verbs and adjuncts, the temporal interpretation of a text also depends on general world knowledge and default assumptions. We will present a theory for describing the relation between, on the one hand, verbs, their tenses and adjuncts and on the other, the eventualities and periods they represent and their relative temporal locations.

The theory is formulated in an extension of first order logic with definitions and is a practical implementation of the concepts described in the talk proposed by Ness Schelkens et al.. We will show how an abductive resolution procedure can be used on this representation to extract temporal information from texts.