Reasoning with time is ubiquitous. Many computational problems involving planning, scheduling, reasoning and modeling often refer to the literature and use some simplified versions of the rich body of theoretical works within the spatio-temporal reasoning areas. Although most of such latter works are for qualitative reasoning, one notable exception is Dechter et al’s investigation on the temporal constraint network where explicit quantitative temporal information is modeled. For obvious reason a quantitative framework finds more application, as computers are still primarily numerical data crunching machines rather than symbol crunching ones. In this article we propose a framework for extending Dechter et al’s investigation toward a non-linear underlying space where a finite Real line closes onto itself (cyclic). Such a space is not only esoteric but also practical, as reasoning with many calendar domains uses such a cyclic space, e.g., weekly scheduling of tasks. This is an ongoing work and only the basics are provided here.
Subjects: 3.6 Temporal Reasoning; 11. Knowledge Representation
Submitted: May 17, 2007