ECAI-2000 Conference Paper

[full paper]

A Formalization of Structured Temporal Objects and Repetition

Diana Cukierman, James Delgrande

We propose an approach to formally representing structured temporal objects. These new temporal objects are recursively made up of convex intervals and Allen's convex relations. The major emphasis in our approach is on temporal repetition. To that effect we define the time loop. Time loops allow us to abstract common elements in repetitive temporal patterns. A loop is parameterized by a cycle which is a structured temporal element possibly including subloops, a relation between instances of the cycle and a repetition factor or dimension. Atemporal assertions are true during these temporal objects, and thus this formalism allows one to concisely represent and reason with assertions which have an inherent temporal structure. Hence, this formalism allows one to concisely represent,for example, the scheduling of regular meetings in a university, where a meeting may in turn be composed of structured temporal elements.

Keywords: knowledge representation, temporal reasoning

Citation: Diana Cukierman, James Delgrande: A Formalization of Structured Temporal Objects and Repetition. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.83-87.