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

Authors:
Mark Hoogendoorn;Michel C. A. Klein;Zulfiqar A. Memon;Jan Treur
Affiliations:
Vrije Universiteit Amsterdam, Agent Systems Research Group, Department of Artificial Intelligence, De Boelelaan 1081, 1081 HV Amsterdam, The Netherlands;Vrije Universiteit Amsterdam, Agent Systems Research Group, Department of Artificial Intelligence, De Boelelaan 1081, 1081 HV Amsterdam, The Netherlands;Vrije Universiteit Amsterdam, Agent Systems Research Group, Department of Artificial Intelligence, De Boelelaan 1081, 1081 HV Amsterdam, The Netherlands and Sukkur Institute of Business Administra ...;Vrije Universiteit Amsterdam, Agent Systems Research Group, Department of Artificial Intelligence, De Boelelaan 1081, 1081 HV Amsterdam, The Netherlands
Venue:
Computers in Biology and Medicine
Year:
2013

Citing 2
Cited 0

Ambient intelligence

The invisible future
MISS: Medicine Information Support System in the Smart Home Environment

ICOST '08 Proceedings of the 6th international conference on Smart Homes and Health Telematics

Quantified Score

Hi-index	0.00

Visualization

Abstract

A model-based agent system model for medicine usage management is presented and formally analysed. The model incorporates an intelligent ambient agent model that has an explicit representation of a dynamical system model to estimate the medicine level in the patient's body by simulation, is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this.