We propose to adopt a formalism, based on social integrity constraints (ICs), for specifying social interactions between actors involved in a guideline. ICs allow us to represent interaction protocols using a logic formalism and to perform an on-the-fly verification of the protocol’s application compliance, based on an abductive proof procedure which operates on relevant events occurred during its application. The paper presents the results of a first trial performed on a microbiological clinical guideline which exploits the potentialities of the formalism in representing and verifying the compliance to medical guidelines.

Using social integrity constraints for on-the-fly compliance verification of medical protocols

STORARI, Sergio
2005

Abstract

We propose to adopt a formalism, based on social integrity constraints (ICs), for specifying social interactions between actors involved in a guideline. ICs allow us to represent interaction protocols using a logic formalism and to perform an on-the-fly verification of the protocol’s application compliance, based on an abductive proof procedure which operates on relevant events occurred during its application. The paper presents the results of a first trial performed on a microbiological clinical guideline which exploits the potentialities of the formalism in representing and verifying the compliance to medical guidelines.
2005
9780769523552
computational logic; medical protocol; integrity constraint
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in SFERA 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/11392/520394
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact