Toward a comprehensive treatment of temporal constraints about periodic events
In this article, we propose an Allen‐like approach to deal with different types of temporal constraints about periodic events. We consider the different components of such constraints (thus, unlike Allen, we also take into account quantitative constraints) including frame times, user‐defined periods...
Saved in:
Published in | International journal of intelligent systems Vol. 18; no. 4; pp. 429 - 468 |
---|---|
Main Author | |
Format | Journal Article |
Language | English |
Published |
New York
Wiley Subscription Services, Inc., A Wiley Company
01.04.2003
Wiley |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | In this article, we propose an Allen‐like approach to deal with different types of temporal constraints about periodic events. We consider the different components of such constraints (thus, unlike Allen, we also take into account quantitative constraints) including frame times, user‐defined periods, qualitative temporal constraints, and numeric quantifiers and the interactions between such components. We propose a specialized high‐level formalism to represent temporal constraints about periodic events; temporal reasoning on the formalism is performed by a path‐consistency algorithm repeatedly applying our operations of inversion, intersection, and composition and by a specialized reasoner about periods and numeric quantification. The high‐level formalism has been designed in such a way that different types of temporal constraints about periodic events can be represented in a compact and (hopefully) user‐friendly way and path‐consistency‐based temporal reasoning on the formalism can be performed in polynomial time. We also prove that our definitions of inversion, intersection, and composition and, thus, of our path‐consistency algorithm, are correct. This article also sketches the general architecture of the temporal manager for periodic events (TeMP+), that has been designed on the basis of our approach. As a working example, we show an application of our approach to scheduling in a school. © 2003 Wiley Periodicals, Inc. |
---|---|
Bibliography: | istex:BEDB4BF88372BA81341664DC5CE9029BB82A5277 ArticleID:INT10090 ark:/67375/WNG-2J6RH2VC-5 www.di.unito.it/∼terenz/TECH‐REP/RT69‐03.ps . The author has published a long version of this article, with extensive appendices, as a technical report available at ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
ISSN: | 0884-8173 1098-111X |
DOI: | 10.1002/int.10090 |