Formal specification and analysis of intelligent agents for model-based medicine usage management.
Comput Biol Med 2013;
43:444-57. [PMID:
23566391 DOI:
10.1016/j.compbiomed.2013.01.021]
[Citation(s) in RCA: 12] [Impact Index Per Article: 1.1] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 05/17/2011] [Revised: 01/22/2013] [Accepted: 01/23/2013] [Indexed: 11/21/2022]
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.
Collapse