In this work we present GOSpeL, a simple graphical language for modeling guidelines in a flow-chart fashion, and an algorithm capable of translating a GOSpeL model to a formal language based on computational logic and abductive logic programming in particular. The main advantage of this formalism lies in its operational proof-theoretic counterpart, which is able to verify the conformance of a given guideline execution w.r.t. the model, both at runtime or a posteriori. The feasibility of the approach has been tested on fragments of cancer screening protocols.

Testing guidelines conformance by translating a graphical language to computational logic

STORARI, Sergio
2006

Abstract

In this work we present GOSpeL, a simple graphical language for modeling guidelines in a flow-chart fashion, and an algorithm capable of translating a GOSpeL model to a formal language based on computational logic and abductive logic programming in particular. The main advantage of this formalism lies in its operational proof-theoretic counterpart, which is able to verify the conformance of a given guideline execution w.r.t. the model, both at runtime or a posteriori. The feasibility of the approach has been tested on fragments of cancer screening protocols.
2006
medical protocol; computational logic; abductive reasoning
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/520999
 Attenzione

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

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