Title :
Reasoning with sequences of point events
Author :
Wetprasit, R. ; Sattar, A. ; Khatib, L.
Author_Institution :
Sch. of Comput. & Inf. Tech., Griffith Univ., Nathan, Qld., Australia
Abstract :
Proposes the modeling of recurring events as multi-point events by extending Vilain and Kautz´s (1986) point algebra. We then propose an exact algorithm, based on van Beek´s (1990) exact algorithm, for finding feasible relations for multi-point event networks. The complexity of our method is compared with previously known results both for recurring and non-recurring events. We identify the special cases for which our multi-point based algorithm can find an exact solution. Finally, we summarise our paper with brief discussion on ongoing and future research
Keywords :
computational complexity; sequences; temporal reasoning; complexity; exact algorithm; feasible relations; multi-point event networks; point algebra; point event sequences; reasoning; recurring events; Algebra; Artificial intelligence; Australia; Computer networks; Computer science; Polynomials; Radiofrequency interference;
Conference_Titel :
Temporal Representation and Reasoning, 1996. (TIME '96), Proceedings., Third International Workshop on
Conference_Location :
Key West, FL
Print_ISBN :
0-8186-7528-4
DOI :
10.1109/TIME.1996.555672