Using Denotational Mathematics for the Formal Description of Home UbiHealth Decision-Support Systems With Knowledge Flow

Abstract

Home UbiHealth applications require support from decision-making and decision-support components. The decision process must possess a holistic perspective about the individual's healthcare condition and needs at home. Also, it shall consider and evaluate the available data, producing cognitive intelligence through appropriate processing. The present work describes a model for decision-making and decision-support in UbiHealth environments based on denotational mathematics. The decision-making component of the model provides the necessary actions to handle the connected devices. The decision-support component suggests actions to the user (physician). The decisions are drawn from a simulated operation of cooperating and co-existing semantic networks. The model is thoroughly described, and its positive impact is explained for all participating stakeholders including medical professionals, patients, information technology scientists, and technical personnel.