Abstract
Intervals and events are analyzed in terms of strings that represent points as symbols occurring uniquely. Allen interval relations, Dowty’s aspect hypothesis and inertia are understood relative to strings, compressed into canonical forms, describable in Monadic Second-Order logic. That understanding is built around a translation of strings replacing stative predicates by their borders, represented in the S-words of Schwer and Durand. Borders point to non-stative predicates, including forces that may compete, succeed to varying degrees, fail and recur.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Boxes are drawn instead of \(\emptyset \) and curly braces \(\{\cdot \}\) to reduce the risk of confusing, for example, the empty language \(\emptyset \) with the string \(\Box \) of length one (not to mention the null string of length 0).
- 2.
Regularity of languages is interesting here for computational reasons; for instance, since inclusions between regular languages are computable (unlike inclusions between context-free languages), so are entailments in MSO.
- 3.
The strings \(\mathfrak {s}_R(a,a')\) can be derived from strings \(\mathfrak {s}^\circ _R(a,a')\) over the alphabet \(\{a,a'\}\) by the equation
$$\mathfrak {s}_R(a,a') = b(\Box \mathfrak {s}^\circ _R(a,a')).$$For example,
A full list of \(\mathfrak {s}^\circ _R(a,a')\), for every Allen relation R, can be found in Table 7.1 in [5, p. 223].
- 4.
To see this, consider the first position where s and \(s'\) differ. Let \(\alpha \) and \(\alpha '\) be the symbols there of s and \(s'\), respectively. Then \((\alpha \cup \alpha ')-(\alpha \cap \alpha ')\) is non-empty. Let \(\gamma (a)\) be an element of that set, and \(\gamma '(a')\) belong in \((\alpha \cup \alpha ')-\{\gamma (a)\}\). Notice that \(\mathcal{{AR}}_s(a,a')\ne \mathcal{{AR}}_{s'}(a,a')\).
References
Allen, J.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
Allen, J., Ferguson, G.: Actions and events in interval temporal logic. J. Log. Comput. 4(5), 531–579 (1994)
Dowty, D.R.: Word Meaning and Montague Grammar. Reidel, Dordrecht (1979)
Durand, I.A., Schwer, S.R.: A tool for reasoning about qualitative temporal information: the theory of S-languages with a Lisp implementation. J. Univers. Comput. Sci. 14(20), 3282–3306 (2008)
Fernando, T.: The semantics of tense and aspect: a finite-state perspective. In: Lappin, S., Fox, C. (eds.) Handbook of Contemporary Semantic Theory, 2nd edn, pp. 203–236. Wiley-Blackwell (2015)
Fernando, T.: On regular languages over power sets. J. Lang. Model. 4(1), 29–56 (2016)
Fernando, T.: Prior and temporal sequences for natural language. Synthese 193(11), 3625–3637 (2016)
Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95–146 (1992)
Hamblin, C.L.: Instants and Intervals. Studium generale 24, pp. 127–134 (1971)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)
Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer (1993)
Levin, B., Rappaport Hovav, M.: Lexicalized meaning and manner/result complementarity. In: Arsenijević, B., Gehrke, B., Marín, R. (eds.), Subatomic Semantics of Event Predicates, pp. 49–70. Springer, Berlin 2013
Libkin, L.: Elements of Finite Model Theory. Springer, Berlin (2010)
Moens, M., Steedman, M.: Temporal ontology and temporal reference. Comput. Linguist. 14(2), 15–28 (1988)
Naumann, R.: Aspects of changes: a dynamic event semantics. J. Semant. 18, 27–81 (2001)
Pustejovsky, J., Moszkowicz, J.L.: The qualitative spatial dynamics of motion in language. Spat. Cogn. Comput. 11, 15–44 (2011)
Acknowledgements
This chapter is an extended version of the paper “Intervals and events with and without points” which appears in the proceedings of the Symposium on Logic and Algorithms in Computational Linguistics 2018, Stockholm University. My thanks to three referees and Roussanka Loukanova for their kind help.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Fernando, T. (2020). Temporal Representations with and without Points. In: Loukanova, R. (eds) Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018). Studies in Computational Intelligence, vol 860. Springer, Cham. https://doi.org/10.1007/978-3-030-30077-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-30077-7_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-30076-0
Online ISBN: 978-3-030-30077-7
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)