Verification analysis of an agent based model in behaviour change process

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

Agent support model for behaviour change intervention

Agent applications have been widely used in decision making process and behaviour change interventions nowadays which might be due to the four unique features of agent proactiveness, reactivity, social ability and autonomy.However, psychological reactance has been identified as a limiting cause of agent interventions. Although, many studies have investigated into both psychological reactance and behaviour change nevertheless the mechanism behind factors interaction that generate reactance during behaviour change interventions (BCI) have not be well studied. Also, how reactive intervention can be supported to obtain an improved behaviour change intervention is still lacking in most previous studies. Therefore, this paper explored dynamic system in differential equation analysis to obtained an agent support model for behaviour change intervention which explicitly describes factors interaction leading to reactance and behaviour change. The model depicts how reactive intervention can be supported to obtain an improved behaviour change intervention. Specifically, this model is tailored to computer or software mediated intervention like agent, avatar, and animation. This paper will aid and guide agent intervention designers to fully comprehend the mechanism behind factors that enhance successful and efficient intervention for their design