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