Abstract
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. © 2009 IEEE.
Original language | English |
---|---|
Title of host publication | Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009 |
Editors | P. Boldi, G. Vizzari |
Publisher | IEEE Computer Society Press |
Pages | 335-340 |
Number of pages | 6 |
Volume | 3 |
ISBN (Print) | 9780769538013 |
DOIs | |
Publication status | Published - 2009 |
Event | 2009 IEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2009 - Milano, Italy Duration: 15 Sept 2009 → 18 Sept 2009 |
Conference
Conference | 2009 IEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2009 |
---|---|
Country/Territory | Italy |
City | Milano |
Period | 15/09/09 → 18/09/09 |
Keywords
- Ambient agent
- Decision support model
- Temporal modelling
- Unipolar depression relapse modelling