Skip to main content
SpringerLink
Log in
Book cover

International Conference on Logic Programming

ICLP 2008: Logic Programming pp 145–159Cite as

A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5366))

Abstract

Monitoring a patient in his home environment is necessary to ensure continuity of care in home settings, but this activity must not be too much invasive and a burden for clinicians. For this reason we prototyped a system called SINDI (Secure and INDependent lIving), focused on i) collecting a limited amount of data about the person and the environment through Wireless Sensor Networks (WSN), and ii) reasoning about these data both to contextualize them and to support clinicians in understanding patients’ well being as well as in predicting possible evolutions of their health. Our hierarchical logic-based model of health combines data from different sources, sensor data, tests results, commonsense knowledge and patient’s clinical profile at the lower level, and correlation rules between aspects of health (items) across upper levels. The logical formalization and the reasoning process are based on Answer Set Programming. The expressive power of this logic programming paradigm allows efficient reasoning to support prevention, while declarativity simplifies rules specification by clinicians and allows automatic encoding of knowledge. This paper describes how these issues have been targeted in the application scenario of the SINDI system.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Tonelli, M.R.: The limits of evidence-based medicine. Respir Care 46(12), 1435–1440 (2001)

    Google Scholar 

  2. Cesta, A., Pecora, F.: The robocare project: Intelligent systems for elder care. In: AAAI Fall Symposium on Caring Machines: AI in Elder Care, Washington, DC, USA (2005)

    Google Scholar 

  3. Akyildiz, I.F., Weilian, S., Sankarasubramaniam, Y., Cayirci, E.E.: A survey on sensor networks. IEEE Communications Magazine 40(8), 102–114 (2002)

    Article  Google Scholar 

  4. Malan, D., Fulford-Jones, T., Wesh, M., Moulton, S.: Codeblue: An ad hoc sensor network infrastructure for emergency medical care. In: MobySys Workshop on Applications of Mobile Embedded Systems, Boston, Massachusetts, USA, pp. 12–14 (2004)

    Google Scholar 

  5. Wood, A., Virone, G., Doan, T., Cao, Q., Selavo, L., Wu, Y., Fang, L., He, Z., Lin, S., Stankovic, J.: Alarm-net: Wireless sensor networks for assisted-living and residential monitoring. Technical Report CS-2006-11, Dep. of Computer Science, University of Virginia (2006)

    Google Scholar 

  6. Krishnamachari, B., Estrin, D., Wicker, S.B.: The impact of data aggregation in wireless sensor networks. In: 22nd International Conference on Distributed Computing Systems, Washington, DC, USA, pp. 575–578. IEEE Computer Society, Los Alamitos (2002)

    Google Scholar 

  7. Whitehouse, K., Zhao, F., Liu, J.: Semantic streams: A framework for composable semantic interpretation of sensor data. In: Römer, K., Karl, H., Mattern, F. (eds.) EWSN 2006. LNCS, vol. 3868, pp. 5–20. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. Liu, J., Zhao, F.: Towards semantic services for sensor-rich information systems. In: 2nd International Conference on Broadband Networks, pp. 44–51 (2005)

    Google Scholar 

  9. Heinzelman, W., Chandrakasan, A., Balakrishnan, H.: Energy-efficient communication protocol for wireless sensor networks. In: International Conference on System Sciences, Washington, DC, USA, p. 8020. IEEE Computer Society, Los Alamitos (2000)

    Google Scholar 

  10. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: International Conference on Logic Programming, Seattle, Washington, pp. 1070–1080 (1988)

    Google Scholar 

  11. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499–562 (2006)

    Article  MathSciNet  Google Scholar 

  12. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: Ninth International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 260–265. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  13. Baral, C., Gelfond, M.: Logic programming and knowledge representation-the a-prolog perspective. Artif. Intell. 138(1-2), 3–38 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  14. Fleming, K.C., Evans, J.M., Weber, D.C., Chutka, D.S.: Practical functional assessment of elderly persons: A primary-care approach. Mayo Clinic Proceedings 70(9), 890–910 (1995)

    Article  Google Scholar 

  15. Tinetti, M., Williams, T., Mayewski, P.: Fall risk index for elderly patients based on number of chronic disabilities. American Journal of Medicine 80, 429–434 (2002)

    Article  Google Scholar 

  16. Guigoz, Y., Vellas, B., Garry, P.: Mini nutritional assessment: A practical assessment tool for grading the nutritional state of elderly patients. Facts and Research in Gerontology 2, 15–59 (1994)

    Google Scholar 

  17. Folstein, M.F., Folstein, S.E., McHugh, P.R.: ”mini-mental state”. A practical method for grading the cognitive state of patients for the clinician. Psychiatric Research 12(3), 189–198 (1975)

    Article  Google Scholar 

  18. Yamamoto, S., Mogi, N., Umegaki, H., Suzuki, Y., Ando, F., Shimokata, H., Iguchi, A.: The clock drawing test as a valid screening method for mild cognitive impairment. Dementia and Geriatric Cognitive Disordorders 18, 172–179 (2004)

    Article  Google Scholar 

  19. Yesavage, J., Brink, T., Rose, T., Lum, O., Huang, V., Adey, M., Leirer, V.: Development and validation of a geriatric depression screening scale: A preliminary report. Journal of Psychiatric Research 17(1), 37–49 (1982–1983)

    Article  Google Scholar 

  20. Katz, S., Downs, H., Cash, H., Grotz, R.: Progress in development of the index of adl. Gerontologist 10(1), 20–30 (1970)

    Article  Google Scholar 

  21. Pollack, M.E.: Intelligent technology for an aging population: The use of ai to assist elders with cognitive impairment. AI Magazine 26(2), 9–24 (2005)

    Google Scholar 

  22. Niemelä, I., Simons, P.: Extending the smodels system with cardinality and weight constraints. In: Logic-based artificial intelligence, Norwell, MA, USA, pp. 491–521. Kluwer Academic Publishers, Dordrecht (2001)

    Google Scholar 

  23. Brewka, G.: Logic programming with ordered disjunction. In: Eighteenth national conference on Artificial intelligence, Menlo Park, CA, USA, pp. 100–105. American Association for Artificial Intelligence (2002)

    Google Scholar 

  24. Brewka, G., Niemelä, I., Syrjänen, T.: Implementing ordered disjunction using answer set solvers for normal programs. In: Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle, Cosenza, Italy, pp. 444–455. Springer, Heidelberg (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. QUA_SI Research Center, NOMADIS Research Lab., Università degli Studi di Milano-Bicocca, viale dell’Innovazione 110, I–20125, Milano, Italy

    Alessandra Mileo

  2. Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, viale Sarca 336/14, I–20126, Milano, Italy

    Davide Merico & Roberto Bisiani

Authors
  1. Alessandra Mileo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Davide Merico
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Roberto Bisiani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Clayton School of Information Technology, Monash University, Australia

    Maria Garcia de la Banda

  2. Department of Computer Science, New Mexico State University, NM 88003, Las Cruces, USA

    Enrico Pontelli

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mileo, A., Merico, D., Bisiani, R. (2008). A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living. In: Garcia de la Banda, M., Pontelli, E. (eds) Logic Programming. ICLP 2008. Lecture Notes in Computer Science, vol 5366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89982-2_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89982-2_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89981-5

  • Online ISBN: 978-3-540-89982-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation