Analyzing medical contexts in ubiquitous computing home environments with denotational mathematics

Home healthcare presents important advantages and benefits over traditional hospitalization, supported by the contemporary scientific and technological achievements. The ubiquitous computing paradigm is considered suitable to support nursing at home provided that the distributed computing devices participate in the commonly interpreted context. Wirelessly and ad-hoc connected large numbers of disseminated sensors and computing devices in the home environment present problems related to energy limitations and the patients' mobility resulting in the introduction of systemic complexity, uncertainty, and ambiguity. In addition, describing such a system with analytical mathematics requires and includes extensive details becoming tedious if not impractical. Denotational mathematics provides an alternative formal methodological framework capable to describe the important components, the operation, and the behavior of such complicated systems. With the employment of denotational mathematics an attempt is made to design a system that develops medically valid contextual contents to support patients hospitalized at home. The developed design provides the contents of the medical context enriched by the rules of the current state of medical knowledge. The technically evolved context is compared against predetermined medical contexts to obtain valid interpretation. The presented design has the ambition to support efficiently the cooperation of the discrete software applications looking for the development of a commonly interpreted medical context at home.

[1]  Yingxu Wang,et al.  On Concept Algebra for Computing with Words (CWW) , 2010, Int. J. Semantic Comput..

[2]  Yingxu Wang,et al.  RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors , 2008, Int. J. Cogn. Informatics Nat. Intell..

[3]  James H. Aylor,et al.  Computer for the 21st Century , 1999, Computer.

[4]  Yingxu Wang,et al.  The Formal Design Model of a Telephone Switching System (TSS) , 2009, Int. J. Softw. Sci. Comput. Intell..

[5]  Arthur P. Dempster,et al.  A Generalization of Bayesian Inference , 1968, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[6]  Mark Weiser.  The computer for the 21st century , 1991 .

[7]  Yingxu Wang,et al.  The Formal Design Model of a Lift Dispatching System (LDS) , 2009, Int. J. Softw. Sci. Comput. Intell..

[8]  Friedemann Mattern,et al.  The Vision and Technical Foundations of Ubiquitous Computing , 2001 .

[9]  C. Park,et al.  Operations are free; data motion isn't [Letters] , 1999 .

[10]  Yingxu Wang,et al.  On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling , 2008, Int. J. Cogn. Informatics Nat. Intell..

[11]  Minyi Guo,et al.  Extended Dempster-Shafer Theory in Context Reasoning for Ubiquitous Computing Environments , 2009, 2009 International Conference on Computational Science and Engineering.

[12]  Yingxu Wang,et al.  Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing , 2009, Fundam. Informaticae.

[13]  R. Yager.  On the dempster-shafer framework and new combination rules , 1987, Inf. Sci..

[14]  Yves De Smet,et al.  Building a binary outranking relation in uncertain, imprecise and multi-experts contexts: The application of evidence theory , 2009, Int. J. Approx. Reason..

[15]  Yiyu Yao,et al.  On the System Algebra Foundations for Granular Computing , 2009, Int. J. Softw. Sci. Comput. Intell..

[16]  Lotfi A. Zadeh,et al.  A Simple View of the Dempster-Shafer Theory of Evidence and Its Implication for the Rule of Combination , 1985, AI Mag..

[17]  Yingxu Wang,et al.  Process-Based Software Engineering: Building the Infrastructures , 2002, Ann. Softw. Eng..

[18]  Yingxu Wang,et al.  The Real-Time Process Algebra (RTPA) , 2002, Ann. Softw. Eng..

[19]  Glenn Shafer,et al.  Perspectives on the theory and practice of belief functions , 1990, Int. J. Approx. Reason..

[20]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[21]  Stefania Montani,et al.  How to use contextual knowledge in medical case-based reasoning systems: A survey on very recent trends , 2011, Artif. Intell. Medicine.