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.

Recursive Representation of Periodicity and Temporal Reasoning

ANSELMA, LUCA
2004

Abstract

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.
Temporal Representation and Reasoning (TIME)
Tatihou, France
1-3 luglio 2004
Temporal Representation and Reasoning, 2004. TIME 2004. Proceedings. 11th International Symposium on
IEEE Computer Society Press
52
59
9780769521558
http://www2.computer.org/portal/web/csdl/doi/10.1109/TIME.2004.1314419
L. ANSELMA
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/19369
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 6
social impact