Published:
May 2004
Proceedings:
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004)
Volume
Issue:
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004)
Track:
All Papers
Downloads:
Abstract:
We extend the basic axiomatization of interval convex relations by Allen and Hayes with unbounded intervals. Unbounded intervals include since intervals with a finite beginning point and infinite ending point, until intervals with an infinite beginning point and finite ending point and the constant alltime representing the whole time line, with both extreme points being infinite. A number of results show the adequacy of the axiomatization proposed; in particular, unbounded intervals are proven to contain unbounded sequences of meeting intervals extending towards the past and/or the future. Importantly, the theory is proven to be consistent.
FLAIRS
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004)
ISBN 978-1-57735-201-3
Published by The AAAI Press, Menlo Park, California.