Abstract
In this paper we present the design of an agent system for medicine usage management. Part of it is an intelligent ambient agent which incorporates an explicit representation of a dynamical system model to estimate the medicine level in the patient’s body. By simulation the ambient agent is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Safren, S.A., Hendriksen, E.S., Desousa, N., Boswell, S.L., Mayer, K.H.: Use of an on-line pager system to increase adherence to antiretroviral medications. In: AIDS CARE, vol. 15, pp. 787–793 (2003)
Green, D.J.: Realtime Compliance Management Using a Wireless Realtime Pillbottle – A Report on the Pilot Study of SIMPILL. In: Proc. of the International Conference for eHealth, Telemedicine and Health, Med-e-Tel 2005, Luxemburg (2005)
Brazier, F.M.T., Jonker, C.M., Treur, J.: Compositional Design and Reuse of a Generic Agent Model. Applied Artificial Intelligence Journal 14, 491–538 (2000)
Bosse, T., Jonker, C.M., van der Meij, L., Treur, J.: A Language and Environment for Analysis of Dynamics by Simulation. Int. Journal of Artificial Intelligence Tools 16, 435–464 (2007)
Hoogendoorn, M., Klein, M., Treur, J.: Formal Design and Simulation of an Ambient Multi-Agent System Model for Medicine Usage Management. In: Proceedings of the International Workshop on Ambient Assisted Living (AAL 2007) (to appear, 2007)
Bosse, T., Memon, Z.A., Treur, J.: A Two-level BDI-Agent Model for Theory of Mind and its Use in Social Manipulation. In: Olivier, P., Kray, C. (eds.) Proceedings of AISB 2007, pp. 335–342. AISB Publications (2007)
Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. Intl. J. of Coop. Inf. Systems 11, 51–92 (2002)
Bosse, T., Jonker, C.M., van der Meij, L., Sharpanskykh, A., Treur, J.: Specification and Verification of Dynamics in Cognitive Agent Models. In: Nishida, T., et al. (eds.) Proceedings of IAT 2006, pp. 247–254. IEEE Computer Society Press, Los Alamitos (2006)
McMillan, K.L.: Symbolic Model Checking: An Approach to the State Explosion Problem. PhD thesis, School of Computer Science, CMU, Pittsburgh (1992). Kluwer Academic Publishers, Dordrecht (1993)
Aarts, E., Collier, R.W., van Loenen, E., de Ruyter, B. (eds.): EUSAI 2003. LNCS, vol. 2875, p. 432. Springer, Heidelberg (2003)
Aarts, E., Harwig, R., Schuurmans, M.: Ambient Intelligence. In: Denning, P. (ed.) The Invisible Future, pp. 235–250. McGraw Hill, New York (2001)
Riva, G., Vatalaro, F., Davide, F., Alcañiz, M. (eds.): Ambient Intelligence. IOS Press, Amsterdam (2005)
Moreno, A., Nealon, J.L. (eds.): Applications of Software Agent Technology in Health Care Domain. Birkhäuser, Basel (2004)
Floerkemeier, C., Siegemund, F.: Improving the Effectiveness of Medical Treatment with Pervasive Computing Technologies. In: Dey, A.K., Schmidt, A., McCarthy, J.F. (eds.) UbiComp 2003. LNCS, vol. 2864. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoogendoorn, M., Klein, M.C.A., Memon, Z.A., Treur, J. (2008). Formal Verification of an Agent-Based Support System for Medicine Intake. In: Fred, A., Filipe, J., Gamboa, H. (eds) Biomedical Engineering Systems and Technologies. BIOSTEC 2008. Communications in Computer and Information Science, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92219-3_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-92219-3_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-92218-6
Online ISBN: 978-3-540-92219-3
eBook Packages: Computer ScienceComputer Science (R0)