Temporal Logic as a Tool for the Description of the Narrativity of Interactive Multimedia Systems
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).
KeywordsSimulation System Temporal Logic Event Structure Interactive System Multimedia System
Unable to display preview. Download preview PDF.
- 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
- Mellor, D. H. (1981) Real Time. Cambridge: Cambridge University Press.Google Scholar
- Ohrstrom, P. and Hasle, P. (1995) Temporal Logic. From Ancient Ideas to Artificial Intelligence. Boston: Kluwer Academic.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
- 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