Authors: Ji Ruan and Wendy MacCaull
Centre of Logic and Information, StFX University, Canada
Download: PDF.
Abstract:
This paper presents an approach to monitor healthcare workflows using a logic-based formal method. We introduce a monitoring architecture with workflows and knowledge bases, and propose a logical language, FO-LTL-K, to express temporal and knowledge properties to be monitored. We formalize some of the norms for palliative care using the proposed logic and characterize the complexity of the model checking problem.
Keywords: Data and knowledge integration, Temporal knowledge representations, Logic-based methods, Ontologies, Complexity.
Accepted by the Second International Workshop on Knowledge Representation for Health Care (KR4HC-2010), Lisbon, Portugal, August 2010.
I presented it on August 17, 2010 in Lisbon. Here is a photo of me:
.
Group photo of the workshop:
Link to the full photo album.
No related posts.
Related posts brought to you by Yet Another Related Posts Plugin.
No Comments
You must be logged in to post a comment.
