Abstract
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 be manageable in a reasonable time scale. We show how one can model the semantics of formulae from the fragment using simple timelines and how one can support entailment checking by comparing timelines using a simple algorithm.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
James Allen. Towards a general theory of action and time. Artificial Intelligence, 23(2):123–154, 1984.
James Allen and George Ferguson. Actions and events in interval temporal logic. Technical Report 521, University of Rochester, 1994.
Joseph Halpern and Yoav Shoham. A propositional modal logic of time intervals. In Proceedings of Symposium on Logic in Computer Science, pages 279–292, Cambridge, Massachusetts, June 16–18, 1986.
Stuart Kent. Modelling Events from Natural Language. PhD thesis, Imperial College, London, 1993.
Alex Lascarides. A Formal Semantic Theory of the Progressive. PhD thesis, University of Edinburgh, 1988.
Marc Moens. Tense, Aspect and Temporal Reference. PhD thesis, University of Edinburgh, 1987.
Marc Moens and Mark Steedman. Temporal ontology and temporal reference. Computational Linguistics 14, pages 15–28, 1988.
Yde Venema. Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic, 31(4):529–547, 1990.
Henk Verkuyl. A theory of aspectuality. Cambridge University Press, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leith, M., Cunningham, J. (1997). Representing and reasoning with events from natural language. In: Gabbay, D.M., Kruse, R., Nonnengart, A., Ohlbach, H.J. (eds) Qualitative and Quantitative Practical Reasoning. FAPR ECSQARU 1997 1997. Lecture Notes in Computer Science, vol 1244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035638
Download citation
DOI: https://doi.org/10.1007/BFb0035638
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63095-1
Online ISBN: 978-3-540-69129-7
eBook Packages: Springer Book Archive