Skip to main content

Temporal Logic as a Tool for the Description of the Narrativity of Interactive Multimedia Systems

  • Chapter
  • 152 Accesses

Abstract

In the study of interactive multimedia systems we are obviously dealing with temporal series or structures of events. It seems natural to make a distinction between two kinds of series of events which are relevant for the study of interactive multimedia systems. Firstly, the user’s interaction with the system itself constitutes a series of events, some of which are counted as past, others as present and still others as future, possible or even counterfactual. This discourse structure is relevant for any use of interactive multimedia systems. Secondly, the system may itself, prior to any use of it, presuppose a narrative, i.e. a structure of events, which the user comes to learn during his or her interaction with the system. Many multimedia systems presuppose such event structures, although they may be absent or not very interesting in other cases, for example in some strictly dictionary systems. The relations between the discourse structures and the event structures have been studied in some detail in Andersen and Øhrstrøm (1994).

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Andersen, P. and Øhrstrøm, P. (1994) Hyperzeit, Zeitschrift für Semiotik 16 (1–2): 51–68.

    Google Scholar 

  • Borges, J. L. (1962) Ficciones. New York: Grove Press.

    Google Scholar 

  • Copeland, J. (ed.) (1995) Logic and Reality: Essays in Pure and Applied Logic in Memory of Arthur Prior. Oxford: Oxford University Press.

    Google Scholar 

  • Holm, S., Ohrstrom, P., Rossel, P. and Pedersen, S.A. (2000) Cognitive studies of ethical reasoning based on the KARDIO-simulator. In Mathematical Modelling in Medicine, IOS Press, pp. 217–227.

    Google Scholar 

  • Holm, S., Ohrstrom, P. and Donner, C. (1999) KARDIO - A simulation of a cardiac care unit intended for the study of the ethical components of medical decision-making. In Proceedings of the 12th Interna-tional Florida AI Research Society Conference,Orlando, FL. Menlo Park, CA: AAAI Press.

    Google Scholar 

  • McCall, S. (1976) Objective time flow. Philosophy of Science 43: 337–362.

    Article  Google Scholar 

  • McTaggart, J. M. E. (1927) The Nature of Existence, ii. Cambridge: Cambridge University Press.

    MATH  Google Scholar 

  • Mellor, D. H. (1981) Real Time. Cambridge: Cambridge University Press.

    Google Scholar 

  • Ohrstrom, P. (1996) Existential graphs and tense logic. In Conceptual Structures: Knowledge Representa-tion as Interlingua (eds. P. Eklund, G. Ellis and G. Mann ). Berlin: Springer-Verlag, pp. 203–217

    Chapter  Google Scholar 

  • Ohrstrom, P. and Hasle, P. (1995) Temporal Logic. From Ancient Ideas to Artificial Intelligence. Boston: Kluwer Academic.

    Google Scholar 

  • Ohtsura, K. and Brewer, W. F. (1992) Discourse Organization in the Comprehension of Temporal Order in Narrative Texts. Discourse Processes 15: 317–336.

    Article  Google Scholar 

  • Prior, A. N. (1957) Time and Modality. Oxford: Oxford University Press.

    MATH  Google Scholar 

  • Prior, A. N. (1967) Past, Present and Future. Oxford: Clarendon Press.

    Book  MATH  Google Scholar 

  • Prior, A. N. (1972) The notion of the present. In The Study of Time, Vol. I (eds. J. T. Fraser, F. C. Haber and G. H. Müller ). Berlin: Springer-Verlag, pp. 320–323.

    Chapter  Google Scholar 

  • Prior, A. N. (1995) Some free thinking about time, Box 7, Bodleian Library, Oxford. In Logic and Reality: Essays in Pure and Applied Logic in Memory of Arthur Prior (ed. J. Copeland ). Oxford: Oxford University Press, pp. 47–51.

    Google Scholar 

  • Prior, A. N. and Fine, K. (1977) Worlds, Times and Selves. London: Duckworth.

    Google Scholar 

  • Rescher, N. (1968) Truth and necessity in temporal perspective. In The Philosophy of Time (ed. R. Gale ), London: Macmillan, pp. 183–220.

    Google Scholar 

  • Rescher, N. and Urquhart, A. (1971) Temporal Logic. Berlin: Springer-Verlag.

    Book  MATH  Google Scholar 

  • Ryan, M.-L. (1991) Possible Worlds, Artificial Intelligence, and Narrative Theory. Bloomington & Indianapolis, IN: Indiana University Press.

    Google Scholar 

  • Ryan, M.-L. (1998) Cyberage Narratology. Computers, Metaphor and Narrative (unpublished)

    Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag London

About this chapter

Cite this chapter

Øhrstrøm, P. (2001). Temporal Logic as a Tool for the Description of the Narrativity of Interactive Multimedia Systems. In: Qvortrup, L. (eds) Virtual Interaction: Interaction in Virtual Inhabited 3D Worlds. Springer, London. https://doi.org/10.1007/978-1-4471-3698-9_19

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3698-9_19

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84996-863-8

  • Online ISBN: 978-1-4471-3698-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics