Cite Article

Formal Analysis of an Agent Support Model for Behaviour Change Intervention

Choose citation format

BibTeX

@article{IJASEIT1470,
   author = {Ojeniyi Adegoke and Azizi Ab Aziz and Yuhanis Yusof},
   title = {Formal Analysis of an Agent Support Model for Behaviour Change Intervention},
   journal = {International Journal on Advanced Science, Engineering and Information Technology},
   volume = {6},
   number = {6},
   year = {2016},
   pages = {1074--1080},
   keywords = {Behaviour change intervention; psychological reactance; agent-based simulation; agent-based model; support model},
   abstract = {Agent applications have been widely used in behaviour change intervention nowadays. This is due to the four features of agents: proactive, reactivity, social ability and autonomy.  However, psychological reactance is one of the major limiting causes of agent interventions. Although, many studies have investigated into both psychological reactance and behaviour change nevertheless how reactive intervention can be supported to obtain an improved behaviour change intervention is still lacking in most previous studies. Therefore, this paper describes the formal analysis of agent support model for behaviour change intervention. The analysis made use of two widely accepted approaches in agent formal evaluation namely mathematical analysis and automated verification. The mathematical analysis examined the correctness of the formal model representation and formalization that aimed to ensure that all syntax and semantic representations used in the formal model is consistent. The mathematical analysis used equilibrium property to explore the formal model consistency. Likewise, automated verification depicts the checking of the model properties against its specifications and theoretical traces.  The automated verification used Temporal Trace Language (TTL), which verifies the model properties and states against generated traces. The paper presents an agent support model that allows building agent-based software and applications that deflect psychological reactance and enhance an improved behavioural change intervention.},
   issn = {2088-5334},
   publisher = {INSIGHT - Indonesian Society for Knowledge and Human Development},
   url = {http://ijaseit.insightsociety.org/index.php?option=com_content&view=article&id=9&Itemid=1&article_id=1470},
   doi = {10.18517/ijaseit.6.6.1470}
}

EndNote

%A Adegoke, Ojeniyi
%A Ab Aziz, Azizi
%A Yusof, Yuhanis
%D 2016
%T Formal Analysis of an Agent Support Model for Behaviour Change Intervention
%B 2016
%9 Behaviour change intervention; psychological reactance; agent-based simulation; agent-based model; support model
%! Formal Analysis of an Agent Support Model for Behaviour Change Intervention
%K Behaviour change intervention; psychological reactance; agent-based simulation; agent-based model; support model
%X Agent applications have been widely used in behaviour change intervention nowadays. This is due to the four features of agents: proactive, reactivity, social ability and autonomy.  However, psychological reactance is one of the major limiting causes of agent interventions. Although, many studies have investigated into both psychological reactance and behaviour change nevertheless how reactive intervention can be supported to obtain an improved behaviour change intervention is still lacking in most previous studies. Therefore, this paper describes the formal analysis of agent support model for behaviour change intervention. The analysis made use of two widely accepted approaches in agent formal evaluation namely mathematical analysis and automated verification. The mathematical analysis examined the correctness of the formal model representation and formalization that aimed to ensure that all syntax and semantic representations used in the formal model is consistent. The mathematical analysis used equilibrium property to explore the formal model consistency. Likewise, automated verification depicts the checking of the model properties against its specifications and theoretical traces.  The automated verification used Temporal Trace Language (TTL), which verifies the model properties and states against generated traces. The paper presents an agent support model that allows building agent-based software and applications that deflect psychological reactance and enhance an improved behavioural change intervention.
%U http://ijaseit.insightsociety.org/index.php?option=com_content&view=article&id=9&Itemid=1&article_id=1470
%R doi:10.18517/ijaseit.6.6.1470
%J International Journal on Advanced Science, Engineering and Information Technology
%V 6
%N 6
%@ 2088-5334

IEEE

Ojeniyi Adegoke,Azizi Ab Aziz and Yuhanis Yusof,"Formal Analysis of an Agent Support Model for Behaviour Change Intervention," International Journal on Advanced Science, Engineering and Information Technology, vol. 6, no. 6, pp. 1074-1080, 2016. [Online]. Available: http://dx.doi.org/10.18517/ijaseit.6.6.1470.

RefMan/ProCite (RIS)

TY  - JOUR
AU  - Adegoke, Ojeniyi
AU  - Ab Aziz, Azizi
AU  - Yusof, Yuhanis
PY  - 2016
TI  - Formal Analysis of an Agent Support Model for Behaviour Change Intervention
JF  - International Journal on Advanced Science, Engineering and Information Technology; Vol. 6 (2016) No. 6
Y2  - 2016
SP  - 1074
EP  - 1080
SN  - 2088-5334
PB  - INSIGHT - Indonesian Society for Knowledge and Human Development
KW  - Behaviour change intervention; psychological reactance; agent-based simulation; agent-based model; support model
N2  - Agent applications have been widely used in behaviour change intervention nowadays. This is due to the four features of agents: proactive, reactivity, social ability and autonomy.  However, psychological reactance is one of the major limiting causes of agent interventions. Although, many studies have investigated into both psychological reactance and behaviour change nevertheless how reactive intervention can be supported to obtain an improved behaviour change intervention is still lacking in most previous studies. Therefore, this paper describes the formal analysis of agent support model for behaviour change intervention. The analysis made use of two widely accepted approaches in agent formal evaluation namely mathematical analysis and automated verification. The mathematical analysis examined the correctness of the formal model representation and formalization that aimed to ensure that all syntax and semantic representations used in the formal model is consistent. The mathematical analysis used equilibrium property to explore the formal model consistency. Likewise, automated verification depicts the checking of the model properties against its specifications and theoretical traces.  The automated verification used Temporal Trace Language (TTL), which verifies the model properties and states against generated traces. The paper presents an agent support model that allows building agent-based software and applications that deflect psychological reactance and enhance an improved behavioural change intervention.
UR  - http://ijaseit.insightsociety.org/index.php?option=com_content&view=article&id=9&Itemid=1&article_id=1470
DO  - 10.18517/ijaseit.6.6.1470

RefWorks

RT Journal Article
ID 1470
A1 Adegoke, Ojeniyi
A1 Ab Aziz, Azizi
A1 Yusof, Yuhanis
T1 Formal Analysis of an Agent Support Model for Behaviour Change Intervention
JF International Journal on Advanced Science, Engineering and Information Technology
VO 6
IS 6
YR 2016
SP 1074
OP 1080
SN 2088-5334
PB INSIGHT - Indonesian Society for Knowledge and Human Development
K1 Behaviour change intervention; psychological reactance; agent-based simulation; agent-based model; support model
AB Agent applications have been widely used in behaviour change intervention nowadays. This is due to the four features of agents: proactive, reactivity, social ability and autonomy.  However, psychological reactance is one of the major limiting causes of agent interventions. Although, many studies have investigated into both psychological reactance and behaviour change nevertheless how reactive intervention can be supported to obtain an improved behaviour change intervention is still lacking in most previous studies. Therefore, this paper describes the formal analysis of agent support model for behaviour change intervention. The analysis made use of two widely accepted approaches in agent formal evaluation namely mathematical analysis and automated verification. The mathematical analysis examined the correctness of the formal model representation and formalization that aimed to ensure that all syntax and semantic representations used in the formal model is consistent. The mathematical analysis used equilibrium property to explore the formal model consistency. Likewise, automated verification depicts the checking of the model properties against its specifications and theoretical traces.  The automated verification used Temporal Trace Language (TTL), which verifies the model properties and states against generated traces. The paper presents an agent support model that allows building agent-based software and applications that deflect psychological reactance and enhance an improved behavioural change intervention.
LK http://ijaseit.insightsociety.org/index.php?option=com_content&view=article&id=9&Itemid=1&article_id=1470
DO  - 10.18517/ijaseit.6.6.1470