Pervasive wireless-sensor-networks for home healthcare need automatic reasoning

This paper deals with the problems of using pervasive wireless sensor networks to monitor people that live in their homes and have no critical chronic condition. The rich set of sensors that can be used and their sheer number make it quite complex to interpret the data: in the paper we argue that it is possible and very useful to add a reasoning component to the architecture. We also delve into the various open research questions that must be solved in order to build really effective home health-monitoring systems.

[1]  Martin Gebser,et al.  Conflict-Driven Answer Set Solving , 2007, IJCAI.

[2]  Carlos André Guimarães Ferraz,et al.  A message-oriented middleware for sensor networks , 2004, MPAC '04.

[3]  S. Boonen,et al.  Costs and consequences of hip fracture occurrence in old age: An economic perspective , 2005, Disability and rehabilitation.

[4]  L. Rubenstein Falls in older people: epidemiology, risk factors and strategies for prevention. , 2006, Age and ageing.

[5]  H. Yanco,et al.  Automation as Caregiver: A Survey of Issues and Technologies , 2003 .

[6]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[7]  Paolo Costa,et al.  Publish-subscribe on sensor networks: a semi-probabilistic approach , 2005, IEEE International Conference on Mobile Adhoc and Sensor Systems Conference, 2005..

[8]  Ian F. Akyildiz,et al.  Sensor Networks , 2002, Encyclopedia of GIS.

[9]  Carol Jagger,et al.  Inequalities in healthy life years in the 25 countries of the European Union in 2005: a cross-national meta-regression analysis , 2008, The Lancet.

[10]  J. Stockman,et al.  Inequalities in healthy life years in the 25 countries of the European Union in 2005: a cross-national meta-regression analysis , 2010 .

[11]  Alessandra Mileo,et al.  A Logical Approach to Home Healthcare with Intelligent Sensor-Network Support , 2010, Comput. J..

[12]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.