Abstract
We describe a fragment of Allen’s full algebra of time interval relations (the algebra of convex relations) that is useful for describing the dynamic behavior of technical systems. After an intuitive description of the fragment we give two formal definitions and prove that they are equivalent. This provides the basis for the major result of the paper: in a time net in which all interval relations are convex the test for the global consistency of the edge labelling can be carried out in polynomial time (in the general case it is NP-complete). This result makes convex interval relations an attractive candidate whereever qualitative reasoning about technical systems requires testing for global instead of local consistency.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literature
J.F. Allen: Maintaining Knowledge about Temporal Intervals, CACM 26(11), Nov.83
J.F. Allen, P.F. Hayes: A Common Sense Theory of Time, Proc.9th IJCAI, 1985
J. deKleer, J.S. Brown: A Qualitative Physics Based on Confluences, in: D.G. Bobrow (ed.): Qualitative Reasoning about Physical Systems, Amsterdam 1984
K.D.Forbes: Qualitative Process Theory, in:D.G.Bobrow (ed.): Qualitative Reasoning about Physical Systems, Amsterdam 1984
M. Vilain, H. Kautz: Constraint Propagation Algorithms for Temporal Reasoning, Proc. AAAI-86.
H. Voß: Representing and Analyzing Causal, Temporal, and Hierarchical Relations of Devices, Universität Kaiserslautern, SEKI-Report SR-87-17.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nökel, K. (1989). Convex Relations Between Time Intervals. In: Retti, J., Leidlmair, K. (eds) 5. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74688-8_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-74688-8_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51039-0
Online ISBN: 978-3-642-74688-8
eBook Packages: Springer Book Archive