Sciweavers

CORR
2007
Springer

Generating models for temporal representations

13 years 3 months ago
Generating models for temporal representations
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we wish to make are not language specific. Rather, our goal is to develop theoretical and computational tools for temporal model building tasks in computational semantics. To this end, we present a first-order theory of time and events which is rich enough to capture interesting semantic distinctions, and an algorithm which takes minimal models for first-order theories and systematically attempts to “perturb” their temporal component to provide non-minimal, but semantically significant, models. Keywords model building, first-order logic, higher-order logic, computational semantics, events, tense, aspect
Patrick Blackburn, Sébastien Hinderer
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where CORR
Authors Patrick Blackburn, Sébastien Hinderer
Comments (0)