loading...
Recursive Representation of Periodicity and Temporal Reasoning
Tatihou, Normandie, France July 01-July 03
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TIME.2004.131441911th International Symposium on Tempo ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Luca Anselma, Universit? di Torino
Representing and reasoning with repeated and periodic events is important in many real-world domains, such as protocol and guideline management. In this set, it is important to give support to complex periodicities, that can involve non-symmetric repetitions, imprecision, variability, pauses between repetitions, and nested time intervals. Also, in these domains it can be useful to give support to composite events, as well as classes of events (i.e. types of actions) and instances of events (i.e. specific actions). In this paper, we propose a general-purpose domain-independent knowledge server dealing with all these issues. In particular, we describe a compact and (hopefully) user-friendly formalism for representing repetition/periodicity temporal constraints that supports arbitrarily nested repetitions as well as possibly imprecise and variable delays between repetitions. Moreover, we define two algorithms for performing consistency checking on knowledge bases of (possibly repeated/periodic) classes and instances of events retaining the efficiency of less expressive approaches.
Citation:
Luca Anselma, "Recursive Representation of Periodicity and Temporal Reasoning," time, pp.52-59, 11th International Symposium on Temporal Representation and Reasoning (TIME'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions