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

• Type: Journal
• Year: 2007
• Where: CORR
• Authors: Patrick Blackburn, Sébastien Hinderer
• Keywords: Computational Semantics, CORR 2007, Education, Model, Temporal Representations