Title :
Semantic formal reasoning solution for personalized home telecare
Author :
Kuusik, Alar ; Reilent, Enar ; Lõõbas, Ivor ; Parve, Marko
Author_Institution :
ELIKO Technol. Competence Centre, Tallinn, Estonia
Abstract :
Modern home telehealth care systems should support personalized data processing and environment monitoring for context awareness. Semantic rule based approach has been proposed by many authors to overcome problems coming from large amounts of location and patient-specific, typically inconsistent monitoring data. However, existing solutions just present proof of concept and do not address implementation feasibility and practical issues of eHealth system compatibility. We describe a telehealth care solution employing Prolog programs based on defeasible rule-based reasoning and SNOMED medical terminology system deployed in home digital TV receivers.
Keywords :
PROLOG; formal verification; health care; knowledge based systems; medical information systems; ontologies (artificial intelligence); patient monitoring; telemedicine; ubiquitous computing; Prolog program; SNOMED medical terminology system; context awareness; e-health system; environment monitoring; home digital TV receiver; ontology; personalized data processing; personalized home telecare; rule-based reasoning; semantic formal reasoning solution; telehealth care system; Biomedical monitoring; Computers; Medical services; Monitoring; Semantics; Simple object access protocol; TV; agent based software; ontology; rule based reasoning; smart home; telecare;
Conference_Titel :
Mechanical and Electrical Technology (ICMET), 2010 2nd International Conference on
Conference_Location :
Singapore
Print_ISBN :
978-1-4244-8100-2
Electronic_ISBN :
978-1-4244-8102-6
DOI :
10.1109/ICMET.2010.5598496
