Verification analysis of an agent based model in behaviour change process by Ojeniyi, Adegoke, Ab. Aziz, Azizi, Yusof, Yuhanis

“…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). …”
Get full text

An agent based simulation of the dynamics in cognitive depressogenic thought by Ab. Aziz, Azizi, Klein, Michel C. A.

“…Simulations show the effect of social support on different personality types.A mathematical analysis of the stable situations in the model gives an additional explanation of extreme cases. …”
Get full text

Modelling dynamics of social support networks for mutual support in coping with stress by Ab. Aziz, Azizi, Treur, Jan

“…The multi-agent model can be used to understand human interaction and social support within networks, when facing stress.Simulation experiments under different negative events and personality attributes for both support receipt and provision pointed out that the model is able to produce realistic behavior to explain conditions for coping with long term stress by provided mutual support.In addition, by a mathematical analysis, the possible equilibria of the model have been determined.…”
Get full text

A Multi-agent model for supporting exchange dynamics in social support networks during stress by Ab. Aziz, Azizi, Ahmad, Faudziah

“…Simulation experiments under several cases pointed out that the model is able to reproduce interaction among social support network members during stress.Mathematical analysis was conducted to determine possible equillibria of the model.The model was verified using an automated verification tool against generated traces.…”

Simulating cognitive coping strategies for intelligent support agents by Ab. Aziz, Azizi, Klein, Michel C. A., Treur, Jan

“…Simulations using this model show that problem focused coping leads to better coping skills and higher decrease of long-term stress than emotion focused coping.These results also follow from a mathematical analysis of the model.The presented model can form the basis of an intelligent support system that uses a simulation of cognitive processes in humans in stressful conditions.…”
Get full text

An Agent-Based Modeling for a Reader’s Cognitive Load and Performance by Ghanimi, Hayder M. A., Ab. Aziz, Azizi, Ahmad, Faudziah

“…Simulation experiments under different conditions and parameters setting showed that the model is able to produce realistic behaviour when tested on different types of personalities and conditions. Through mathematical analysis, the equilibria of the model was determined.…”

A computational agent model for stress reaction in natural disaster victims by Mohammed, Hayder, Ab. Aziz, Azizi, Che Pa, Noraziah, Mohd Shabli, Ahmad Hanis, Abu Bakar, Juliana Aida, Alwi, Asmidah

“…Computational model of stress reaction among natural disaster victim can be of interest for different purposes, varying from the study of virtual human cognition behaviours in stressful events to the development of intelligent support for cognitive therapies.This paper presents a novel computational agent model of stress reaction among natural disaster victims.Simulation experiments under different conditions and parameters setting pointed out that the model is able to produce realistic behaviour of different types of personalities.Moreover, by a mathematical analysis the equilibria of the model have been determined, and by automated trace checking, a number of selected cases from the literatures have been internally validated.…”
Get full text

Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime by Ab. Aziz, Azizi, Mohd Shabli, Ahmad Hanis, Ghanimi, Hayder M. A.

“…In addition, a formal approach is put forward to evaluate the behaviours of the proposed model by means of formal techniques namely; mathematical analysis, parameter evaluation, and automated logical verification. …”

Computational analysis of dynamics in an agent-based model of cognitive load and reading performance by Ghanimi, Hayder M. A., Ab. Aziz, Azizi

“…The obtained agent-based model is analysed both by mathematical analysis and automated trace evaluation. Based on this description, the proposed agent-based model has exhibited realistic behaviours patterns that adhere to the psychological and cognitive literature. …”
Get full text

Designing a BDI agent reactant model of behavioural change intervention by Adegoke, Ojeniyi, Ab. Aziz, Azizi, Yusof, Yuhanis

“…Hence, this paper presents a generic representation of BDI agent model based on behavioral change and psychological theories.Also, using mathematical analysis the model was evaluated. The objective of the proposed BDI agent model is to bridge the gap between agent design and implementation for successful agent-based interventions.The model will be realized in an agent based application that motivates children towards oral hygiene. …”
Get full text

Modelling human support agent for managers during stress by Che Pa, Noraziah, Ab. Aziz, Azizi, Gratim, Haneed

“…The developed model has been simulated by applying it to different scenarios.Mathematical analysis has been used for the evaluation of the model.Results showed that the support model is able to show the effects of different levels of stress on managers’ performance.The proposed model is essential and can be encapsulated within an intelligent agent or robots that can be used to support managers during stress.…”
Get full text

A computational model of temporal dynamics for anxiety in interviewee mental state by Ajoge, Naseer Sanni Ajoge, Ab. Aziz, Azizi, Mohd Yusof, Shahrul Azmi

“…The formal model is valuated using mathematical analysis to determine possible equilibria state and the simulation results are tested against known cases in the literature. …”
Get full text