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.Abstract
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 |
URI: | http://gala.gre.ac.uk/id/eprint/933 |
Actions (login required)
View Item |