Representing and Reasoning with Events fron Natural Language

  title={Representing and Reasoning with Events fron Natural Language},
  author={Miguel Leith and Jim Cunningham},
Linguistic categories such as progressives, perfectives, tense and temporal adverbials are at the heart of our ability to describe events in natural language. Following on from the work of Moens and Steedman and the later work of Kent, we have identified a fragment of an interval tense logic of Halpern and Shoham that is expressive enough to represent the temporal readings of many simple sentences involving the linguistic categories listed above, and computable enough for entailment checking to… 
1 Citations
Modelling Linguistic Events
This paper shows how temporal readings of simple sentences involving tense, the progressive and the perfect may be expressed concisely using a fragment of Halpern and Shoham’s interval logic HS, and describes how to obtain the readings using a compositional semantic approach.


Tense, aspect and temporal reference
English exhibits a rich apparatus of tense, aspect, time adverbials and other expressions that can be used to order states of affairs with respect to each other, or to locate them at a point in time
A propositional modal logic of time intervals
In certain areas of artificial intelligence there is need to represent continuous change and to make statements that are interpreted with respect to time intervals rather than time points. To this
A formal semantic analysis of the progressive.
Formal semantics constitutes the framework of this thesis, and the aim is to characterise the semantics of the progressive, as it appears in sentence (1). (1) Max was running towards the station
Expressiveness and Completeness of an Interval Tense Logic
  • Y. Venema
  • Computer Science
    Notre Dame J. Formal Log.
  • 1990
It is proved that this logic has a greater capacity to distinguish frames than any temporal logic based on points and it is shown that neither this nor any other finite set of operators can be functionally complete on the class of dense orders.
Temporal Ontology and Temporal Reference
It is claimed that any manageable formalism for natural-language temporal descriptions will have to embody such an ontology, as will any usable temporal database for knowledge about events which is to be interrogated using natural language.
This article was processed using the L a T E X macro package with LLNCS style
  • This article was processed using the L a T E X macro package with LLNCS style
Aspect and Temporal Reference
  • Aspect and Temporal Reference
  • 1987