A Formalization of Absolute and Relative Dates Based on the Point Calculus

Abstract In this paper we present a formalization of absolute and relative dates based on a formalization of the point calculus. We discuss three extensions of the point calculus, namely absolute dates, relative dates and both kinds of dates. An approach to translate the point calculus with relative dates to a tense logic is suggested.

[1]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

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

[3]  Peter B. Ladkin,et al.  The Completeness of a Natural System for Reasoning with Time Intervals , 1987, IJCAI.

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

[5]  Marc B. Vilain,et al.  A System for Reasoning About Time , 1982, AAAI.

[6]  Nicholas Rescher,et al.  Temporal Logic = Library of Exact Philosophy, Vol. 3 , 1973 .

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

[8]  Eric Mays,et al.  A Modal Temporal Logic for Reasoning about Change , 1983, ACL.

[9]  Zohar Manna,et al.  Verification of concurrent programs, Part I: The temporal framework , 1981 .

[10]  Mordechai Ben-Ari,et al.  The temporal logic of branching time , 1981, POPL '81.

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

[12]  Elzbieta Hajnicz.  Absolute Dates and Relative Dates in an Inferential System on Temporal Dependencies between Events , 1989, Int. J. Man Mach. Stud..

[13]  Amir Pnueli,et al.  The Glory of the Past , 1985, Logic of Programs.

[14]  Saharon Shelah,et al.  On the temporal analysis of fairness , 1980, POPL '80.

[15]  Elżbieta Hajnicz,et al.  Another Approach to Formalizing the Point and Interval Calculi , 1991, Int. J. Man Mach. Stud..

[16]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..