The Completeness of a Natural System for Reasoning with Time Intervals

James Allen defined a calculus of time intervals by identifying time intervals as pairs of real numbers, and considering binary relations that can hold between such pairs [Alll83]. We call this the Interval Calculus. We consider the system of interval time units defined in [Lad86.2] (the TUS), which was intended for the natural representation of real clock time on any scale. We introduce the convex part of the TUS, and show that it may be regarded as a canonical model of the Interval Calculus. We discuss the consequences of this result.

[1]  David R. Dowty,et al.  Word Meaning and Montague Grammar , 1979 .

[2]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[3]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[4]  Peter B. Ladkin,et al.  Time Representation: A Taxonomy of Internal Relations , 1986, AAAI.

[5]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[6]  Henry Kautz,et al.  A model of naive temporal reasoning , 1985 .

[7]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[8]  W. H. Newton-Smith,et al.  The Structure of Time , 2018 .

[9]  James F. Allen,et al.  A formal logic of plans in temporally rich domains , 1986, Proceedings of the IEEE.

[10]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[11]  Peter B. Ladkin,et al.  Models of Axioms for Time Intervals , 1987, AAAI.

[12]  C. L. Hamblin.  Instants and intervals. , 1971, Studium generale; Zeitschrift fur die Einheit der Wissenschaften im Zusammenhang ihrer Begriffsbildungen und Forschungsmethoden.

[13]  Peter Roper,et al.  Intervals and tenses , 1980, J. Philos. Log..

[14]  Peter B. Ladkin,et al.  Primitives and Units for Time Specification , 1986, AAAI.

[15]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[16]  P. Ladkin,et al.  The algebra of convex time intervals , 1987 .

[17]  Lloyd Humberstone,et al.  Interval semantics for tense logic: Some remarks , 1979, Journal of Philosophical Logic.

[18]  David Forster,et al.  A Representation for Collections of Temporal Intervals , 1986, AAAI.

[19]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[20]  Peter B. Ladkin,et al.  Specification of time dependencies and synthesis of concurrent processes , 1987, ICSE '87.