Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...) may be possible to implement a temporal‐inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history. (shrink)

Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...

It is argued that two different types of concept are often intermingled in discussions of Aktionsart. The most common type of classification is one of situation types, relating to the potential actualisation of a situation, although some of the definitions have to do with the actual realization of the situation. This distinction, adequately captured by the notions (a)telicity and (un)boundedness (Declerck 1989), is explored and it is shown how NPs, PPs and tense influence a sentence''s classification as (un)bounded.

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

The distinction between telic and atelic predicates has been described in terms of the algebraic properties of their meaning since the early days of model-theoretic semantics. This perspective was inspired by Aristotle’s discussion of types of actions that do or do not take time to be completed1 which was taken up and turned into a linguistic discussion of action-denoting predicates by Vendler (1957). The algebraic notion that seemed to be most conducive to express the Aristotelian distinction appeared to be the (...) mereological notion of a part, applied to the time at which these predicates hold: atelic predicates, like push a cart, have the subinterval property, that is, whenever they are true at a time interval, then they are true at any part of that interval; this does not hold for telic predicates, like eat an apple, cf. Bennett & Partee (1972), Taylor (1977), and Dowty (1979)2. Bach (1986) integrated these insights into a semantics based on events. (shrink)