Showing the Independence of An Axiom for Temporal Intervals by Model Generation
Download:
|
|
by Jian Zhang
http://www.mcs.anl.gov/AAR/issuejune98/zhang-short.ps
Add To MetaCart
Abstract:
Allen and Hayes [1, 2] proposed to axiomatize temporal intervals, using the predicate "I MEETS J " as a primitive. The meaning of the predicate is that, the end of the interval I is the same as the beginning of the interval J. We shall use I: J for "I MEETS J ". There are 5 axioms:
Citations
| 94 | A Common Sense Theory of Time – Allen, Hayes - 1985 |
| 29 | Models of axioms for time intervals – Ladkin - 1987 |
| 21 | Short Time Periods – Hayes, Allen - 1987 |
| 6 | Generating models by SEM – Zhang, Zhang - 1996 |
| 2 | Note on a lemma of Ladkin – Galton - 1996 |
