Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Between the Event Calculus and Finite State Temporality

  • Conference paper
  • First Online:
Formal Grammar (FG 2015, FG 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9804))

  • 433 Accesses

Abstract

Event Calculus formulas dealing with instantaneous and continuous change are translated into regular languages interpreted relative to finite models. It is shown that a model over the real line for a restricted class of these Event Calculus formulas (relevant for natural language semantics) can be transformed into a finite partition of the real line, satisfying the regular languages. Van Lambalgen and Hamm’s treatment of type coercion is reduced to changes in the alphabet from which the strings are formed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Similar content being viewed by others

References

  1. Allen, J.F.: An interval-based representation of temporal knowledge. IJCAI 1, 221–226 (1981)

    Google Scholar 

  2. Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. In: Stock, O. (ed.) Spatial and Temporal Reasoning, pp. 205–245. Springer, Dordrecht (1997)

    Chapter  Google Scholar 

  3. Bennett, M., Partee, B.H.: Toward the logic of tense and aspect in English. Wiley Online Library (1978)

    Google Scholar 

  4. Comrie, B.: Aspect: An Introduction to the Study of Verbal Aspect and Related Problems. Cambridge University Press, Cambridge (1976)

    Google Scholar 

  5. Croft, W.: The structure of events. In: Tomasello, M. (ed.) The New Psychology of Language, Chap. 3. Lawrence Erlbaum Associates, Mahwah (1998)

    Google Scholar 

  6. Fernando, T.: Finite-state temporal projection. In: Ibarra, O.H., Yen, H.-C. (eds.) CIAA 2006. LNCS, vol. 4094, pp. 230–241. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  7. Fernando, T.: Temporal propositions as regular languages. In: 6th International Workshop on Finite-State Methods and Natural Language Processing, pp. 132–48 (2008)

    Google Scholar 

  8. Fernando, T.: Partitions representing change homogeneously. In: Aloni, M., Franke, M., Roelofsen, F. (eds.) A festschrift for Jeroen Groenendijk, Martin Stokhof, and Frank Veltman, pp. 91–95. Onbekend (2013)

    Google Scholar 

  9. Fernando, T.: Segmenting temporal intervals for tense and aspect. In: The 13th Meeting on the Mathematics of Language, p. 30 (2013)

    Google Scholar 

  10. Fernando, T.: Incremental semantic scales by strings. In: EACL 2014, p. 63 (2014)

    Google Scholar 

  11. Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM (JACM) 38(4), 935–962 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  12. Hamm, F., van Lambalgen, M.: Nominalization, the progressive and event calculus. Linguist. Philos. 26, 381–458 (2003)

    Article  Google Scholar 

  13. Kennedy, C., Levin, B.: Measure of change: the adjectival core of degree achievements. In: McNally, L., Kennedy, C. (eds.) Adjectives and Adverbs: Syntax, Semantics and Discourse, pp. 156–182. Oxford University Press, Oxford (2008)

    Google Scholar 

  14. Kowalski, R., Sergot, M.: A logic-based calculus of events. In: Schmidt, J.W., Thanos, C. (eds.) Foundations of Knowledge Base Management, pp. 23–55. Springer, Heidelberg (1989)

    Chapter  Google Scholar 

  15. van Lambalgen, M., Hamm, F.: The Proper Treatment of Events. Wiley, New York (2005)

    Book  MATH  Google Scholar 

  16. Moens, M., Steedman, M.: Temporal ontology and temporal reference. Comput. Linguist. 14(2), 15–28 (1988)

    Google Scholar 

  17. Pulman, S.G.: Aspectual shift as type coercion. Trans. Philol. Soc. 95(2), 279–317 (1997)

    Article  Google Scholar 

  18. Solt, S.: Measurement scales in natural language. Lang. Linguist. Compass 9(1), 14–32 (2015)

    Article  Google Scholar 

  19. Vendler, Z.: Verbs and times. The Philos. Rev. 66, 143–160 (1957)

    Article  Google Scholar 

Download references

Acknowledgement

This research is enhanced by support from Science Foundation Ireland through the CNGL Programme (Grant 12/CE/I2267) in the ADAPT Centre (www.adaptcentre.ie) at Trinity College Dublin. The ADAPT Centre for Digital Content Technology is funded under the SFI Research Centres Programme (Grant 13/RC/2106) and is co-funded under the European Regional Development Fund.

Author information

Authors and Affiliations

  1. Trinity College Dublin, Dublin 2, Ireland

    Derek Kelleher, Tim Fernando & Carl Vogel

Authors
  1. Derek Kelleher
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tim Fernando
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carl Vogel
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tim Fernando .

Editor information

Editors and Affiliations

  1. IRISA, University of Rennes 1 , Rennes, France

    Annie Foret

  2. Department of Computer Science, Universitat Politècnica de Catalunya , Barcelona, Spain

    Glyn Morrill

  3. Tilburg University , Tilburg, The Netherlands

    Reinhard Muskens

  4. Department of General Linguistics, Heinrich-Heine-University Düsseldorf , Düsseldorf, Germany

    Rainer Osswald

  5. INRIA Nancy, Villers-lès-Nancy, France

    Sylvain Pogodalla

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kelleher, D., Fernando, T., Vogel, C. (2016). Between the Event Calculus and Finite State Temporality. In: Foret, A., Morrill, G., Muskens, R., Osswald, R., Pogodalla, S. (eds) Formal Grammar. FG FG 2015 2016. Lecture Notes in Computer Science(), vol 9804. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53042-9_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-53042-9_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-53041-2

  • Online ISBN: 978-3-662-53042-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation