Skip navigation

Addressing time intervals

Addressing time intervals

Ma, Jixin and Hayes, Pat (2005) Addressing time intervals. In: Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05) [Proceedings]. International Joint Conferences on Artificial Intelligence, Edinburgh, UK, pp. 29-38.

Full text not available from this repository.


One of the fundamental questions regarding the temporal ontology is what is time composed of. While the traditional time structure is based on a set of points, a notion that has been prevalently adopted in classical physics and mathematics, it has also been noticed that intervals have been widely adopted for expre~sion of common sense temporal knowledge, especially in the domain of artificial intelligence. However, there has been a longstanding debate on how intervals should be addressed, leading to two different approaches to the treatment of intervals. In the first, intervals are addressed as derived objects constructed from points, e.g., as sets of points, or as pairs of points. In the second, intervals are taken as primitive themselves. This article provides a critical examination of these two approaches. By means of proposing a definition of intervals in terms of points and types, we shall demonstrate that, while the two different approaches have been viewed as rivals in the literature, they are actually reducible to logically equivalent expressions under some requisite interpretations, and therefore they can also be viewed as allies.

Item Type: Conference Proceedings
Title of Proceedings: Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05) [Proceedings]
Additional Information: [1] This paper was first presented at the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05) held from 30 July-5 August 2005 in Edinburgh, Scotland. It was given within the IJCAI-05 Workshop on Spatial and Temporal Reasoning Working Notes (W26: STR).
Uncontrolled Keywords: temporal ontology, time intervals, time points
Subjects: Q Science > QA Mathematics
Pre-2014 Departments: School of Computing & Mathematical Sciences
School of Computing & Mathematical Sciences > Computer & Computational Science Research Group
School of Computing & Mathematical Sciences > Department of Computer Science
Related URLs:
Last Modified: 14 Oct 2016 09:02

Actions (login required)

View Item View Item