Title :
Verification analysis of an agent based model in behaviour change process
Author :
Adegoke Ojeniyi;Azizi Ab Aziz;Yuhanis Yusof
Author_Institution :
Human - Centred Computing Group (HCC), Computational Intelligence Platform (CIP), School of Computing (SOC), College of Arts and Sciences (CAS), Universiti Utara Malaysia (UUM), Sintok, Kedah, Malaysia
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.
Keywords :
"Computational modeling","Analytical models","Stability analysis","Psychology","Mathematical analysis","Differential equations"
Conference_Titel :
Agents, Multi-Agent Systems and Robotics (ISAMSR), 2015 International Symposium on
DOI :
10.1109/ISAMSR.2015.7379776
