Meta-level verification of the quality of medical guidelines using interactive theorem proving

Arjen Hommersom; Peter Lucas; Michael Balser

doi:10.1007/978-3-540-30227-8_54

Meta-level verification of the quality of medical guidelines using interactive theorem proving

Arjen Hommersom, Peter Lucas, Michael Balser

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

10 Citations (Scopus)

Abstract

Requirements about the quality of medical guidelines can be represented using schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-oriented aspects expressed in a guideline. In this paper, we investigate how this approach can be mapped to the facilities offered by a theorem proving system for program verification, KIV. It is shown that the reasoning that is required for checking the quality of a guideline can be mapped to such theoremproving facilities. The medical quality of an actual guideline concerning diabetes mellitus 2 is investigated in this way, and some problems discovered are discussed.

Original language	English
Title of host publication	Logics in Artificial Intelligence
Subtitle of host publication	9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
Editors	Jóse Júlio Alferes, João Leite
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	654-666
Number of pages	13
ISBN (Electronic)	978-3-540-30227-8
ISBN (Print)	978-3-540-23242-1
DOIs	https://doi.org/10.1007/978-3-540-30227-8_54
Publication status	Published - 2004
Externally published	Yes
Event	9th European Conference on Logics in Artificial Intelligence, JELIA 2004 - Lisbon, Portugal Duration: 27 Sept 2004 → 30 Sept 2004

Publication series

Name	Lecture Notes in Artificial Intelligence
Publisher	Springer
Volume	3229
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th European Conference on Logics in Artificial Intelligence, JELIA 2004
Country/Territory	Portugal
City	Lisbon
Period	27/09/04 → 30/09/04

Keywords

n/a OA procedure

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-3-540-30227-8_54

Cite this

Hommersom, A., Lucas, P., & Balser, M. (2004). Meta-level verification of the quality of medical guidelines using interactive theorem proving. In J. J. Alferes, & J. Leite (Eds.), Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (pp. 654-666). (Lecture Notes in Artificial Intelligence; Vol. 3229). Springer. https://doi.org/10.1007/978-3-540-30227-8_54

Hommersom, Arjen ; Lucas, Peter ; Balser, Michael. / Meta-level verification of the quality of medical guidelines using interactive theorem proving. Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. editor / Jóse Júlio Alferes ; João Leite. Berlin, Heidelberg : Springer, 2004. pp. 654-666 (Lecture Notes in Artificial Intelligence).

@inproceedings{a47f154edf6e4c3695c5583fd979506f,

title = "Meta-level verification of the quality of medical guidelines using interactive theorem proving",

abstract = "Requirements about the quality of medical guidelines can be represented using schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-oriented aspects expressed in a guideline. In this paper, we investigate how this approach can be mapped to the facilities offered by a theorem proving system for program verification, KIV. It is shown that the reasoning that is required for checking the quality of a guideline can be mapped to such theoremproving facilities. The medical quality of an actual guideline concerning diabetes mellitus 2 is investigated in this way, and some problems discovered are discussed.",

keywords = "n/a OA procedure",

author = "Arjen Hommersom and Peter Lucas and Michael Balser",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2004.; 9th European Conference on Logics in Artificial Intelligence, JELIA 2004 ; Conference date: 27-09-2004 Through 30-09-2004",

year = "2004",

doi = "10.1007/978-3-540-30227-8_54",

language = "English",

isbn = "978-3-540-23242-1",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer",

pages = "654--666",

editor = "Alferes, {J{\'o}se J{\'u}lio} and Jo{\~a}o Leite",

booktitle = "Logics in Artificial Intelligence",

address = "Germany",

}

Hommersom, A, Lucas, P & Balser, M 2004, Meta-level verification of the quality of medical guidelines using interactive theorem proving. in JJ Alferes & J Leite (eds), Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Lecture Notes in Artificial Intelligence, vol. 3229, Springer, Berlin, Heidelberg, pp. 654-666, 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, Lisbon, Portugal, 27/09/04. https://doi.org/10.1007/978-3-540-30227-8_54

Meta-level verification of the quality of medical guidelines using interactive theorem proving. / Hommersom, Arjen; Lucas, Peter; Balser, Michael.
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. ed. / Jóse Júlio Alferes; João Leite. Berlin, Heidelberg: Springer, 2004. p. 654-666 (Lecture Notes in Artificial Intelligence; Vol. 3229).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Meta-level verification of the quality of medical guidelines using interactive theorem proving

AU - Hommersom, Arjen

AU - Lucas, Peter

AU - Balser, Michael

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2004.

PY - 2004

Y1 - 2004

N2 - Requirements about the quality of medical guidelines can be represented using schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-oriented aspects expressed in a guideline. In this paper, we investigate how this approach can be mapped to the facilities offered by a theorem proving system for program verification, KIV. It is shown that the reasoning that is required for checking the quality of a guideline can be mapped to such theoremproving facilities. The medical quality of an actual guideline concerning diabetes mellitus 2 is investigated in this way, and some problems discovered are discussed.

AB - Requirements about the quality of medical guidelines can be represented using schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-oriented aspects expressed in a guideline. In this paper, we investigate how this approach can be mapped to the facilities offered by a theorem proving system for program verification, KIV. It is shown that the reasoning that is required for checking the quality of a guideline can be mapped to such theoremproving facilities. The medical quality of an actual guideline concerning diabetes mellitus 2 is investigated in this way, and some problems discovered are discussed.

KW - n/a OA procedure

UR - http://www.scopus.com/inward/record.url?scp=22944491484&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-30227-8_54

DO - 10.1007/978-3-540-30227-8_54

M3 - Conference contribution

AN - SCOPUS:22944491484

SN - 978-3-540-23242-1

T3 - Lecture Notes in Artificial Intelligence

SP - 654

EP - 666

BT - Logics in Artificial Intelligence

A2 - Alferes, Jóse Júlio

A2 - Leite, João

PB - Springer

CY - Berlin, Heidelberg

T2 - 9th European Conference on Logics in Artificial Intelligence, JELIA 2004

Y2 - 27 September 2004 through 30 September 2004

ER -

Hommersom A, Lucas P, Balser M. Meta-level verification of the quality of medical guidelines using interactive theorem proving. In Alferes JJ, Leite J, editors, Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Berlin, Heidelberg: Springer. 2004. p. 654-666. (Lecture Notes in Artificial Intelligence). doi: 10.1007/978-3-540-30227-8_54

Meta-level verification of the quality of medical guidelines using interactive theorem proving

Abstract

Publication series

Conference

Keywords

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this