Abstract
In this experience paper we present a case study in using logic programming in a pervasive computing project in the healthcare domain. An expert system is used to detect healthcare activities in a pervasive hospital environment where positions of people and things are tracked. Based on detected activities an activity-driven computing infrastructure provides computational assistance to healthcare staff on mobile-and pervasive computing equipment. Assistance range from simple activities like fast log-in into the electronic patient medical record system to complex activities like signing for medicine given to specific patients. We describe the role of logic programming in the infrastructure and discuss the benefits and problems of using logic programming in a pervasive context.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. E. Bardram. Scenario-based Design of Cooperative Systems: Re-designing an Hospital Information System in Denmark. In Group Decision and Negotiation, volume 9, pages 237–250. Kluwer Academic Publishers, 2000.
J. E. Bardram and C. Bossen. Interwoven Artifacts-Coordinating Distributed Collaboration in Medical Care. Submitted for “CSCW 2002” conference.
J. E. Bardram and H. B. Christensen. Supporting Pervasive Collaboration in Healthcare — An Activity-Driven Computing Infrastructure. Submitted for “CSCW 2002” conference.
J. E. Bardram and H. B. Christensen. Middleware for Pervasive Healthcare-A White Paper. In G. Banavar, editor, Advanced Topic Workshop—Middleware for Mobile Computing. http://www.cs.arizona.edu/mmc/Program.html, Heidelberg, Germany, Nov. 2001.
L. Brownston, R. Farrel, E. Kant, and N. Martin. Programming Expert Systems in OPS5. Addison Wesley, 1985.
B. Brumitt, B. Meyers, J. Krumm, A. Kern, and S. Shafer. EasyLiving: Technologies for Intelligent Environments. In H. W. Gellersen, editors. Proceedings of Handheld and Ubiquitous Computing, volume 1927 of Lecture Notes in Computer Science, Bristol, UK, sep 2000. Thomas and Gellersen [25]}, pages 12–29.
J. M. Caroll. Scenario Based Design: Envisioning work and technology in system development. John Wiley & Sons, Inc, 1995.
Center for Pervasive Computing. www.pervasive.dk.
H. B. Christensen, J. Bardram, and S. Dittmer. Theme One: Administration and Documentation of Medicine. Report and Evaluation. Technical Report CfPC-2001-PB-1, Center for Pervasive Computing, Aarhus, Denmark, 2001. www.pervasive.dk/publications.
H. B. Christensen and J. E. Bardram. Supporting Human Activities — Exploring Activity-Centered Computing. Submitted to “UBICOMP” 2002 conference, 2002.
CLIPS: A Tool for Building Expert Systems. http://www.ghg.net/clips/CLIPS.html.
A. K. Dey and G. D. Abowd. CybreMinder: A Context-Aware System for Supporting Reminders. In H. W. Gellersen, editors. Proceedings of Handheld and Ubiquitous Computing, volume 1927 of Lecture Notes in Computer Science, Bristol, UK, sep 2000.Thomas and Gellersen [25]}, pages 172–186.
Easy living. http://research.microsoft.com/easyliving.
C. L. Forgy. Rete: A Fast Algorithm for the Many Pattern/ Many Object Pattern Match Problem. Artificial Intelligence, 19:17–37, 1982.
E. Friedman-Hill. Jess, the Rule Engine for the Java Platform. http://herzberg.ca.sandia.gov/jess/.
T. Frühwirth. Theory and Practice of Constraint Handling Rules. Journal of Logic Programming, 37(1–3):95–138, 1998.
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reuseable Object-Oriented Software. Addison-Wesley, 1994.
M. Ginsberg. Essentials of Artificial Intelligence. Morgan Kaufmann Publishers, 1993.
J. Jaffar, M. J. Maher, and G. Neumann. An Architecture and Prototype Implementation of a System for Individualised Workflows in Medical Information Systems. In Proceedings of the 23nd Hawaii International Conference on System Sciences, 1999.
N. Marmasse and C. Schmandt. Location-Aware Information Delivery with Com-Motion. In H. W. Gellersen, editors. Proceedings of Handheld and Ubiquitous Computing, volume 1927 of Lecture Notes in Computer Science, Bristol, UK, sep 2000. Springer Verlag Thomas and Gellersen [25]}, pages 157–171.
D. P. Miranker. TREAT: A Better Match Algorithm for AI Production Systems. In Proceedings of the Sixth National Conference on Artificial Intelligence, pages 42–47, 1987.
R. Oppermann and M. Specht. A Context-Sensitive Nomadic Exhibition Guide. In H. W. Gellersen, editors. Proceedings of Handheld and Ubiquitous Computing, volume 1927 of Lecture Notes in Computer Science, Bristol, UK, sep 2000. Springer Verlag Thomas and Gellersen [25]}, pages 128–142.
T.-L. Pham, G. Schneider, and S. Goose. Exploiting Location-Based Composite Devices to Support and Facilitate Situated Ubiquitous Computing. In H. W. Gellersen, editors. Proceedings of Handheld and Ubiquitous Computing, volume 1927 of Lecture Notes in Computer Science, Bristol, UK, sep 2000. Springer Verlag. Thomas and Gellersen [25]}, pages 143–156.
Pervasive Healthcare. www.healthcare.pervasive.dk.
P. Thomas and H. W. Gellersen, editors. Proceedings of Handheld and Ubiquitous Computing, volume 1927 of Lecture Notes in Computer Science, Bristol, UK, sep 2000. Springer Verlag.
M. Weiser. Some Computer Science Issues in Ubiquitous Computing. Communications of the ACM, 36(7):75–84, July 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Christensen, H.B. (2002). Using Logic Programming to Detect Activities in Pervasive Healthcare. In: Stuckey, P.J. (eds) Logic Programming. ICLP 2002. Lecture Notes in Computer Science, vol 2401. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45619-8_29
Download citation
DOI: https://doi.org/10.1007/3-540-45619-8_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43930-1
Online ISBN: 978-3-540-45619-3
eBook Packages: Springer Book Archive