Short time periods (1987)
| Venue: | In Proceedings of IJCAI-87 |
| Citations: | 21 - 1 self |
BibTeX
@INPROCEEDINGS{Hayes87shorttime,
author = {Patrick J. Hayes},
title = {Short time periods},
booktitle = {In Proceedings of IJCAI-87},
year = {1987},
pages = {981--983},
publisher = {Morgan Kaufmann}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Earlier papers ( Allen and Hayes 1985,1986) described a compact axiomatic theory which provided a formal basis for temporal reasoning. This theory makes a sharp distinction between time points and periods of time. We show here, by considering possible models of the theory, that it can be slightly extended to give a better fit to intuition. In particular, the extended theory is preserved under changes of temporal granularity. TIMEPERIODS AND MEETING The original period theory (Allen 1984, Allen & Hayes 1986) used periods rather than points as its temporal primitive. ( The terminology used earlier was 'interval ' rather than 'period'. We have changed to avoid confusion with the mathematical use of 'interval'.) The thirteen possible relationships between periods, including for example overlapping, inclusion, and before are defined in terms of MEETS, which we will write as in infix colon, with p:q:r meaning p:q and q:r. The basic axioms of the theory are then as follows: Ml forall p,q,r,s. ( p:q and p:s and r:q) implies r:s M2 forall p,q,r,s. ( p:q and r:s) implies ( p:s xor exists t. p:t:s xor exists t. r:t:q) M3 forall p. exists q,r. q:p:r M4 forall p,q,r,s. ( p:q:s and p:r:s) implies q-r M5 forall p,q. p:q implies exists r,s. r:p:q:s and r:(p+q):s These five axioms are all the assumptions which the theory makes. For a longer discussion of their implications and justification, see ( Allen and Hayes 1986). A key intuition is that propositions are true or false during periods, rather than at points of time. This overcomes the problem of the 'divided instant ' (Van Bentham 1982). Consider switching on a light, so that the proposition "light on " is first false, then immediately true. If the timeperioda are thought of as sets of points, then only artificial constructions can avoid the dilemma of there being a point at which the light is neither on nor off ( or, worse, both on and off). However, timepoints can be defined within the
Citations
No citations identified.
