A methodology and modelling technique for systems of BDI agents
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
International Journal of Human-Computer Studies
An integrative ambient agent model for unipolar depression relapse prevention
Journal of Ambient Intelligence and Smart Environments
Hi-index | 0.00 |
One of the challenges for the patients with a history of unipolar depression is to stay healthy throughout their lifetime. In principle, with more prior onset cases, it escalates the risk of the patients to fall into a relapse. In this paper, an ambient agent based model to support patients from relapse is presented. Theories and related works in depression relapse prevention provide a foundation for the formalization of the temporal properties to describe the model. This model was analyzed under several scenarios using simulation and automated verification.