Abstract
Most of the descriptions of interval time structures in the first order predicate calculus are based on linear time. However, in the case of intervals, abandoning the condition oflinearity (e.g.LIN in van Benthem's systems) is not sufficient. In this paper, some properties of non-linear time structures are discussed. The most important one is the characterization of location of intervals in a fork of branches. This is connected with the fact that an interval can contain non-collinear subintervals. As a result of non-linearity, some basic properties of interval structures must be formulated in a weaker form. Moreover, time must be filled by intervals to indicate that time cannot pass without events occurring in it. Finally, it is shown that when intervals cannot contain non-collinear subintervals, most of the conditions described in the paper are satisfied.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Allen, J.F.: 1983, ‘Maintaining Knowledge about Temporal Intervals’,Communications of ACM 26(11), pp. 832–843.
Allen, J. & Hayes, P.J.: 1985, ‘A Common-Sense Theory of Time’,Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, Morgan Kaufmann Publishers, pp. 528–531
Allen, J.F. & Hayes, P.J.: 1987, ‘Short Time Periods’,Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy, Morgan Kaufmann Publishers, pp. 981–983
van Benthem, J.F.A.K.: 1983,The Logic of Time, D. Reidel Publishing Company, Dordrecht, Holland
Hajnicz, E.: 1995, ‘An analysis of structure of time in the first order predicate calculus’, in L. Bolc, A. Szałas (eds.)Time and Logic. A computational approach, UCL Press, London, pp. 279–322
Hajnicz, E.: 1996, ‘Applying Allen's constraint propagation algorithm for non-linear time’,Journal of Logic, Language and Information (in press).
Kamp, H.: 1979, ‘Instants and Temporal Reference’, in von Stechow (ed.)Semantics from different points of view, Springer Series in Language and Communication6, Springer Verlag, pp. 376–417
Kamp, H.: 1980, ‘Some Remarks on the Logic of Change. Part I’, in Guenthner F. (ed.)Proceedings of the Stuttgart Conference on the Logic of Tense and Quantification North Holland, pp. 135–179
Ladkin, P.B.: 1986, ‘Time Representation: A Taxonomy of Interval Relations’,Proceedings of Fifth AAAI Conference, Philadelphia, Morgan Kaufmann Publishers, pp. 360–366
Ladkin, P.B.: 1987, ‘Models of Axioms for Time Intervals’,Proceedings of Sixth AAAI Conference, Seattle, Washington, Morgan Kaufmann Publishers, pp. 234–239
Ligozat, G.: 1991, ‘On Generalized Interval Calculi’,Proceedings of Ninth AAAI Conference, Anaheim, CA, pp. 234–240
McDermott, D.: 1982, ‘A Temporal Logic for Reasoning about Processes and Plans’,Cognitive Science 6, pp. 101–155
Shoham, Y: 1987,Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, Ph.D. Thesis, Yale University
Tsang, E.P.K.: 1986,The Interval Structure of Allen's Logic, Technical Report CSCM-24, University of Essex, Colchester
Tsang, E.P.K.: 1987, ‘Time Structures for AI’,Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy, Morgan Kaufmann Publishers, pp. 456–461
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hajnicz, E. Some considerations on non-linear time intervals. J Logic Lang Inf 4, 335–357 (1995). https://doi.org/10.1007/BF01049474
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01049474