Formal analysis of intelligent agents for model-based medicine usage management

HEALTHINF 2008 - 1st International Conference on Health Informatics, Proceedings

Volumn 1, Issue , 2008, Pages 148-155

  Hoogendoorn, Mark ^a   Klein, Michel ^a   Memon, Zulfiqar ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Agent; Formal analysis; Medicine usage management; Model based

Indexed keywords

AGENTS; ARTIFICIAL INTELLIGENCE; DYNAMICAL SYSTEMS; INTELLIGENT AGENTS; MODEL STRUCTURES; REAL TIME SYSTEMS;

AGENT MODELS; AGENT SYSTEMS; EXPLICIT REPRESENTATIONS; FORMAL ANALYSIS; MODEL-BASED;

MODAL ANALYSIS;

EID: 57349164830     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Aarts, E.; Collier, R.; van Loenen, E.; Ruyter, B. de (eds.) (2003). Ambient Intelligence. Proc. EUSAI 2003. LNCS vol. 2875. Springer Verlag, 2003, pp. 432.
2. Aarts, E., Harwig, R. , and Schuurmans, M. (2001), Ambient Intelligence. In: P. Denning (ed.), The Invisible Future, McGraw Hill, pp. 235-250.
3. Bosse, T., Jonker, C.M., Meij, L. van der, Sharpanskykh, A, and Treur, J. (2006). Specification and Verification of Dynamics in Cognitive Agent Models. In: Nishida, T. et al. (eds.), Proceedings of IAT'06. IEEE Computer Society Press, 2006, pp. 247-254.
4. Bosse, T., Jonker, C.M., Meij, L. van der, and Treur, J. (2007). A Language and Environment for Analysis of Dynamics by Simulation. Int. Journal of Artificial Intelligence Tools, vol. 16, 2007, pp. 435-464.
5. Bosse, T., Memon, Z.A., and Treur, J. (2007). A Two-level BDI-Agent Model for Theory of Mind and its Use in Social Manipulation. In: P. Olivier, C. Kray (eds.), Proceedings of AISB'07. AISB Publications, 2007, pp. 335-342.
6. Brazier, F.M.T., Jonker, C.M., and Treur, J. (2000). Compositional Design and Reuse of a Generic Agent Model. Applied Artificial Intelligence Journal, vol. 14, 2000, pp. 491-538.
7. Floerkemeier, C., Siegemund, F. (2003). Improving the Effectiveness of Medical Treatment with Pervasive Computing Technologies, Workshop on Ubiquitous Computing for Pervasive Healthcare Applications at Ubicomp 2003, Seattle, October 2003
8. Green D.J. (2005). 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'05, 2005, Luxemburg.
9. Hoogendoom, M., Klein, M., and 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.
10. Jonker, C.M., and Treur, J. (2002). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. Intl. J. of Coop. Inf. Systems, vol. 11, 2002, pp. 51-92.
11. McMillan, K.L., (1993). Symbolic Model Checking: An Approach to the State Explosion Problem. PhD thesis, School of Computer Science, CMU, Pittsburgh, 1992. Published by Kluwer Academic Publishers, 1993.
12. Moreno, A., Nealon, J.L. (eds.), Applications of Software Agent Technology in Health Care Domain. Birkhäuser Basel, 2004.
13. Riva, G., F. Vatalaro, F. Davide, M. Alcañiz (eds). (2005). Ambient Intelligence. IOS Press, 2001.
14. Safren, S.A., Hendriksen, E.S., Desousa, N., Boswell, S.L., Mayer, K.H., (2003). Use of an on-line pager system to increase adherence to antiretroviral medications. In: AIDS CARE, vol. 15, pp. 787 - 793.