Authors: Ji Ruan and Wendy MacCaull
Centre of Logic and Information, StFX University, Canada
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.
Related posts:
- Enhancing Patient-centered Palliative Care With Collaborative Agents Authors: Ji Ruan, Wendy MacCaull, and Heather Jewers Centre of...
- My Coming talk in Liverpool: Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent Systems Title: Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent...
- FWD: FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE I like this idea: Open and Free Access to high...
Related posts brought to you by Yet Another Related Posts Plugin.
