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

Mark Hoogendoorn; Michel C A Klein; Zulfiqar A Memon; Jan Treur

doi:10.1016/j.compbiomed.2013.01.021

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

Comput Biol Med. 2013 Jun;43(5):444-57. doi: 10.1016/j.compbiomed.2013.01.021. Epub 2013 Mar 15.

Authors

Mark Hoogendoorn¹, Michel C A Klein, Zulfiqar A Memon, Jan Treur

Affiliation

¹ Vrije Universiteit Amsterdam, Agent Systems Research Group, Department of Artificial Intelligence, De Boelelaan 1081, 1081 HV Amsterdam, The Netherlands. mhoogen@cs.vu.nl

PMID: 23566391
DOI: 10.1016/j.compbiomed.2013.01.021

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.

MeSH terms

Computer Simulation
Decision Making, Computer-Assisted*
Drug Monitoring
Drug Therapy / methods*
Humans
Models, Biological*
Prescriptions
Research Design*