@article{Groot2009,
abstract = {OBJECTIVE: Medical critiquing systems compare clinical actions performed by a physician with a predefined set of actions. In order to provide useful feedback, an important task is to find differences between the actual actions and a set of 'ideal' actions as described by a clinical guideline. In case differences exist, the critiquing system provides insight into the extent to which they are compatible. METHODS AND MATERIAL: We propose a computational method for such critiquing, where the ideal actions are given by a formal model of a clinical guideline, and where the actual actions are derived from real world patient data. We employ model checking to investigate whether a part of the actual treatment is consistent with the guideline. RESULTS: We show how critiquing can be cast in terms of temporal logic, and what can be achieved by using model checking. Furthermore, a method is introduced for off-line computing relevant information which can be exploited during critiquing. The method has been applied to a clinical guideline of breast cancer in conjunction with breast cancer patient data.},
author = {Groot, Perry and Hommersom, Arjen and Lucas, Peter J F and Merk, Robbert-Jan and ten Teije, Annette and van Harmelen, Frank and Serban, Radu},
doi = {10.1016/j.artmed.2008.07.007},
file = {:Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Groot et al. - 2009 - Using model checking for critiquing based on clinical guidelines.pdf:pdf},
issn = {1873-2860},
journal = {Artificial intelligence in medicine},
keywords = {Artificial Intelligence,Breast,Breast Neoplasms,Breast Neoplasms: diagnosis,Breast Neoplasms: therapy,Breast: diagnosis,Breast: therapy,Carcinoma,Clinical,Computer Simulation,Computerized,Decision Support Systems,Ductal,Female,Guideline Adherence,Humans,Logic,Medical Records Systems,Models,Patient Selection,Practice Guidelines as Topic,Systems Integration,Theoretical,Time Factors},
month = {may},
number = {1},
pages = {19--36},
pmid = {18824335},
title = {{Using model checking for critiquing based on clinical guidelines.}},
url = {http://www.ncbi.nlm.nih.gov/pubmed/18824335 http://www.cs.vu.nl/{~}annette/papers-pdf/2009AIMSI.pdf},
volume = {46},
year = {2009}
}

{"_id":"r9DYFDSoA6u2FotLQ","bibbaseid":"groot-hommersom-lucas-merk-tenteije-vanharmelen-serban-usingmodelcheckingforcritiquingbasedonclinicalguidelines-2009","downloads":0,"creationDate":"2015-12-09T14:36:46.459Z","title":"Using model checking for critiquing based on clinical guidelines.","author_short":["Groot, P.","Hommersom, A.","Lucas, P. J F","Merk, R.","ten Teije, A.","van Harmelen, F.","Serban, R."],"year":2009,"bibtype":"article","biburl":"http://www.cs.vu.nl/~annette/Annette-mendeley.bib","bibdata":{"bibtype":"article","type":"article","abstract":"OBJECTIVE: Medical critiquing systems compare clinical actions performed by a physician with a predefined set of actions. In order to provide useful feedback, an important task is to find differences between the actual actions and a set of 'ideal' actions as described by a clinical guideline. In case differences exist, the critiquing system provides insight into the extent to which they are compatible. METHODS AND MATERIAL: We propose a computational method for such critiquing, where the ideal actions are given by a formal model of a clinical guideline, and where the actual actions are derived from real world patient data. We employ model checking to investigate whether a part of the actual treatment is consistent with the guideline. RESULTS: We show how critiquing can be cast in terms of temporal logic, and what can be achieved by using model checking. Furthermore, a method is introduced for off-line computing relevant information which can be exploited during critiquing. The method has been applied to a clinical guideline of breast cancer in conjunction with breast cancer patient data.","author":[{"propositions":[],"lastnames":["Groot"],"firstnames":["Perry"],"suffixes":[]},{"propositions":[],"lastnames":["Hommersom"],"firstnames":["Arjen"],"suffixes":[]},{"propositions":[],"lastnames":["Lucas"],"firstnames":["Peter","J","F"],"suffixes":[]},{"propositions":[],"lastnames":["Merk"],"firstnames":["Robbert-Jan"],"suffixes":[]},{"propositions":["ten"],"lastnames":["Teije"],"firstnames":["Annette"],"suffixes":[]},{"propositions":["van"],"lastnames":["Harmelen"],"firstnames":["Frank"],"suffixes":[]},{"propositions":[],"lastnames":["Serban"],"firstnames":["Radu"],"suffixes":[]}],"doi":"10.1016/j.artmed.2008.07.007","file":":Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Groot et al. - 2009 - Using model checking for critiquing based on clinical guidelines.pdf:pdf","issn":"1873-2860","journal":"Artificial intelligence in medicine","keywords":"Artificial Intelligence,Breast,Breast Neoplasms,Breast Neoplasms: diagnosis,Breast Neoplasms: therapy,Breast: diagnosis,Breast: therapy,Carcinoma,Clinical,Computer Simulation,Computerized,Decision Support Systems,Ductal,Female,Guideline Adherence,Humans,Logic,Medical Records Systems,Models,Patient Selection,Practice Guidelines as Topic,Systems Integration,Theoretical,Time Factors","month":"may","number":"1","pages":"19–36","pmid":"18824335","title":"Using model checking for critiquing based on clinical guidelines.","url":"http://www.ncbi.nlm.nih.gov/pubmed/18824335 http://www.cs.vu.nl/~annette/papers-pdf/2009AIMSI.pdf","volume":"46","year":"2009","bibtex":"@article{Groot2009,\nabstract = {OBJECTIVE: Medical critiquing systems compare clinical actions performed by a physician with a predefined set of actions. In order to provide useful feedback, an important task is to find differences between the actual actions and a set of 'ideal' actions as described by a clinical guideline. In case differences exist, the critiquing system provides insight into the extent to which they are compatible. METHODS AND MATERIAL: We propose a computational method for such critiquing, where the ideal actions are given by a formal model of a clinical guideline, and where the actual actions are derived from real world patient data. We employ model checking to investigate whether a part of the actual treatment is consistent with the guideline. RESULTS: We show how critiquing can be cast in terms of temporal logic, and what can be achieved by using model checking. Furthermore, a method is introduced for off-line computing relevant information which can be exploited during critiquing. The method has been applied to a clinical guideline of breast cancer in conjunction with breast cancer patient data.},\nauthor = {Groot, Perry and Hommersom, Arjen and Lucas, Peter J F and Merk, Robbert-Jan and ten Teije, Annette and van Harmelen, Frank and Serban, Radu},\ndoi = {10.1016/j.artmed.2008.07.007},\nfile = {:Users/annette/Library/Application Support/Mendeley Desktop/Downloaded/Groot et al. - 2009 - Using model checking for critiquing based on clinical guidelines.pdf:pdf},\nissn = {1873-2860},\njournal = {Artificial intelligence in medicine},\nkeywords = {Artificial Intelligence,Breast,Breast Neoplasms,Breast Neoplasms: diagnosis,Breast Neoplasms: therapy,Breast: diagnosis,Breast: therapy,Carcinoma,Clinical,Computer Simulation,Computerized,Decision Support Systems,Ductal,Female,Guideline Adherence,Humans,Logic,Medical Records Systems,Models,Patient Selection,Practice Guidelines as Topic,Systems Integration,Theoretical,Time Factors},\nmonth = {may},\nnumber = {1},\npages = {19--36},\npmid = {18824335},\ntitle = {{Using model checking for critiquing based on clinical guidelines.}},\nurl = {http://www.ncbi.nlm.nih.gov/pubmed/18824335 http://www.cs.vu.nl/{~}annette/papers-pdf/2009AIMSI.pdf},\nvolume = {46},\nyear = {2009}\n}\n","author_short":["Groot, P.","Hommersom, A.","Lucas, P. J F","Merk, R.","ten Teije, A.","van Harmelen, F.","Serban, R."],"key":"Groot2009","id":"Groot2009","bibbaseid":"groot-hommersom-lucas-merk-tenteije-vanharmelen-serban-usingmodelcheckingforcritiquingbasedonclinicalguidelines-2009","role":"author","urls":{"Paper":"http://www.ncbi.nlm.nih.gov/pubmed/18824335 http://www.cs.vu.nl/~annette/papers-pdf/2009AIMSI.pdf"},"keyword":["Artificial Intelligence","Breast","Breast Neoplasms","Breast Neoplasms: diagnosis","Breast Neoplasms: therapy","Breast: diagnosis","Breast: therapy","Carcinoma","Clinical","Computer Simulation","Computerized","Decision Support Systems","Ductal","Female","Guideline Adherence","Humans","Logic","Medical Records Systems","Models","Patient Selection","Practice Guidelines as Topic","Systems Integration","Theoretical","Time Factors"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["using","model","checking","critiquing","based","clinical","guidelines","groot","hommersom","lucas","merk","ten teije","van harmelen","serban"],"keywords":["artificial intelligence","breast","breast neoplasms","breast neoplasms: diagnosis","breast neoplasms: therapy","breast: diagnosis","breast: therapy","carcinoma","clinical","computer simulation","computerized","decision support systems","ductal","female","guideline adherence","humans","logic","medical records systems","models","patient selection","practice guidelines as topic","systems integration","theoretical","time factors"],"authorIDs":["54573d5e2abc8e9f370001f6"],"dataSources":["H6xuGqu5uQ6rXhdJ4","dJmTXpbSWWjnxatYT","LEcHEiZn5fKAs2WWu"]}