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

  • Peter Øhrstrøm


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).


Simulation System Temporal Logic Event Structure Interactive System Multimedia System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Andersen, P. and Øhrstrøm, P. (1994) Hyperzeit, Zeitschrift für Semiotik 16 (1–2): 51–68.Google Scholar
  2. Borges, J. L. (1962) Ficciones. New York: Grove Press.Google Scholar
  3. Copeland, J. (ed.) (1995) Logic and Reality: Essays in Pure and Applied Logic in Memory of Arthur Prior. Oxford: Oxford University Press.Google Scholar
  4. 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
  5. 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
  6. McCall, S. (1976) Objective time flow. Philosophy of Science 43: 337–362.CrossRefGoogle Scholar
  7. McTaggart, J. M. E. (1927) The Nature of Existence, ii. Cambridge: Cambridge University Press.zbMATHGoogle Scholar
  8. Mellor, D. H. (1981) Real Time. Cambridge: Cambridge University Press.Google Scholar
  9. 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–217CrossRefGoogle Scholar
  10. Ohrstrom, P. and Hasle, P. (1995) Temporal Logic. From Ancient Ideas to Artificial Intelligence. Boston: Kluwer Academic.Google Scholar
  11. Ohtsura, K. and Brewer, W. F. (1992) Discourse Organization in the Comprehension of Temporal Order in Narrative Texts. Discourse Processes 15: 317–336.CrossRefGoogle Scholar
  12. Prior, A. N. (1957) Time and Modality. Oxford: Oxford University Press.zbMATHGoogle Scholar
  13. Prior, A. N. (1967) Past, Present and Future. Oxford: Clarendon Press.zbMATHCrossRefGoogle Scholar
  14. 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.CrossRefGoogle Scholar
  15. 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
  16. Prior, A. N. and Fine, K. (1977) Worlds, Times and Selves. London: Duckworth.Google Scholar
  17. Rescher, N. (1968) Truth and necessity in temporal perspective. In The Philosophy of Time (ed. R. Gale ), London: Macmillan, pp. 183–220.Google Scholar
  18. Rescher, N. and Urquhart, A. (1971) Temporal Logic. Berlin: Springer-Verlag.zbMATHCrossRefGoogle Scholar
  19. Ryan, M.-L. (1991) Possible Worlds, Artificial Intelligence, and Narrative Theory. Bloomington & Indianapolis, IN: Indiana University Press.Google Scholar
  20. Ryan, M.-L. (1998) Cyberage Narratology. Computers, Metaphor and Narrative (unpublished)Google Scholar

Copyright information

© Springer-Verlag London 2001

Authors and Affiliations

  • Peter Øhrstrøm

There are no affiliations available

Personalised recommendations