An experimental study of reasoning with sequences of point events
Interval and point algebras are two influential frameworks to model an interval and point based temporal entities. However, in many real world situations we often encounter recurring events that include multiple points, multiple intervals or combinations of points and intervals. Recently, point-based frameworks (MPE  and GMPE ) for representing and reasoning with sequences of point events have been proposed. These frameworks include new algorithms for solving reasoning tasks with an improved complexity. However, no empirical investigation has been made yet. This paper presents an experimental study of these two frameworks. In this study, we present the design of experiments, implementation of the algorithms, and an empirical performance analysis. Our results indicate that the MPE and GMPE frameworks are not only expressively richer, but also perform better than the traditional approaches to temporal reasoning.
Unable to display preview. Download preview PDF.
- 3.L. al Khatib. Reasoning with Non-Convex Time Intervals. PhD thesis, Florida Institute of Technology, Melbourne, Florida, 1994. http://www.cs.fit.edu/~lina/dissertation.Google Scholar
- 6.P. van Beek and R. Cohen. Exact and approximate reasoning about temporal relations. Computational Intelligence, 6:132–144, 1990.Google Scholar
- 8.M. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of the 5th National Conference in Artificial Intelligence (AAAI-86), pages 377–382, Philadelphia, PA, 1986.Google Scholar
- 9.R. Wetprasit, A. Sattar, and L. Khatib. Reasoning with multi-point events. In Lecture Notes in Artificial Intelligence 1081; Advances in AI, Proceedings of the 11th biennial conference on Artificial Intelligence (CSCSI-96), pages 26–40, Ontario, Canada, 1996.Google Scholar
- 10.R. Wetprasit, A. Sattar, and L. Khatib. A generalized framework for reasoning with multipoint events. In Lecture Notes in Computer Science 1345; Advances in Computing Science, Proceedings of the 3rd Asian Computing Science Conference (ASIAN-97), pages 121–135, Kathmandu, Nepal, 1997.Google Scholar