In many application areas, including planning, workflow, guideline and protocol management, the description of the domain involves composite and/or periodic events, mutually related by temporal constraints on the execution order. Such events represent `classes', since they can be instantiated to specific executions of the plan, guideline etc., and each execution must `respect' the temporal constraints imposed on the corresponding classes. The main goal of our work is to propose an approach dealing with the above-mentioned temporal phenomena. To achieve such an objective, the authors propose a tractable domain-independent temporal reasoner. This enhances the generality of our approach, which provides a domain-independent module that can be integrated with other software tools to solve temporal problems in specific domains. From the methodological point of view, the authors first devise a representation formalism coping with the aforesaid phenomena, and then they describe temporal constraint propagation algorithms to deal with constraint inheritance and to perform temporal consistency checking. The representation formalism has been designed carefully, to obtain algorithms that are both complete and tractable. Finally, the paper also shows experimental results, including an application of the authors' approach to clinical guidelines, evaluating their impact on future applications and research activities.

Temporal reasoning about composite and/or periodic events

ANSELMA, LUCA
2006

Abstract

In many application areas, including planning, workflow, guideline and protocol management, the description of the domain involves composite and/or periodic events, mutually related by temporal constraints on the execution order. Such events represent `classes', since they can be instantiated to specific executions of the plan, guideline etc., and each execution must `respect' the temporal constraints imposed on the corresponding classes. The main goal of our work is to propose an approach dealing with the above-mentioned temporal phenomena. To achieve such an objective, the authors propose a tractable domain-independent temporal reasoner. This enhances the generality of our approach, which provides a domain-independent module that can be integrated with other software tools to solve temporal problems in specific domains. From the methodological point of view, the authors first devise a representation formalism coping with the aforesaid phenomena, and then they describe temporal constraint propagation algorithms to deal with constraint inheritance and to perform temporal consistency checking. The representation formalism has been designed carefully, to obtain algorithms that are both complete and tractable. Finally, the paper also shows experimental results, including an application of the authors' approach to clinical guidelines, evaluating their impact on future applications and research activities.
18
87
115
http://www.ingentaconnect.com/content/tandf/teta/2006/00000018/00000001/art00005
Temporal reasoning; Temporal constraints; Classes and instances; Composite events; Periodic events
P. TERENZIANI; 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/36974
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact