FORMAL ANALYSIS OF INTELLIGENT AGENTS FOR MODEL-BASED MEDICINE USAGE MANAGEMENT

Mark Hoogendoorn, Michel Klein, Zulfiqar Memon, Jan Treur

2008

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.

Download


Paper Citation


in Harvard Style

Hoogendoorn M., Klein M., Memon Z. and Treur J. (2008). FORMAL ANALYSIS OF INTELLIGENT AGENTS FOR MODEL-BASED MEDICINE USAGE MANAGEMENT . In Proceedings of the First International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2008) ISBN 978-989-8111-16-6, pages 148-155. DOI: 10.5220/0001041401480155


in Bibtex Style

@conference{healthinf08,
author={Mark Hoogendoorn and Michel Klein and Zulfiqar Memon and Jan Treur},
title={FORMAL ANALYSIS OF INTELLIGENT AGENTS FOR MODEL-BASED MEDICINE USAGE MANAGEMENT},
booktitle={Proceedings of the First International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2008)},
year={2008},
pages={148-155},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001041401480155},
isbn={978-989-8111-16-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2008)
TI - FORMAL ANALYSIS OF INTELLIGENT AGENTS FOR MODEL-BASED MEDICINE USAGE MANAGEMENT
SN - 978-989-8111-16-6
AU - Hoogendoorn M.
AU - Klein M.
AU - Memon Z.
AU - Treur J.
PY - 2008
SP - 148
EP - 155
DO - 10.5220/0001041401480155