The recent trend towards developing a new generation of robots capable of operating in human-centered environments, and participating in and assisting our daily lives has introduced the need for robotic systems capable to communicate and to react to their users in a social and engaging way. This type of robot could play essential roles to help individuals with severe cognitive problems. In this paper, several core components to design a robotic assisted therapy to support individuals with anxiety traits and states are presented.

Abstract:Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their well-being throughout their lifetime. In this paper, the design of an ambient intelligent agent to support these individuals is presented. It incorporates an analysis and support model for diagnostics based on observed features and for suggested actions. The model used is based on dynamic relations that describe the occurrence of relapse in unipolar depression. By incorporating this model into an ambient agent system, the agent is able to reason about the state of the human and the effect of possible actions. Several simulation experiments have been conducted to illustrate the functioning of the proposed model in different scenarios.

No abstract

This paper describes the verification analysis for agent formal model of behaviour change process. The verification analysis was based on two widely used approaches in agent formal evaluation namely mathematical and automated analysis. The mathematical analysis made use of stability equilibria point while the automated, made use of Temporal Trace Language (TTL). The results obtained verify the formal model validity.

No abstract