Primitive intervals versus point-based intervals: rivals or allies?
Ma, Jixin and Hayes, Pat (2005) Primitive intervals versus point-based intervals: rivals or allies? The Computer Journal, 49 (1). pp. 32-41. ISSN 0010-4620 (Print), 1460-2067 (Online) (doi:10.1093/comjnl/bxh151)Full text not available from this repository.
The notion of time is a very interesting and exciting subject both in science and everyday life. One of the fundamental questions 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 expression of commonsense temporal knowledge, especially in the domain of artificial intelligence. However, there has been a long-standing debate on whether intervals should be treated as primitive or not, leading to two different approaches to the treatment of intervals. In the first, intervals are modelled as derived objects constructed from points, e.g. sets of points, or 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.
|Additional Information:|| First published online: 29 November 2005.  Published in print: January 2006.  The Computer Journal is published by Oxford University Press on behalf of BCS, The Chartered Institute for IT.|
|Uncontrolled Keywords:||time, time structure, treatment of intervals, temporal ontology|
|Subjects:||Q Science > QA Mathematics
Q Science > QC Physics
|School / Department / Research Groups:||School of Computing & Mathematical Sciences
Faculty of Architecture, Computing & Humanities > School of Computing & Mathematical Sciences
School of Computing & Mathematical Sciences > Department of Computer Science
Faculty of Architecture, Computing & Humanities > School of Computing & Mathematical Sciences > Department of Computer Science
|Last Modified:||24 Jan 2014 10:10|
Actions (login required)